870 search results - page 68 / 174 » The MT model transformation language |
99
Voted
PLILP
1995
Springer
15 years 4 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
108
Voted
PLDI
1995
ACM
15 years 4 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
100
click to vote
IEEESCC
2007
IEEE
15 years 7 months ago
2007
IEEE
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
87
Voted
ENTCS
2006
15 years 22 days ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
ENTCS
2007
15 years 20 days ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...