A Practical Theory of Programming

A Practical Theory of Programming
Author :
Publisher : Springer Science & Business Media
Total Pages : 257
Release :
ISBN-10 : 9781441985965
ISBN-13 : 1441985964
Rating : 4/5 (65 Downloads)

Book Synopsis A Practical Theory of Programming by : Eric C.R. Hehner

Download or read book A Practical Theory of Programming written by Eric C.R. Hehner and published by Springer Science & Business Media. This book was released on 2012-09-08 with total page 257 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


A Practical Theory of Programming Related Books

A Practical Theory of Programming
Language: en
Pages: 257
Authors: Eric C.R. Hehner
Categories: Computers
Type: BOOK - Published: 2012-09-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 specificatio
Practical Foundations for Programming Languages
Language: en
Pages: 513
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Functional Programming
Language: en
Pages: 616
Authors: Bruce J. MacLennan
Categories: Computers
Type: BOOK - Published: 1990 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

Types and Programming Languages
Language: en
Pages: 646
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er
Elements of Programming
Language: en
Pages: 282
Authors: Alexander Stepanov
Categories: Computers
Type: BOOK - Published: 2019-06-17 - Publisher: Lulu.com

DOWNLOAD EBOOK

Elements of Programming provides a different understanding of programming than is presented elsewhere. Its major premise is that practical programming, like oth