A logic covering undefinedness in program proofs
- 1 October 1984
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 21 (3), 251-269
- https://doi.org/10.1007/bf00264250
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Partial abstract typesActa Informatica, 1982
- An Introduction to the PL/CV2 Programming LogicLecture Notes in Computer Science, 1982
- The Science of ProgrammingPublished by Springer Nature ,1981
- On a Formalization of the Non‐Definedness NotionMathematical Logic Quarterly, 1979
- Philosophy of LogicsPublished by Cambridge University Press (CUP) ,1978
- Formal development of correct algorithmsACM SIGPLAN Notices, 1972
- Logic and Truth Value GapsPublished by Springer Nature ,1970
- On the formal description of PL/IAnnual Review in Automatic Programming, 1969
- The Calculus of Partial Predicates and Its Extension to Set Theory IMathematical Logic Quarterly, 1961