Partial functions and logics: A warning

DOI10.1016/0020-0190(95)00042-BzbMath0875.68621MaRDI QIDQ673461

Juan-Miguel Gracia

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Specification languages; Program correctness; Partial functions

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• LARCH