3921 search results - page 118 / 785 » Transforming Models with ATL |
55
Voted
ISCAS
2002
IEEE
15 years 5 months ago
2002
IEEE
So far, there have been introduced many front-end studies, but most of them fail to present, in a consistent way, how the signals are transformed throughout the front-end itself. ...
147
click to vote
APLAS
2001
ACM
15 years 4 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
97
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
121
Voted
NMELP
1994
15 years 4 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
PLILP
1992
Springer
15 years 4 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...