Partial Functions in a Total Setting

Formal verification for fault-tolerant architectures: prolegomena to the design of PVS

Sam Owre, John Rushby, Natarajan Shankar et al. · IEEE Transactions on Software Engineering · 1995 · 494 citations

Engineering, Computer Engineering, Computer Science +15

A logic covering undefinedness in program proofs

Howard Barringer, Jinsong Cheng, Cliff B. Jones · Acta Informatica · 1984 · 172 citations

Computing, Computer Science, Formal Methods +11

A partial functions version of Church's simple theory of types

William M. Farmer · Journal of Symbolic Logic · 1990 · 99 citations

Humanities, Computer Science, Mathematics +14

On the Usability of Logics which Handle Partial Functions

Cheng Jh, CB Jones · 1991 · 74 citations

Humanities, Computer Science, Formal Methods +9