1153 search results - page 84 / 231 » Reversing graph transformations |
172
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
101
click to vote
ECEASST
2008
15 years 2 months ago
2008
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
120
Voted
ENTCS
2006
15 years 2 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
118
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
104
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...