Proof and system-reliability

edited by Helmut Schwichtenberg and 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 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.

「Nielsen BookData」より

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.

「Nielsen BookData」より

[目次]

  • 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」より

この本の情報

書名 Proof and system-reliability
著作者等 NATO Advanced Study Institute
Schwichtenberg, Helmut
Steinbruggen Ralf
Steinbrüggen Ralf
シリーズ名 NATO science series
出版元 Kluwer Academic
刊行年月 c2002
版表示 Softcover reprint of the original 1st ed. 2002
ページ数 xii, 415 p.
大きさ 25 cm
ISBN 140200608X
1402006071
NCID BA57066319
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想