Monographs in Computer Science

A Practical Theory of Programming

Authors: Hehner, Eric C.R.

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4419-8596-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.00
price for USA
  • ISBN 978-0-387-94106-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $99.00
price for USA
  • ISBN 978-1-4612-6444-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.

Table of contents (11 chapters)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4419-8596-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.00
price for USA
  • ISBN 978-0-387-94106-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $99.00
price for USA
  • ISBN 978-1-4612-6444-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
A Practical Theory of Programming
Authors
Series Title
Monographs in Computer Science
Copyright
1993
Publisher
Springer-Verlag New York
Copyright Holder
Springer-Verlag New York, Inc.
eBook ISBN
978-1-4419-8596-5
DOI
10.1007/978-1-4419-8596-5
Hardcover ISBN
978-0-387-94106-6
Softcover ISBN
978-1-4612-6444-6
Series ISSN
0172-603X
Edition Number
1
Number of Pages
X, 247
Topics