3706 search results - page 239 / 742 » The Transformational Approach to Program Development |
100
click to vote
ER
2004
Springer
15 years 8 months ago
2004
Springer
There exist several recent approaches that leverages the use of model transformations during software development. The existence erent kinds of models, at different levels of abst...
121
click to vote
3DIM
1997
IEEE
15 years 7 months ago
1997
IEEE
For registration of 3-D free-form surfaces we have developed a representation which requires no knowledge of the transformation between views. The representation comprises descrip...
156
Voted
LCTRTS
2010
Springer
15 years 1 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
143
click to vote
ICS
1994
Tsinghua U.
15 years 7 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...
127
click to vote
JFLP
2002
15 years 3 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...