Logo

A Practical Theory of Programming

Large book cover: A Practical Theory of Programming

A Practical Theory of Programming
by

Publisher: Springer
ISBN/ASIN: 0387941061
ISBN-13: 9780387941066
Number of pages: 243

Description:
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Reasoned ProgrammingReasoned Programming
by - Prentice Hall Trade
The text for advanced undergraduate/graduate students of computer science. It introduces functional, imperative and logic programming and explains how to do it correctly. Functional programming is presented as a programming language in its own right.
(12980 views)
Book cover: Type Systems for Programming LanguagesType Systems for Programming Languages
by
Provides an account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
(16310 views)
Book cover: Dictionary of Programming LanguagesDictionary of Programming Languages
by
The Dictionary of Programming Languages is an online compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.
(13526 views)
Book cover: The Z Notation: A Reference ManualThe Z Notation: A Reference Manual
by - Prentice Hall
The standard Z notation for specifying and designing software has evolved over the best part of a decade. This an informal but rigorous reference manual is written with the everyday needs of readers and writers of Z specifications in mind.
(11970 views)