Jonathan Cast <[EMAIL PROTECTED]> wrote: > David Roundy wrote: >> Jules Bean wrote: >>> David Roundy wrote: >>>> How does it interact with fixing bugs (which means changing >>>> mathematical and universal constant functions--since all >>>> functions are constants)? >>> >>> That's fine. Changing a program changes it denotation. >>> >>> Running a program on a different interpreter or compiler had >>> better not change its denotation, otherwise it [the >>> denotation] is not much use as a basis for reasoning. >> >> But you're saying above that we can't change programs, right? >> You probably won't be surprised to hear that different >> compilers are different programs. > > This `problem' is already solved by the theory of logical > relations.
Could you say more about this? -- _jsn _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
