Advertisement

Rule Following and Correctness

  • Raymond Turner
Chapter

Abstract

Programming involves the construction of programs that meet their specifications. This draws in all the associated activities of programming such as testing, verification, and establishing correctness. And these are rule following activities.

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