Dynamic abstract data types based on algebraic graph transformations
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 236-254
- https://doi.org/10.1007/bfb0014431
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Introduction to the algebraic theory of graph grammars (a survey)Published by Springer Nature ,2005
- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTsPublished by Springer Nature ,1995
- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract DatatypesPublished by Springer Nature ,1995
- An algebraic semantics for the object specification language TROLL lightPublished by Springer Nature ,1995
- Static and Dynamic Semantics of Entity—Relationship Models Based on Algebraic MethodsPublished by Springer Nature ,1994
- The esprit basic research working group compugraph “computing by graph transformation”: a surveyTheoretical Computer Science, 1993
- A Semantic Model for Dynamic SystemsPublished by Springer Nature ,1993
- Towards object-oriented algebraic specificationsPublished by Springer Nature ,1991
- Algebraic approach to graph transformation based on single pushout derivationsPublished by Springer Nature ,1991
- On declarationsPublished by Springer Nature ,1989