Filling the <i>Void</i>: the application of Free Logic to programming

作     者：Gibbons, Hugh 

作者机构：Univ Dublin Trinity Coll Dublin 2 Ireland 

出 版 物：《HERMATHENA》 (Hermathena)

年 卷 期：2011年第191期

页      面：69-91页

学科分类：0303[法学-社会学] 03[法学] 

主　　题：Free logic Identifiers Presuppositions Names Object oriented programming Programming languages Object programs Mathematical set theory 

摘      要：In computer science dealing with non denoting terms is a common occurrence. In the programming language Eiffel, if a term does not denote an object, it is an alias of Void. In introducing Void into his programming language, Algor W, Hoare considers it his billion dollar mistake. To mitigate the errors in using Void, the programming language Eiffel has introduced a Void-Safety mechanism. This mechanism makes explicit the presupposition of the existence of terms. In the following article the logic of assertions in Eiffel is considered not a standard logic due to the use of Void, but a Free Logic. This has implications for the correctness of programs.