2608 search results - page 32 / 522 » Subjects, Models, Languages, Transformations |
135
click to vote
ICLP
2011
Springer
14 years 3 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
103
click to vote
TOPLAS
1998
14 years 11 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
106
click to vote
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...