Partial functions and logics: A warning

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

Juan-Miguel Gracia

Publication date: 28 February 1997

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

Full work available at URL: https://doi.org/10.1016/0020-0190(95)00042-b

zbMATH Keywords

Specification languagesProgram correctnessPartial functions

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Empowering the Event-B method using external theories

Uses Software

• Unnamed Item

Cites Work

• A logic covering undefinedness in program proofs
• A Larch shared language handbook
• A note on undefined expression values in programming logics
• A typed logic of partial functions reconstructed classically
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial functions and logics: A warning