Introduction to HOL

Introduction to HOL
Author :
Publisher :
Total Pages : 472
Release :
ISBN-10 : 0521441897
ISBN-13 : 9780521441896
Rating : 4/5 (896 Downloads)

Book Synopsis Introduction to HOL by : Michael J. C. Gordon

Download or read book Introduction to HOL written by Michael J. C. Gordon and published by . This book was released on 1993 with total page 472 pages. Available in PDF, EPUB and Kindle. Book excerpt: Higher-Order Logic (HOL) is a proof development system intended for applications to both hardware and software. It is principally used in two ways: for directly proving theorems, and as theorem-proving support for application-specific verification systems. HOL is currently being applied to a wide variety of problems, including the specification and verification of critical systems. Introduction to HOL provides a coherent and self-contained description of HOL containing both a tutorial introduction and most of the material that is needed for day-to-day work with the system. After a quick overview that gives a "hands-on feel" for the way HOL is used, there follows a detailed description of the ML language. The logic that HOL supports and how this logic is embedded in ML, are then described in detail. This is followed by an explanation of the theorem-proving infrastructure provided by HOL. Finally two appendices contain a subset of the reference manual, and an overview of the HOL library, including an example of an actual library documentation.


Introduction to HOL Related Books

Introduction to HOL
Language: en
Pages: 472
Authors: Michael J. C. Gordon
Categories: Computers
Type: BOOK - Published: 1993 - Publisher:

GET EBOOK

Higher-Order Logic (HOL) is a proof development system intended for applications to both hardware and software. It is principally used in two ways: for directly
Theorem Proving in Higher Order Logics
Language: en
Pages: 408
Authors: Klaus Schneider
Categories: Computers
Type: BOOK - Published: 2007-08-28 - Publisher: Springer Science & Business Media

GET EBOOK

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern,
Theorem Proving in Higher Order Logics
Language: en
Pages: 517
Authors: Stefan Berghofer
Categories: Computers
Type: BOOK - Published: 2009-08-20 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germa
Theorem Proving in Higher Order Logics
Language: en
Pages: 356
Authors: Elsa L. Gunter
Categories: Computers
Type: BOOK - Published: 1997-08-06 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill,
Interactive Theorem Proving
Language: en
Pages: 505
Authors: Matt Kaufmann
Categories: Computers
Type: BOOK - Published: 2010-06-30 - Publisher: Springer Science & Business Media

GET EBOOK

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic fo