A Topological Model of the Data Space for a Block Structured Language

Wesselkamper, T.C. (1973) A Topological Model of the Data Space for a Block Structured Language . Technical Report CS73004-R, Computer Science, Virginia Tech.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
CS73004-R.pdf (303898)

Abstract

A space X is defined, the points of which are trees which possess a unique name property. A topology is defined for X based upon partial order. The topology is shown to be reasonably natural relative to the rationals. The topological space is shown to be neither Hausdorff nor T_1. The implications of this for program convergence are discussed with examples.

Item Type:	Departmental Technical Report
Subjects:	Computer Science > Historical Collection(Till Dec 2001)
ID Code:	748
Deposited By:	Administrator, Eprints
Deposited On:	14 April 2006