Filling the Void: the application of Free Logic to programming.
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, Algol W, Hoare considers it his billion dollar mistake. To mitigate the erro...
| Published in: | Hermathena no. 191; pp. 69 - 92 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Trinity College, Dublin
Winter2011
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=98124219&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 98124219 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00180750 AYJ jtl: Hermathena issn: 00180750 maglogo: N pubinfo: dt: Winter2011 iid: 191 pid: 20657 pub: Trinity College, Dublin artinfo: ui: 98124219 ppf: 69 ppct: 23 formats: fmt: @attributes: type: P size: 3.2MB tig: atl: Filling the Void: the application of Free Logic to programming. aug: au: Gibbons, Hugh affil: Trinity College, Dublin su: Free logic Eiffel (Computer program language) Vacuum Programming languages Logic sug: subj: Free logic Eiffel (Computer program language) Vacuum Programming languages Logic ab: 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, Algol 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Hermathena is the property of Trinity College, Dublin and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Hermathena holder: Trinity College, Dublin dt: @attributes: year: 2011 holdings: @attributes: islocal: N |
|---|