Z and HOL (1994)

Cached

Download Links

by Jonathan P. Bowen , Michael J. C. Gordon , Mike Gordon

Active Bibliography

Z and HOL – Jonathan Bowen, Mike Gordon
25 Towards Correct Executable Semantics For Z – Peter T. Breuer, Jonathan P. Bowen - 1994
5 Using formal specifications in the acquisition of information systems: Educating information systems professionals – Paul A. Swatman - 1993
8 A Mechanized Theory of the pi-calculus in HOL – T. F. Melham - 1992
5 A Comparative Study of Coq and HOL – Vincent Zammit - 1997
39 Experience with embedding hardware description languages in HOL – Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel - 1992
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 - 2012
The HOL System LOGIC Preface – unknown authors - 2012
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
The HOL System DESCRIPTION Preface – unknown authors - 2009
The HOL System DESCRIPTION Preface – unknown authors - 2011
A Prototype Generic Tool Supporting The Embedding . . . – Andrew M Gravell, Chris H Pratten - 1998
5 Machine-Assisted Theorem-Proving for Software Engineering – Andrew Martin - 1994
24 A Logic for Object-Z – Graeme Smith - 1994
A Comparison – Antoni Diller, Rosemary Docherty, Antoni Diller, Rosemary Docherty - 1994
68 The Theory of LEGO - A Proof Checker for the Extended Calculus of Constructions – Robert Pollack - 1994
A Hardware Combinator For Tree-Shaped Circuits – Annette Bunker - 1998