Northeastern University
College of Computer Science
COMPUTING DISTANCES BETWEEN PROGRAMS VIA DOMAINS:
a Symmetric Continuous Generalized Metric for
Scott Topology on Continuous Scott Domains
Michael A. Bukatin - Brandeis University, Computer Science
Joshua S. Scott - Northeastern University, Mathematics
We present a description of Scott topology on continuous
Scott domains via continuous generalized distances. The continuity
of these distances makes it possible to compute them in many
cases. In particular, applications of this construction to semantic
domains allow to compute meaningful distances between programs.
We will further elaborate on connections between continuity
and computability during this talk.
Wednesday, October 9, 1996
9:30am - 11:30am
107 Cullinane Hall
The full paper can be obtained at
http://www.cs.brandeis.edu/~bukatin/papers.html
or requested at
bukatin@cs.brandeis.edu.