Proof and System-Reliability

by Helmut Schwichtenberg (Editor), Ralf Steinbruggen (Editor), Ralf Steinbrüggen

Overview

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations.
This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.

Product Details

ISBN-13:	9781402006074
Publisher:	Springer-Verlag New York, LLC
Publication date:	05/28/2002
Series:	NATO Science Series II: Mathematics, Physics and Chemistry Series , #62
Pages:	428
Product dimensions:	6.52(w) x 9.50(h) x 1.13(d)

Table of Contents

	Preface	ix
	Cartesian Closed Categories of Effective Domains	1
	Algorithmic Game Semantics: A Tutorial Introduction	21
	Algebra of Networks	49
	Computability and Complexity from a Programming Perspective	79
	Logical Frameworks: A Brief Introduction	137
	Ludics: An Introduction	167
	Naive Computational Type Theory	213
	Proof-Carrying Code. Design and Implementation	261
	Abstractions and Reductions in Model Checking	289
	Hoare Logic: From First-order to Propositional Formalism	323
	Hoare Logics in Isabelle/HOL	341
	Proof Theoretic Complexity	369
	Feasible Computation with Higher Types	399