Proof and system-reliability

書誌事項

Proof and system-reliability

edited by Helmut Schwichtenberg and Ralf Steinbrüggen

(NATO science series, II . Mathematics, physics and chemistry ; v. 62)

Kluwer Academic, c2002

  • : pbk

大学図書館所蔵 件 / 13

この図書・雑誌をさがす

注記

Includes bibliographical references

Proceedings of the NATO Advanced Study Institute on Proof and System-Reliability, Marktoberdorf, Germany, 24 July - 5 August, 2001

内容説明・目次

巻冊次

ISBN 9781402006074

内容説明

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.
巻冊次

: pbk ISBN 9781402006081

内容説明

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.

目次

  • Cartesian Closed Categories of Effective Domains
  • G. Hamrin, V. Stoltenberg-Hansen. Algebraic Game Semantics: A Tutorial Introduction
  • S. Abramsky. Algebra of Networks
  • G. Stefanescu. Computability and Complexity from a Programming Perspective
  • N.D. Jones. Logical Frameworks: A Brief Introduction
  • F. Pfenning. Ludics: An Introduction
  • J.-Y. Girard. Naive Computational Type Theory
  • R. Constable. Proof-Carrying Code. Design and Implementation
  • G. Necula. Abstractions and Reductions in Model Checking
  • O. Grumberg. Hoare Logic: From First Order to Propositional Formalism
  • J. Tiuryn. Hoare Logics in Isabelle/HOL
  • T. Nipkow. Proof Theory and Complexity
  • G.E. Ostrin, S.S. Wainer. Feasible Computation with Higher Types
  • H. Schwichtenberg, S.J. Bellantoni.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ