A Comparative Study of Coq and HOL (1997)

Cached

Download Links

by Vincent Zammit
Venue:In Gunter and Felty [GF97
Citations:5 - 1 self

Documents Related by Co-Citation

505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
420 B.: Digital Integrated Circuits: A Design Perspective, 2nd edn – J M Rabaey, A Chanadrakasan, Nikolic - 2003
365 Formal Methods: State of the Art and Future Directions – Edmund M. Clarke, Jeannette M. Wing - 1996
347 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
286 Interpretation fonctionelle et elimination des coupures de l'arithmetique d'ordre superieur – Jean-Yves Girard - 1972
267 Program development by stepwise refinement – N Wirth - 1971
269 Constructive mathematics and computer programming – P Martin-Löf - 1982
262 Programming in Martin-Lof type theory: an introduction – Bengt Nordstrom, Kent Petersson, Jan M Smith - 1990
218 Specification and Design of Embedded Systems – D D Gajski, F Vahid, S Narayan, J Gong - 1994