Partial functions and logics: A warning
- 1 April 1995
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 54 (2) , 65-67
- https://doi.org/10.1016/0020-0190(95)00042-b
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A typed logic of partial functions reconstructed classicallyActa Informatica, 1994
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- A note on undefined expression values in programming logicsInformation Processing Letters, 1987
- A logic covering undefinedness in program proofsActa Informatica, 1984