Program Construction: International Summer School by F.L. BauerProgram Construction: International Summer School by F.L. Bauer

Program Construction: International Summer School

byF.L. Bauer

Paperback | June 1, 1979

Pricing and Purchase Info

$81.74 online 
$90.95 list price save 10%
Earn 409 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores

Title:Program Construction: International Summer SchoolFormat:PaperbackDimensions:651 pages, 9.25 × 6.1 × 0 inPublished:June 1, 1979Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354009251X

ISBN - 13:9783540092513

Look for similar items by category:


Table of Contents

A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of "natural language programming".- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development - The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always?.- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation - The formal approach.- Program development by stepwise transformations - The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools - Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction.