RobertStewart-AnAxiomaticBasisForComputerProgramming

RobertStewart-AnAxiomaticBasisForComputerProgramming -...

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
Click to edit Master subtitle style   An Axiomatic Basis for Computer  Programming Robert Stewart
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
  The most important property of a program is  whether it accomplishes the intentions of its user. Current method of verification A better method is using an axiomatic basis for  programs.
Background image of page 2
  Computer programming as an exact science Deductive reasoning
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
  Outline Computer Arithmetic Program Execution General Reservations Proofs of Program Correctness Formal Language Definition
Background image of page 4
  Computer Arithmetic The foundation upon which valid reasoning  about a program can be developed. Uses a set of axioms Examples: x + y = y + x; x + 0 = x; x * y = y * x These axioms are true for both the infinite set of  integers in mathematics and the finite set of  integers in computer programming They work independent of the size of the set
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
  Program Execution One of the most important properties of a 
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 17

RobertStewart-AnAxiomaticBasisForComputerProgramming -...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online