Towards Computing Distances Between Programs via Scott Domains.

Michael A. Bukatin Joshua S. Scott

Published in: LFCS (1997)

Keyphrases

application domains
distance measure
euclidean distance
databases
real world
artificial intelligence
information systems
multiscale
cross domain
data sets
case study
image sequences
logic programs
distance function
computer programs