A Hoare Calculus for Graph Programs

DOI10.1007/978-3-642-15928-2_10zbMath1306.68035OpenAlexW1538507560MaRDI QIDQ4931309

Detlef Plump, Christopher M. Poskitt

Publication date: 4 October 2010

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

Full work available at URL: https://ink.library.smu.edu.sg/sis_research/4918

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Ensuring Correctness of Model Transformations While Remaining Decidable ⋮ A strict constrained superposition calculus for graphs ⋮ Unnamed Item

Uses Software

• GrGen

This page was built for publication: A Hoare Calculus for Graph Programs