Programming Language Semantics Seminar

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.