By Eric C.R. Hehner

ISBN-10: 0387941061

ISBN-13: 9780387941066

There are numerous theories of programming. the 1st usable concept, known as "Hoare's Logic", continues to be essentially the most widely recognized. In it, a specification is a couple of predicates: a precondition and postcondition (these and all technical phrases should be outlined in due course). one other well known and heavily comparable thought through Dijkstra makes use of the weakest precondition predicate transformer, that's a functionality from courses and postconditions to preconditions. lones's Vienna improvement process has been used to virtue in a few industries; in it, a specification is a couple of predicates (as in Hoare's Logic), however the moment predicate is a relation. Temporal common sense is another formalism that introduces a few distinct operators and quantifiers to explain a few points of computation. the speculation during this publication is easier than any of these simply pointed out. In it, a specification is simply a boolean expression. Refinement is simply traditional implication. This conception can be extra normal than these simply pointed out, using to either terminating and nonterminating computation, to either sequential and parallel computation, to either stand-alone and interactive computation. And it contains time bounds, either for set of rules class and for tightly limited real-time applications.

Show description

Read or Download A Practical Theory of Programming (Monographs in Computer Science) PDF

Best software development books

Ada for Software Engineers by Mordechai Ben-Ari PDF

Ada is the programming language of selection for prime integrity software program structures and is used broadly in industries equivalent to transportation and aerospace. targeted beneficial properties of the e-book contain: Object-oriented programming, concurrency, and embedded and real-time structures are emphasised. Ada for software program Engineers explains the language recommendations and the terminology of the factors record, the Ada Reference guide (ARM).

Download e-book for kindle: Synthesizable VHDL Design for FPGAs by Eduardo Augusto Bezerra,Djones Vinicius Lettnin

The method defined during this e-book is the results of decades of analysis adventure within the box of synthesizable VHDL layout focusing on FPGA established systems. VHDL used to be first conceived as a documentation language for ASIC designs. Afterwards, the language used to be used for the behavioral simulation of ASICs, and in addition as a layout enter for synthesis instruments.

Get Stable Design Patterns for Software and Systems PDF

Awareness to layout styles is definitely transforming into in software program engineering simply because there's a powerful trust that utilizing made to degree recommendations for fixing usually happening difficulties encountered in the course of the layout section drastically reduces the complete price and the time of constructing software program items.

Additional resources for A Practical Theory of Programming (Monographs in Computer Science)

Example text

Download PDF sample

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

by James

Rated 4.48 of 5 – based on 11 votes