359 search results - page 6 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
AGTIVE
2007
Springer
14 years 1 months 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...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
SAS
2007
Springer
14 years 1 months ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
ICFEM
2004
Springer
14 years 25 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
DSVIS
1998
Springer
13 years 11 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...