Using Recursive Types to Reason about Hardware in Higher Order Logic (1988)

Cached

Download Links

by Thomas Melham
Citations:19 - 1 self

Documents Related by Co-Citation

857 A formulation of the simple theory of types – Alonzo Church - 1940
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
481 Automata on Infinite Objects – W THOMAS - 1990
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
4064 Computer Architecture: A Quantitative Approach, 4th Edition – J L Hennessy, D Patterson - 2006
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1119 Temporal and modal logic – E. Allen Emerson - 1995
1311 Symbolic Model Checking – K McMillan - 1993