Logic and Computation: Interactive Proof with Cambridge LCF

Authors:
Lawrence C. Paulson
Affiliations:
-
Venue:
Logic and Computation: Interactive Proof with Cambridge LCF
Year:
1990

Citing 0
Cited 3

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
An Isabelle-like procedural mode for HOL light

LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Software engineering as the design theoretic transformation of software problems

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher:This study of techniques for formal theorem-proving focuses on the applications of Cambridge LCF (Logic for Computable Functions), a computer program for reasoning about computation.