958 search results - page 73 / 192 » Model Transformation Languages and Their Implementation by B... |
159
click to vote
ICLP
2011
Springer
14 years 4 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...
141
click to vote
ENTCS
2007
15 years 1 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
126
click to vote
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
113
click to vote
ISCAS
1999
IEEE
15 years 5 months ago
1999
IEEE
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
109
click to vote
ENTCS
2008
15 years 1 months ago
2008
In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The ...