Defining Object-Oriented Execution Semantics Using Graph Transformations-Reference-Cited by-同舟云学术

Defining Object-Oriented Execution Semantics Using Graph Transformations

Published:2006 Issue: Volume: Page:186-201
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kastenberg Harmen,Kleppe Anneke,Rensink Arend

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11768869_15

Reference27 articles.

1. Monographs in Computer Science;M. Abadi,1996

2. Lecture Notes in Computer Science;E. Ábrahám,2003

3. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)

4. Lecture Notes in Computer Science;K. Bruce,1994

5. Clark, T., Evans, A., Kent, S., Brodsky, S., Cook, S.: A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modelling approach (September 2000), Version 1.0 available from: http://www.puml.org

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A systematic approach to constructing incremental topology control algorithms using graph transformation;Journal of Visual Languages & Computing;2017-02

2. A graph-based generic type system for object-oriented programs;Frontiers of Computer Science;2013-01-09

3. Graph-Based Object-Oriented Hoare Logic;Theories of Programming and Formal Methods;2013

4. Composition of Model Transformations: A Categorical Framework;Lecture Notes in Computer Science;2012

5. A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph Transformations;Lecture Notes in Computer Science;2012