Skip to main content
Springer Nature Link
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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 79.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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

Similar content being viewed by others

Keywords

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

Authors and Affiliations

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

    David Gries

Bibliographic Information

Publish with us

Policies and ethics

Back to top