7 search results - page 1 / 2 » Specifying Transformation Sequences as Computation on Progra... |
SCAM
2005
IEEE
13 years 11 months ago
2005
IEEE
ICMT
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
CC
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
CIKM
2004
Springer
13 years 10 months ago
2004
Springer
The proliferation of XML as a standard for data representation and exchange in diverse, next-generation Web applications has created an emphatic need for effective XML data-integr...
PEPM
1999
ACM
13 years 9 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...