A simple calculus for program transformation (inclusive of induction)

DOI10.1016/0167-6423(87)90008-6zbMath0624.68020OpenAlexW2043586883MaRDI QIDQ578898

Peter Pepper

Publication date: 1987

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(87)90008-6

zbMATH Keywords

induction principlescorrectness-preserving rulesGentzen-style calculustransformation systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Local variable scoping and Kleene algebra with tests

This page was built for publication: A simple calculus for program transformation (inclusive of induction)