933 search results - page 87 / 187 » Multi-paradigm Declarative Languages |
118
click to vote
MKM
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
118
click to vote
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
163
click to vote
JIISIC
2007
15 years 5 months ago
2007
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
141
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
158
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...