An Axiomatic Basis for Computer Programming
preconditions, postconditions, and a proof rule per statement
Read it
EnglishTiếng Việt (abstract only)中文 (abstract only)日本語 (abstract only)
English beside Tiếng ViệtEnglish beside 中文English beside 日本語
- 8 sections
- 0 figures
- 0 equations
- 0 references
- cited by 1 here
- difficulty 3 of 5
- the publisher's page
Contents
- 1Introduction
- 2Computer Arithmetic
- 3Program Execution
- 4General Reservations
- 5Proofs of Program Correctness
- Notes
- 6Formal Language Definition