On correct refinement of programs
From MaRDI portal
Publication:1157144
DOI10.1016/0022-0000(81)90005-2zbMath0469.68012MaRDI QIDQ1157144
Publication date: 1981
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(81)90005-2
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Predicate transformers and higher-order programs, Combining angels, demons and miracles in program specifications, The weakest precondition calculus: Recursion and duality, Predicate transformers as power operations