A small-step operational semantics for GP 2

DOI10.4204/EPTCS.350.6MaRDI QIDQ6649538zbMATH OpenFDO

Authors Brian Courtehoute, Detlef Plump

Publication date 6 December 2024

Full work available at URL https://doi.org/10.4204/EPTCS.350.6

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• The Graph Programming Language GP
• Reasoning about graph programs
• A small step for mankind
• An operational semantics of \textsc{CommUnity} based on graph transformation systems
• One step at a time. A functional derivation of small-step evaluators from big-step counterparts

Cites work

• A structural approach to operational semantics
• From imperative to rule-based graph programs
• Fundamentals of algebraic graph transformation
• Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5--6, 2016. Proceedings
• scientific article; zbMATH DE number 789389 (Why is no real title available?)
• Introduction to algorithms.
• Semantics with applications: an appetizer.
• Structural operational semantics and bounded nondeterminism
• Ten years of Hoare's logic: A survey. II: Nondeterminism
• Theories of Programming Languages
• Über eine Schlußweise aus dem Endlichen ins Unendliche.

Cited in

(1)

• Rule-based graph programs matching the time complexity of imperative algorithms

This page was built for publication: A small-step operational semantics for GP 2

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