Wesselkamper, Thomas C.2013-06-192013-06-191973http://hdl.handle.net/10919/20229A 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.application/pdfenIn CopyrightA Topological Model of the Data Space for a Block Structured LanguageTechnical reportCS73004-Rhttp://eprints.cs.vt.edu/archive/00000748/01/CS73004-R.pdf