Executing Higher Order Logic
- 14 February 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- More Church–Rosser ProofsJournal of Automated Reasoning, 2001
- Computer-Aided ReasoningPublished by Springer Science and Business Media LLC ,2000
- Lazy Infinite-State Analysis of Security ProtocolsLecture Notes in Computer Science, 1999
- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem ProvingLecture Notes in Computer Science, 1999
- Machine-Checking the Java Specification: Proving Type-SafetyPublished by Springer Science and Business Media LLC ,1999
- The inductive approach to verifying cryptographic protocolsJournal of Computer Security, 1998
- Executing formal specifications by translation to higher order logic programmingPublished by Springer Science and Business Media LLC ,1997
- Synthesis of ML programs in the system CoqJournal of Symbolic Computation, 1993
- Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order LogicPublished by Elsevier BV ,1993
- Logic programming in the LF logical frameworkPublished by Cambridge University Press (CUP) ,1991