4036 search results - page 212 / 808 » Formal Methods |
173
click to vote
AFP
2008
Springer
16 years 26 days ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
215
click to vote
AGTIVE
2007
Springer
16 years 20 days ago
2007
Springer
We present a compiler internal program optimization that uses graph rewriting. This optimization enables the compiler to automatically use rich instructions (such as SIMD instructi...
170
click to vote
AGTIVE
2007
Springer
16 years 20 days ago
2007
Springer
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. A VL specification serves as ba...
166
click to vote
AGTIVE
2007
Springer
16 years 20 days ago
2007
Springer
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...
166
click to vote
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...