The science of programming

David Gries

Describes basic programming principles and their step-by- step applications.Numerous examples are included.

「Nielsen BookData」より

[目次]

  • Part 0. Why Use Logic? Why Prove Programs Correct?
  • Part 1. 1. Propositions
  • 2. Reasoning Using Equivalence Transformations
  • 3. A Natural Deduction System
  • 4. Predicates
  • 5. Notations and Conventions for Arrays
  • 6. Using Assertions to Document Programs
  • Part2. The Semantics of a Small Language
  • 7. The Predicate Transformer wp
  • 8. The Commands Skip, Abort and Composition
  • 9. The Assignment Command
  • 10. The Alternative Command
  • 12. Procedure Call
  • 11. The Iterative Command
  • 12. Procedure Call
  • Part 3. The Development of Programs
  • 13. Introduction
  • 14. Programming as a Goal-Oriented Activity
  • 15. Developing Loops From Invariants and Bounds
  • 16. Developing Invariants
  • 17. Notes on Bound Functions
  • 18. Using Iteration Instead of Recursion
  • 19. Efficiency Considerations
  • 20. Two Larger Examples of Program Development
  • 21. Inverting Programs
  • 22. Notes on Documentation
  • 23. Historical Notes
  • Appendix 1-4
  • Answers to Exercises
  • References
  • Index

「Nielsen BookData」より

この本の情報

書名 The science of programming
著作者等 Gries, David
シリーズ名 Texts and monographs in computer science
出版元 Springer-Verlag
刊行年月 c1981
版表示 1st ed. 1981. 5th printing 1989
ページ数 xiii, 366 p.
大きさ 24 cm
ISBN 0387964800
354090641X
3540964800
038790641X
NCID BA00739806
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想