Distance in Denotational Semantics?

Is there a notion of distance in denotational semeantics? 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.

Thanks.

PS If theres a better place to post general question about den. sem.
then please tell me.

.

Relevant Pages

  • Re: My New Website
    ... You still haven't told me why the distance should be ... measure the electron density. ... > 'God didnt paly the dice' ... There are no "92 pure element lattices". ...
    (sci.physics)
  • Re: opaque hollow dot for lattice theory Hasse diagrams
    ... parameter rowsep actually does in practice: ... Or why isn't the distance between node centers 4mm? ... the two lattices have basically the same ... in practice because on the smaller lattice, everything got scaled up, ...
    (comp.text.tex)
  • Re: Distance in Denotational Semantics?
    ... Is there a notion of distance in denotational semeantics? ... cursory readings on the subject in the past, ... semantic distance between two arbitary programs ... ... John Forkosh ...
    (comp.theory)