2000 search results - page 107 / 400 » Program Transformation and Proof Transformation |
117
click to vote
CIBSE
2009
ACM
15 years 10 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
139
Voted
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
129
click to vote
WCFLP
2005
ACM
15 years 9 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
173
Voted
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
126
click to vote
FC
2010
Springer
15 years 7 months ago
2010
Springer
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsa...