310 search results - page 5 / 62 » A language and framework for invariant-driven transformation... |
ICFP
1997
ACM
13 years 12 months ago
1997
ACM
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calcul...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
ICMT
2010
Springer
13 years 11 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
CSMR
1998
IEEE
14 years 1 days ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
ECEASST
2006
13 years 7 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...