Microprocessor Specification in Hawk (1998)

Cached

Download Links

by John Matthews , Byron Cook , John Launchbury
Venue:In Proceedings of the 1998 International Conference on Computer Languages
Citations:33 - 2 self

Documents Related by Co-Citation

118 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
4064 Computer Architecture: A Quantitative Approach, 4th Edition – J L Hennessy, D Patterson - 2006
509 Synthesis and Optimization of Digital Circuits – G De Micheli - 1994
815 The Temporal Logic of Actions – Leslie Lamport - 1993
1318 Monads for functional programming – Philip Wadler - 1995
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999