Proof and System-Reliability

Proof and System-Reliability edited by Helmut Schwichtenberg, Ralf Steinbrüggen.

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 logical...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Schwichtenberg, Helmut (Editor), Steinbrüggen, Ralf (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2002.
Edition:1st ed. 2002.
Series:Nato Science Series II:, Mathematics, Physics and Chemistry, 62
Springer eBook Collection.
Subjects:
Mathematical logic.
Artificial intelligence.
Logic.
Computers.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Cartesian Closed Categories of Effective Domains
  • Algorithmic Game Semantics: A Tutorial Introduction
  • Algebra of Networks
  • Computability and Complexity from a Programming Perspective
  • Logical Frameworks: A Brief Introduction
  • Ludics: An Introduction
  • Naïve Computational Type Theory
  • Proof-Carrying Code. Design and Implementation
  • Abstractions and Reductions in Model Checking
  • Hoare Logic: From First-order to Propositional Formalism
  • Hoare Logics in Isabelle/HOL
  • Proof Theoretic Complexity
  • Feasible Computation with Higher Types.

Similar Items