Nested Quantification in Graph Transformation Rules

DOI10.1007/11841883_1zbMath1156.68437OpenAlexW2136654769MaRDI QIDQ3541943

Arend Rensink

Publication date: 27 November 2008

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

Full work available at URL: https://doi.org/10.1007/11841883_1

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 (2)

Multi-amalgamated Triple Graph Grammars ⋮ High-Level Programs and Program Conditions

This page was built for publication: Nested Quantification in Graph Transformation Rules