Towards computing distances between programs via Scott domains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1234, Issue , 1997, Pages 33-43

  Bukatin, Michael A ^a,b   Scott, Joshua S ^c  

^a BRANDEIS UNIVERSITY   (United States)

^b Parametric Technology Corporation   (United States)

^c NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

COMPLETE PARTIAL ORDERS; COMPUTING DISTANCES; CONTINUOUS SCOTT DOMAIN; DISTANCE FUNCTIONS; GENERALIZED DISTANCES; PARTIAL METRICS; SEMANTIC DOMAINS; TRIANGLE INEQUALITY;

TOPOLOGY;

EID: 84947923938     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63045-7_4     Document Type: Conference Paper

References (11)

1. Bukatin M.A., Scott J.S. Towards Computing Distances between Programs via Domains: a Symmetric Continuous Generalized Metric for Scott Topology on Continuous Scott Domains with Countable Bases. Available via URL http://www.cs.br2u1deis.edu/~bukatin/dist_new.ps.gz, December 1996.
2. Edalat A. Domain theory and integration. Theoretical Computer Science, 151 (1995) 163-193.
3. Hoofman R. Continuous information systems. Information and Computation, 105 (1993) 42-71.
4. Kopperman R.D., Flagg R.C. The asymmetric topology of computer science. In S. Brooks et al., eds., Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science, 802, 544-553, Springer, 1993.
5. Kunzi H.P.A., Vajner V. Weighted quasi-metrics. In S. Andima et al., eds., Proc. 8th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences, 728, 64-77, New York, 1994.
6. Matthews S.G. An extensional treatment of lazy data flow deadlock. Theoretical Computer Science, 151 (1995), 195-205.
7. Matthews S.G. Partial metric topology. In S. Andima et al., eds., Proc. 8th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences, 728, 183-197, New York, 1994.
8. O’Neill S.J. Partial metrics, valuations and domain theory. In S. Andima et al., eds., Proc. 11th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences, 806, 304-315, New York, 1997.
9. Smyth M.B. Quasi-uniformities: reconciling domains and metric spaces. In M. Main et al., eds., Mathematical Foundations of Programming Language Semantics, Lecture Notes in Computer Science, 298, 236-253, Springer, 1988.
10. Stoy J.E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.
11. Vickers S. Matthews Metrics. Unpublished notes, Imperial College, UK, 1987.