Partial-predicate logic in computer science |
| |
| Authors: | Albert Hoogewijs |
| |
| Affiliation: | (1) Rijksuniversiteit Gent, Seminare voor Algebra, Galglaan 2, B-9000 Gent, Belgium |
| |
| Abstract: | Summary In  A Logic Covering Undefinedness in Program Proofs [1], Barringer, Cheng and Jones present a 3-valued logic designed for Program-Verification and Computer Science applications in general. In this paper we want to add some the oretical background to their arguments for the need for such a system. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
