14 Oct
2008
14 Oct
'08
1:21 p.m.
Jonathan Cast
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