Predicate-transformer semantics of general recursion

From MaRDI portal

Publication:1101439

Jump to:navigation, search

zbMath0643.03020MaRDI QIDQ1101439

Wim H. Hesselink

Publication date: 1989

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

correctness of programs mutual recursion unbounded nondeterminacy law of the excluded miracle

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of computability and recursion theory (03D80)

Related Items (5)

The weakest precondition calculus: Recursion and duality ⋮ Command algebras, recursion and program transformation ⋮ Processes and formalisms for unbounded choice ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints ⋮ WP Semantics and Behavioral Subtyping

This page was built for publication: Predicate-transformer semantics of general recursion

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1101439&oldid=13134663"