Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1994

Higher Order Logic Theorem Proving and Its Applications

7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Editors:

  1. Thomas F. Melham
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juanito Camilleri
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 859)

Conference series link(s): HUG: HOL Users' Group Workshop

Conference proceedings info: HUG 1994.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (30 papers)

  1. Front Matter

    PDF

  2. LCF examples in HOL

    • Sten Agerholm
    Pages 1-16

  3. A graphical tool for proving UNITY progress

    • Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson
    Pages 17-32

  4. Reasoning about a class of linear systems of equations in HOL

    • Catia M. Angelo, Luc Claesen, Hugo De Man
    Pages 33-48

  5. Towards a HOL theory of memory

    • J. -P. Bodeveix, M. Filali, P. Roche
    Pages 49-64

  6. Providing tractable security analyses in HOL

    • Stephen H. Brackin
    Pages 65-80

  9. Symbolic animation as a proof tool

    • Juanito Camilleri, Vincent Zammit
    Pages 113-127

  10. Datatypes in L2

    • Nick Chapman, Simon Finn, Michael P. Fourman
    Pages 128-143

  14. Weak systems of set theory related to HOL

    • Thomas Forster
    Pages 193-204

  16. An interpretation of Noden in HOL

    • Brian T. Graham
    Pages 221-234

  17. Reasoning about real circuits

    • Keith Hanna
    Pages 235-253
Back to top

Other Volumes

  1. Higher Order Logic Theorem Proving and Its Applications

Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation