Re: Distance in Denotational Semantics?

nobrow@xxxxxxxxx wrote:
: Is there a notion of distance in denotational semeantics?

See
http://www.cs.brandeis.edu/~bukatin/papers.html

: I have made
: cursory readings on the subject in the past, and all the talk of
: lattices and CPOs made me wonder if it was possible to define a
: semantic distance between two arbitary programs ... with the intention
: of using a distance d to define a region of similarity for a given
: program P (you know, P is considered similar to Q if |P Q| < d). Its a
: very vague question I know, but your feedback would be appreciated.

--
John Forkosh ( mailto: j@xxxxx where j=john and f=forkosh )
.