Defining object-oriented execution semantics using graph transformations

DOI10.1007/11768869_15MaRDI QIDQ4989490zbMATH OpenOpenAlexFDO

Authors Harmen Kastenberg, Anneke Kleppe, Arend Rensink

Publication date 25 May 2021

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11768869_15

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Towards object-oriented graphs and grammars.
• A graph-based semantics for object-oriented programming constructs
• Graph Transformations
• scientific article; zbMATH DE number 2016090
• scientific article; zbMATH DE number 2086943

Cited in

(8)

• A categorical framework for the transformation of object-oriented systems: models and data
• Towards object-oriented graphs and grammars.
• From ESSENCE to theory oriented software engineering
• Explicit State Model Checking for Graph Grammars
• A graph-based generic type system for object-oriented programs
• Translating controlled graph grammars to ordinary graph grammars
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• scientific article; zbMATH DE number 3856385 (Why is no real title available?)

This page was built for publication: Defining object-oriented execution semantics using graph transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989490)