Engineering Theories of Software Construction

by Tony Hoare, Manfred Broy, Ralf Steinbruggen

Overview

This volume contains lectures presented at the 21st International Summer School on Engineering Theories of Software Construction (Marktoberdorf, Germany July/August 2000). Eleven contributions from professionals in industry and academia trace the path from the scientific foundations of programming theory through the development of toolsets and methods and on to practical application by working engineers. A sampling of topics includes unifying theories for logic programming, performance modeling using probabilistic process algebra, and extended static checking. The volume is not indexed. Annotation c. Book News, Inc., Portland, OR

Product Details

ISBN-13:	9781586031725
Publisher:	IOS Press, Incorporated
Publication date:	08/28/2001
Series:	NATO Science Series
Pages:	357
Product dimensions:	9.58(w) x 6.54(h) x 1.01(d)
Age Range:	17 Years

Table of Contents

	Preface	vii
Part 0.	Problem Structure and Specification
	Problem Analysis and Structure	3
	Unifying Theories for Logic Programming	21
	Tackling the Awkward Squad: Monadic Input/Output, Concurrency, Exceptions, and Foreign-Language Calls in Haskell	47
	Adaptation in HOT Languages: Comparing Polymorphism, Modules, and Objects	97
Part 1.	Modelling Reactive Systems
	Programming for Behaviour	135
	From States to Histories: Relating State and History Views onto Systems	149
	The [pi]-Calculus: An Introduction	187
	Performance Modelling Using Probabilistic Process Algebra	223
Part 2.	System and Program Verification
	Taming the Infinite: Verification of Infinite-State Reactive Systems by Finitary Means	261
	Extended Static Checking	301
	Software Model Checking	309
	Author Index	357