Efficient weakest preconditions
- 31 March 2005
- journal article
- research article
- Published by Elsevier in Information Processing Letters
- Vol. 93 (6) , 281-288
- https://doi.org/10.1016/j.ipl.2004.10.015
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Extended static checking for JavaACM SIGPLAN Notices, 2002
- Combining angels, demons and miracles in program specificationsTheoretical Computer Science, 1992
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990
- A generalization of Dijkstra's calculusACM Transactions on Programming Languages and Systems, 1989
- Correct and Robust ProgramsIEEE Transactions on Software Engineering, 1984