Programming Language - HOL

HOL

HOL - Higher Order Logic. A proof-generating system for higher order logic
based on LCF. "HOL: A Machine Oriented Formulation of Higher Order Logic",
M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985). "Introduction to
HOL", M.J.C. Gordon et al, Cambridge U Press 1993 ISBN 0-521-441897
HOL-88 built on ML, from Mike Gordon
ftp://ted.cs.uidaho.edu/pub/hol
list: info-hol@ted.cs.uidaho.edu
HOL-90 built on SML/NJ, from Brian Graham
ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z for Sun 4
list: info-hol@clover.ucdavis.edu

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

0 plus 2? *   Robot Spam Prevention

 

Next Language:   Honeywell-800 Business Compiler

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z