The Science of Programming

  • DavidĀ Gries

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

Table of contents

  1. Front Matter
    Pages i-xv
  2. Why Use Logic? Why Prove Programs Correct?

  3. Propositions and Predicates

    1. Front Matter
      Pages 7-7
    2. David Gries
      Pages 8-18
    3. David Gries
      Pages 28-65
    4. David Gries
      Pages 66-87
    5. David Gries
      Pages 88-98
    6. David Gries
      Pages 99-105
  4. The Semantics of a Small Language

    1. Front Matter
      Pages 107-107
    2. David Gries
      Pages 108-113
    3. David Gries
      Pages 114-116
    4. David Gries
      Pages 117-130
    5. David Gries
      Pages 131-137
    6. David Gries
      Pages 138-148
    7. David Gries
      Pages 149-162
  5. The Development of Programs

    1. David Gries
      Pages 163-171
    2. David Gries
      Pages 172-178
    3. David Gries
      Pages 193-215

About this book

Introduction

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

Keywords

Natural computer programming development documentation functions language logic programming semantics

Authors and affiliations

  • DavidĀ Gries
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4612-5983-1
  • Copyright Information Springer-Verlag New York 1981
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-387-96480-5
  • Online ISBN 978-1-4612-5983-1
  • Series Print ISSN 0172-603X
  • About this book