The simple mapping account of correctness reduces correctness to extensional agreement. While we have indicated various means of cutting down the number of solutions, restricting them in some way, there is something more substantial missing from our account. An assumption underlying the simple mapping account is that computation and programming are notions that can be fully characterized independently of any intentions.
Unable to display preview. Download preview PDF.