Program Construction
Subtitle: International Summer School (Lecture Notes in Computer Science)
Contributors: F.L. Bauer (Editor); M. Broy (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 16, 1982
Language: eng
Format: Paperback
Number of pages: 664
ISBN-13: 9783540092513
Subjects: Computer Science; Computers / Computer Science; Programmierung (EDV); Computers - General Information
Table of contents: title: A more formal treatment of a less simple example; title: Stationary behaviour of some ternary networks; title: Finding the correctness proof of a concurrent program; title: On the interplay between mathematics and programming; title: A theorem about odd powers of odd integers; title: In honour of Fibonacci; title: On the foolishness of "natural language programming"; title: Program inversion; title: The Schorr-Waite graph marking algorithm; title: Eliminating the chaff; title: Proofs, programs and their development; title: The axiomatic approach; title: Current ideas in programming methodology; title: Basic axiomatic definitions; title: The multiple assignment statement; title: Is sometimes ever better than always?; title: A case study in language design: Euclid; title: Proof rules for the programming language Euclid; title: Verification of Euclid programs; title: Specifications and proofs for abstract data types in concurrent programs; title: Specification and verification of a network mail system; title: From specification to implementation; title: The formal approach; title: Program development by stepwise transformations; title: The project CIP; title: Systematics of transformation rules; title: Special transformation techniques; title: A study on transformational semantics; title: Detailization and lazy evaluation, infinite objects and pointer representation; title: Examples for change of types and object structures; title: Development of the Schorr-Waite algorithm; title: A derivation-oriented proof of the Schorr-Waite marking algorithm; title: Languages as tools; title: Interactive program construction; title: Programing languages for reliable computing systems; title: Programming methodology and language implications; title: Towards a wide spectrum language to support program specification and program development; title: Semantics of nondeterministic and noncontinuous constructs; title: Notes on type abstraction; title: Some theoretical aspects of program construction