405 followers
239 followers
38 followers
医学におけるアートとサイエンスの重要性ー日野原重明 https://t.co/ExJ7DXKbze コンピュータ・プログラミングのアートとサイエンス https://t.co/TXpeKyZFaZ https://t.co/JoY35RvM8s
The Science of Programming
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Why Use Logic? Why Prove Programs Correct?
-
Altmetric BadgeChapter 2 Propositions
-
Altmetric BadgeChapter 3 Reasoning using Equivalence Transformations
-
Altmetric BadgeChapter 4 A Natural Deduction System
-
Altmetric BadgeChapter 5 Predicates
-
Altmetric BadgeChapter 6 Notations and Conventions for Arrays
-
Altmetric BadgeChapter 7 Using Assertions To Document Programs
-
Altmetric BadgeChapter 8 The Predicate Transformer wp
-
Altmetric BadgeChapter 9 The Commands skip, abort and Composition
-
Altmetric BadgeChapter 10 The Assignment Command
-
Altmetric BadgeChapter 11 The Alternative Command
-
Altmetric BadgeChapter 12 The Iterative Command
-
Altmetric BadgeChapter 13 Procedure Call
-
Altmetric BadgeChapter 14 Introduction
-
Altmetric BadgeChapter 15 Programming as a Goal-Oriented Activity
-
Altmetric BadgeChapter 16 Developing Loops from Invariants and Bounds
-
Altmetric BadgeChapter 17 Developing Invariants
-
Altmetric BadgeChapter 18 Notes on Bound Functions
-
Altmetric BadgeChapter 19 Using Iteration Instead of Recursion
-
Altmetric BadgeChapter 20 Efficiency Considerations
-
Altmetric BadgeChapter 21 Two Larger Examples of Program Development
-
Altmetric BadgeChapter 22 Inverting Programs
-
Altmetric BadgeChapter 23 Notes on Documentation
-
Altmetric BadgeChapter 24 Historical Notes