Sciweavers

4074 search results - page 33 / 815
» Abstract Graph Transformation
Sort
View
VMCAI
2007
Springer
15 years 10 months ago
Constructing Specialized Shape Analyses for Uniform Change
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W....
ENTCS
2008
100views more  ENTCS 2008»
15 years 4 months ago
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries
The current paper presents a novel approach to implement a graph transformation engine as an EJB3-specific plugin by using EJB QL queries for pattern matching. The essence of the ...
Gergely Varró
MSCS
2007
91views more  MSCS 2007»
15 years 3 months ago
A rewriting calculus for cyclic higher-order term graphs
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...
CAISE
2007
Springer
15 years 10 months ago
Measuring Model Transformation in Model Driven Development
In this paper, we propose the technique to define the metrics of model transformation using a meta-modeling technique and a graph rewriting techniques in a Model Driven Developmen...
Motoshi Saeki, Haruhiko Kaiya
VL
2003
IEEE
126views Visual Languages» more  VL 2003»
15 years 9 months ago
Spatial graph grammars for web information transformation
Thispaper presents an approach to spatial specifications for Web information transformation'. Extended from the Reserved Graph Grammar (RGG), a Spatial Graph Grammar (SGG) is...
Mei Kang Qiu, Guang-Lei Song, Jun Kong, Kang Zhang