Predicate transformers for recursive procedures with local variables

DOI10.1007/S001659970002zbMath0966.68113OpenAlexW2125417924MaRDI QIDQ1578396

Wim H. Hesselink

Publication date: 27 August 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://pure.rug.nl/ws/files/3160928/1999FormAspCompHesselink2.pdf

zbMATH Keywords

imperative languageprecondition semantics of recursive procedures

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Alternating states for dual nondeterminism in imperative programming

This page was built for publication: Predicate transformers for recursive procedures with local variables