Specification and construction of control flow semantics

Proceedings - IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2006

Volumn , Issue , 2006, Pages 65-72

  Smelik, Ruben ^a   Rensink, Arend ^a   Kastenberg, Harmen ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SYNTAX; CONTROL FLOWS; FLOW GRAPH; LANGUAGE CONSTRUCTS; PRODUCTION SYSTEM; SEMANTICS OF PROGRAMMING LANGUAGES; VISUAL LANGUAGE;

SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; VISUALIZATION;

JAVA PROGRAMMING LANGUAGE;

EID: 78649860147     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2006.45     Document Type: Conference Paper

References (14)

1. M. Anlauff, P.W. Kutter, and A. Pierantonio. Enhanced control flow graphs in montages. In Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI'99), volume 1755 of LNCS, pages 40-53. Springer, 2000.
2. 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 Rozenberg [12], pages 247-312.
3. N. E. Fenton and S. L. Pfleeger. Software Metrics: A Rigorous & Practical Approach. International Thomsen Publishing Inc., 2nd edition, 1997.
4. J. Gosling, B. Joy, G. Steele, and G. Bracha. Java Language Specification. The Java Series. Addison-Wesley Longman Publishing Co., Inc., 3rd edition, 2005.
5. L. Grunske, L. Geiger, and M. Lawley. A graphical specification of model transformations with triple graph grammars. In A. Hartman and D. Kreische, editors, Model Driven Acritecture - Foundations and Applications (ECMDA), volume 3748 of LNCS, pages 284-298. Springer, 2005.
6. A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3-4):287-313, 1996. (Pubitemid 126715013)
7. International Organization for Standardization. ISO/IEC 14977: Extended BNF. International Organisation for Standardization, 1996.
8. H. Kastenberg, A. Kleppe, and A. Rensink. Engineering object-oriented semantics using graph transformations. Technical report, University of Twente, 2005. Pre-final version available at http://www.cs.utwente.nl/~rensink/papers/ taal-draft.pdf.
9. Object Management Group. Model Driven Architecture, 2006. http://www.omg.org/mda/.
10. A. Rensink. The GROOVE Simulator: A tool for state space generation. In J. L. Pfaltz, M. Nagl, and B. Böhlen, editors, Proceedings of the Second International Workshop on the Applications of Graph Transformations with Industrial Relevance (AGTIVE'03), volume 3062 of LNCS, pages 479-485. Springer, 2004.
11. A. Rensink and H. Kastenberg. Graphs for object-oriented verification (GROOVE), 2006. http://groove.sf.net/.
12. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, volume I: Foundations. World Scientific, 1997.
13. A. Schürr. Specification of graph translators with triple graph grammars. In Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'94), volume 903 of LNCS, pages 151-163. Springer, 1994.
14. R. M. Smelik. Specification and construction of control flow semantics. Master's thesis, University of Twente, 2006. http://www.cs.utwente.nl/~rensink/ papers/Smelik.pdf.