Advertisement

Intention and Correctness

  • Raymond Turner
Chapter

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Raymond Turner
    • 1
  1. 1.School of Computer Science & Electronic EngineeringUniversity of EssexColchesterUK

Personalised recommendations