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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Hermathena no. 191; pp. 69 - 92
Autor principal:	Gibbons, Hugh
Formato:	Artículo
Publicado:	Trinity College, Dublin Winter2011
Materias:	Free logic Eiffel (Computer program language) Vacuum Programming languages Logic
Acceso en línea:	Ver este registro en EBSCOhost