Theoretical Computer Science and General Issues

Theorem Proving in Higher Order Logics

18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Editors: Hurd, Joe, Melham, Tom (Eds.)

Buy this book

eBook n/a
  • ISBN 978-3-540-31820-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-28372-0
  • Free shipping for individuals worldwide
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

    Gargano, Mauro (et al.)

    Pages 1-16

  • Alpha-Structural Recursion and Induction

    Pitts, Andrew M.

    Pages 17-34

  • Shallow Lazy Proofs

    Amjad, Hasan

    Pages 35-49

  • Mechanized Metatheory for the Masses: The PoplMark Challenge

    Aydemir, Brian E. (et al.)

    Pages 50-65

  • A Structured Set of Higher-Order Problems

    Benzmüller, Christoph E. (et al.)

    Pages 66-81

Buy this book

eBook n/a
  • ISBN 978-3-540-31820-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-28372-0
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

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