Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Editors: Grundy, Jim, Newey, Malcolm (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49801-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-64987-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.
The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

Table of contents (28 chapters)

Table of contents (28 chapters)
  • Verified lexical analysis

    Pages 1-15

    Nipkow, Tobias

  • Extending window inference

    Pages 17-32

    Wright, Joakim

  • Program abstraction in a higher-order logic framework

    Pages 33-48

    Benini, Marco (et al.)

  • The village telephone system: A case study in formal software engineering

    Pages 49-66

    Bhargavan, Karthikeyan (et al.)

  • Generating embeddings from denotational descriptions

    Pages 67-86

    Boulton, Richard J.

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49801-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-64987-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theorem Proving in Higher Order Logics
Book Subtitle
11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Editors
  • Jim Grundy
  • Malcolm Newey
Series Title
Lecture Notes in Computer Science
Series Volume
1479
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49801-8
DOI
10.1007/BFb0055125
Softcover ISBN
978-3-540-64987-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
IX, 496
Topics