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", remains to be the most well known. In it, a specification is a couple of predicates: a precondition and postcondition (these and all technical phrases can be outlined in due course). one other well known and heavily comparable idea via 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 specified operators and quantifiers to explain a few points of computation. the idea during this e-book is less complicated than any of these simply pointed out. In it, a specification is simply a boolean expression. Refinement is simply usual implication. This idea is usually extra normal than these simply pointed out, employing 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 type and for tightly restricted real-time applications.

Show description

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

Best software development books

Download e-book for iPad: A Beginner's Guide to Scala, Object Orientation and by John Hunt

Scala is a brand new programming language constructed by means of Martin Odersky and his workforce on the EPFL. The identify Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorporating item orientated methods with useful programming. even if a few familiarity with usual computing techniques is believed (such because the thought of compiling a application and executing this compiled shape, and so on.

Download e-book for iPad: Accelerating Process Improvement Using Agile Techniques by Deb Jacobs

Accelerating method development utilizing Agile strategies explains how agile programming is utilized to straightforward technique development. by means of using agile strategies, IT enterprises can accelerate procedure development tasks, reduce the assets those projects require, and maximize the advantages of strategy development.

Read e-book online Middleware in Java: Leitfaden zum Entwurf verteilter PDF

Dieses Buch vermittelt beispielhaft das notwendige knowledge zum Entwurf und zur Entwicklung verteilter Anwendungen. Die Umsetzung erfolgt mittels der relevanten Middleware-Technologien in Java. Zunächst werden die grundlegenden Verfahren wie Datenaustausch über Sockets, Parallelisierung durch Threads und Synchronisation über Monitore und Semaphore behandelt.

Download e-book for iPad: Android App Development in Android Studio: Java + Android by J. Paul Cardle

This ebook covers Android app layout basics in Android Studio utilizing Java programming language. the writer assumes you haven't any adventure in app improvement. The ebook starts off with the set up of the necessary improvement surroundings and establishing the emulators. Then, the easiest "Hello international" app is constructed step-by-step.

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

Sample text

Download PDF sample

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

by Jeff

Rated 4.35 of 5 – based on 11 votes