A graph-based semantics for object-oriented programming constructs

Electronic Notes in Theoretical Computer Science

Volumn 122, Issue , 2005, Pages 89-104

  Ferreira, Ana Paula Lüdtke ^a   Ribeiro, Leila ^b  

^a UNIVERSIDADE DO VALE DO RIO DOS SINOS   (Brazil)

^b FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

Graph grammars; Object oriented programming

Indexed keywords

CODES (SYMBOLS); GRAPH THEORY; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

GRAPH GRAMMERS; INHERITANCE; MODULAR SYSTEMS; POLYMORPHISM;

SEMANTICS;

EID: 14544297379     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.053     Document Type: Conference Paper

References (18)

1. Franz J. Brandenburg On partially ordered graph grammars Hartmut Ehrig Manfred Nagl Grzegorz Rozenberg Azriel Rosenfeld 3rd International Workshop on Graph Grammars and their Application to Computer Science Lecture Notes in Computer Science 291 1986 Springer-Verlag Warrenton, Virginia, USA 99 111
2. Luca Cardelli, and Peter Wegner On understanding types, data abstraction and polymorphism ACM Computing Surveys 17 4 1985 471 522
3. W.R. Cook Object-oriented programming versus abstract data type Lecture Notes in Computer Science volume 489 1990 Springer Berlin 151 178
4. H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, and A. Corradini. Algebraic approaches to graph transformation. Part II: single-pushout approach and comparison with double pushout approach. In [5], chapter 4, pages 247-312
5. H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozemberg Handbook of Graph Grammars and Computing by Graph Transformation, volume 1 (Foundations) 1996 World Scientific Singapore
6. H. Ehrig, and M. Löwe Parallel and distributed derivations in the single-pushout approach Theoretical Computer Science 109 1993 123 143
7. H. Ehrig, M. Pfender, and H.J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167-180, 1973
8. H. Ehrig, and B.K. Rosen Parallelism and concurrency of graph manipulations Theoretical Computer Science 11 1980 247 275
9. Ana Paula Lüdtke Ferreira, and Leila Ribeiro Towards object-oriented graphs and grammars Elie Najm Uwe Nestmann Perdita Stevens Proceedings of the 6th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003) Lecture Notes in Computer Science volume 2884 November 19-21 2003 Springer-Verlag Paris 16 31
10. Ana Paula Lüdtke Ferreira and Leila Ribeiro. Derivations in object-oriented graph grammars. In Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), (to appear), Rome, September 28 - October 2 2004
11. Reiko Heckel. Open Graph Transformation Systems: a New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD Thesis, Technische Universität Berlin, Berlin, 1998
12. Martin Korff. Generalized Graph Structure Grammars with Applications to Concurrent Object- Oriented Systems. PhD Thesis, Technische Universität Berlin, Berlin, 1995
13. Michael Löwe. Extended Algebraic Graph Transformation. PhD thesis, Technischen Universität Berlin, Berlin, Feb 1991
14. Ugo Montanari, Marco Pistore, and Francesca Rossi. Modeling concurrent, mobile and coordinated systems via graph transformations. In [?], chapter 4, pages 189-268
15. Francesco Parisi-Presicce, Harmut Ehrig, and Ugo Montanari Graph rewriting with unification and composition Hartmut Ehrig Manfred Nagl Grzegorz Rozenberg Azriel Rosenfeld 3rd International Workshop on Graph Grammars and their Application to Computer Science Lecture Notes in Computer Science 291 1986 Springer-Verlag Warrenton, Virginia, USA 496 514
16. T. homas Reps Algebraic properties of program integration Science of Computer Programming 17 1-3 1991 139 215
17. Gabriele Taentzer. Parallel and Distributed Graph Transformation Formal Description and Application to Communication-Based Systems. PhD Thesis, TU Berlin, Berlin, 1996
18. David Ungar, Craig Chambers, Bay-Wei Chang, and Urs Hölzle Organizing programs without classes Lisp and Symbolic Computation 3 4 1991