7 search results - page 1 / 2 » Specifying Transformation Sequences as Computation on Progra... |
94
Voted
SCAM
2005
IEEE
15 years 9 months ago
2005
IEEE
135
click to vote
ICMT
2009
Springer
15 years 10 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...
157
click to vote
CC
1998
Springer
15 years 7 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...
122
click to vote
CIKM
2004
Springer
15 years 8 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...
132
click to vote
PEPM
1999
ACM
15 years 7 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...