An Inductive Theorem on the Correctness of General Recursive Programs

DOI10.1093/JIGPAL/JZM053zbMath1128.68023OpenAlexW2023298251MaRDI QIDQ5436982

Jaime Alejandro Bohórquez

Publication date: 18 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzm053

zbMATH Keywords

relational semantics

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

An elementary and unified approach to program correctness

This page was built for publication: An Inductive Theorem on the Correctness of General Recursive Programs