Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Editors: Hurd, Joe, Melham, Tom (Eds.)
Free PreviewBuy this book
- About this book
-
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 49 papers submitted to TPHOLs 2005 in the full research c- egory, each of which was refereed by at least three reviewers selected by the programcommittee. Of these submissions, 20 researchpapersand 4 proof pearls were accepted for presentation at the conference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2005 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2005 technical report of the Oxford University Computing Laboratory. The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005.
- Table of contents (26 chapters)
-
-
On the Correctness of Operating System Kernels
Pages 1-16
-
Alpha-Structural Recursion and Induction
Pages 17-34
-
Shallow Lazy Proofs
Pages 35-49
-
Mechanized Metatheory for the Masses: The PoplMark Challenge
Pages 50-65
-
A Structured Set of Higher-Order Problems
Pages 66-81
-
Table of contents (26 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Theorem Proving in Higher Order Logics
- Book Subtitle
- 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
- Editors
-
- Joe Hurd
- Tom Melham
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 3603
- Copyright
- 2005
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-31820-0
- DOI
- 10.1007/11541868
- Softcover ISBN
- 978-3-540-28372-0
- Edition Number
- 1
- Number of Pages
- X, 414
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.
