Read A Practical Theory of Programming: Texts and Monographs in Computer Science

A Practical Theory of Programming: Texts and Monographs in Computer Science

Eric C.R. Hehner

4.9/5 (24314 ratings)

Description: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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with A Practical Theory of Programming: Texts and Monographs in Computer Science. To get started finding A Practical Theory of Programming: Texts and Monographs in Computer Science, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 1441985964

Description: 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with A Practical Theory of Programming: Texts and Monographs in Computer Science. To get started finding A Practical Theory of Programming: Texts and Monographs in Computer Science, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

A Practical Theory of Programming: Texts and Monographs in Computer Science

A Practical Theory of Programming: Texts and Monographs in Computer Science

More Books

Logic of Programming (Prentice-hall International Series in Computer Science)

Logic of Programming (Prentice-hall International Series in Computer Science)

A Practical Theory of Programming (Monographs in Computer Science) by Eric C.R. Hehner (1993-08-06)

A Practical Theory of Programming (Monographs in Computer Science) by Eric C.R. Hehner (1993-08-06)

[(A Practical Theory of Programming )] [Author: Eric C.R. Hehner] [Sep-2012]

[(A Practical Theory of Programming )] [Author: Eric C.R. Hehner] [Sep-2012]