Defining object-oriented execution semantics using graph transformations

DOI10.1007/11768869_15zbMATH Open1461.68057OpenAlexW2119298939MaRDI QIDQ4989490FDOQ4989490

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

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

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)

Cited In (8)

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

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)