1978
Recursive programs as predicate transformers
Publication
Publication
Presented at the
IFIP WG 2.2. Formal Description of Programming Concepts, St. Andrews, Canada
Additional Metadata | |
---|---|
North-Holland | |
IFIP WG 2.2. Formal Description of Programming Concepts | |
de Bakker, J. (1978). Recursive programs as predicate transformers. In Proceedings of IFIP WG 2.2. Formal Description of Programming Concepts 1978 (pp. 165–181). North-Holland. |