Defining Object-Oriented Execution Semantics Using Graph Transformations

DOI10.1007/11768869_15zbMath1461.68057OpenAlexW2119298939MaRDI QIDQ4989490

Arend Rensink, Anneke Kleppe, Harmen Kastenberg

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

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

Related Items (5)

A graph-based generic type system for object-oriented programs ⋮ Explicit State Model Checking for Graph Grammars ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ A categorical framework for the transformation of object-oriented systems: models and data ⋮ Translating controlled graph grammars to ordinary graph grammars

This page was built for publication: Defining Object-Oriented Execution Semantics Using Graph Transformations