2 citations · 6 across the 5 of their papers we have counts for
3 papers · 1 filter
AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)
Anadrea Corradini, Dominique Duval, Rachid Echahed +2
The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph…
Transformation of Attributed Structures with Cloning (Long Version)
Dominique Duval, Rachid Echahed, Frederic Prost +1
Copying, or cloning, is a basic operation used in the specification of many applications in computer science. However, when dealing with complex structures, like graphs, cloning is…
Proceedings First Latin American Workshop on Formal Methods
Nazareno Aguirre, Leila Ribeiro
Formal approaches to software development are techniques that aim at developing quality software by employing notations, analysis processes, etc., based on mathematical grounds. Al…