A sharp proof rule for procedures in wp semantics

Publisher Website

1 March 1989

journal article
Published by Springer Nature in Acta Informatica

Vol. 26 (5) , 409-419
https://doi.org/10.1007/bf00289144

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Equivalence of the Gries and Martin proof rules for procedure calls
Acta Informatica, 1986
On the notion of expressiveness and the rule of adaptation
Theoretical Computer Science, 1983
A general proof rule for procedures in predicate transformer semantics
Acta Informatica, 1983
The Science of Programming
Published by Springer Nature ,1981
Assignment and Procedure Call Proof Rules
ACM Transactions on Programming Languages and Systems, 1980