HOL98 Draft User's Manual - Athabasca Release - Version 2 (1999)

Cached

Download Links

by Konrad Slind
Citations:3 - 0 self

Active Bibliography

1 Correct Code-Generation in a Generic Framework – Burkhart Wolff, Thomas Meyer - 2000
16 Towards Self-verification of HOL Light – John Harrison - 2006
2 Providing a Formal Linkage between MDG and HOL – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2002
Providing a Formal Linkage between MDG Verification System and HOL Proof System – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2003
Formalizing abstraction mechanisms . . . – Thomas Frederick Melham - 1990
The HOL System LOGIC Preface – unknown authors - 2010
The HOL System DESCRIPTION Preface – unknown authors - 2010
The HOL System LOGIC Preface – unknown authors - 2009
The HOL System DESCRIPTION Preface – unknown authors - 2009
The HOL System DESCRIPTION Preface – unknown authors - 2011
The HOL System DESCRIPTION Preface – unknown authors - 2012
The HOL System LOGIC Preface – unknown authors - 2012
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
Desiderata for Interactive Verification Systems – Konrad Slind, Christian Prehofer - 1994
1 HOL Light Tutorial (for version 2.20). http://www.cl.cam.ac.uk/ jrh13/hol-light/tutorial 220.pdf – John Harrison
12 An Overview of A Formal Framework For Managing Mathematics – William M. Farmer, Martin V. Mohrenschildt - 2003
N.G. de Bruijn’s Contribution to the Formalization of Mathematics – Herman Geuvers, Rob Nederpelt
23 Formalized mathematics – John Harrison - 1996
9 HOL Light Tutorial (for version 2.20 – John Harrison - 2006