Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings. 1st ed. 1994
- 種類:
- 電子ブック
- 責任表示:
- edited by Thomas F. Melham, Juanito Camilleri
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 859
- ISBN:
- 9783540488033 [3540488030]
- 注記:
- LCF examples in HOL -- A graphical tool for proving UNITY progress -- Reasoning about a class of linear systems of equations in HOL -- Towards a HOL theory of memory -- Providing tractable security analyses in HOL -- Highlighting the lambda-free fragment of Automath -- First-order automation for higher-order-logic theorem proving -- Symbolic animation as a proof tool -- Datatypes in L2 -- A formal theory of undirected graphs in higher-order logc -- Mechanical verification of distributed algorithms in higher-order logic -- Tracking design changes with formal verification -- Weak systems of set theory related to HOL -- Interval-semantic component models and the efficient verification of transaction-level circuit behavior -- An interpretation of Noden in HOL -- Reasoning about real circuits -- Binary decision diagrams as a HOL derived rule -- Trustworthy tools for trustworthy programs: A verified verification condition generator -- S: A machine readable specification notation based on higher order logic -- An en
This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
