A Topological Model of the Data Space for a Block Structured Language
1973) A Topological Model of the Data Space for a Block Structured Language . Technical Report CS73004-R, Computer Science, Virginia Tech. (
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)|
|Deposited By:||Administrator, Eprints|
|Deposited On:||14 April 2006|