A Topological Model of the Data Space for a Block Structured Language
Wesselkamper, Thomas C.
MetadataShow full item record
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.