Skip to main content
SpringerLink
Log in

The Science of Programming

  • Textbook
  • © 1981

Overview

Authors:
  1. David Gries

    1. Department of Computer Science, Cornell University, Ithaca, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 79.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Why Use Logic? Why Prove Programs Correct?

    1. Why Use Logic? Why Prove Programs Correct?

      • David Gries
      Pages 1-5

  3. Propositions and Predicates

    1. Front Matter

      Pages 7-7
      Download chapter PDF

    2. Propositions

      • David Gries
      Pages 8-18

    3. Reasoning using Equivalence Transformations

      • David Gries
      Pages 19-27

    4. A Natural Deduction System

      • David Gries
      Pages 28-65

    5. Predicates

      • David Gries
      Pages 66-87

    6. Notations and Conventions for Arrays

      • David Gries
      Pages 88-98

    7. Using Assertions To Document Programs

      • David Gries
      Pages 99-105

  4. The Semantics of a Small Language

    1. Front Matter

      Pages 107-107
      Download chapter PDF

    2. The Predicate Transformer wp

      • David Gries
      Pages 108-113

    3. The Commands skip, abort and Composition

      • David Gries
      Pages 114-116

    4. The Assignment Command

      • David Gries
      Pages 117-130

    5. The Alternative Command

      • David Gries
      Pages 131-137

    6. The Iterative Command

      • David Gries
      Pages 138-148

    7. Procedure Call

      • David Gries
      Pages 149-162

  5. The Development of Programs

    1. Introduction

      • David Gries
      Pages 163-171

    2. Programming as a Goal-Oriented Activity

      • David Gries
      Pages 172-178

    3. Developing Loops from Invariants and Bounds

      • David Gries
      Pages 179-192

    4. Developing Invariants

      • David Gries
      Pages 193-215
Back to top

Keywords

About this book

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

Authors and Affiliations

  • Department of Computer Science, Cornell University, Ithaca, USA

    David Gries

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation