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:31 - 2 self

Documents Related by Co-Citation

113 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
31 A Statically Allocated Parallel Functional Language – Alan Mycroft, Richard Sharp - 2000
120 Proving the correctness of reactive systems using sized types – John Hughes, Lars Pareto, Amr Sabry - 1996
71 Hume: A Domain-Specific Language for Real-Time Embedded Systems – Kevin Hammond, Greg Michaelson - 2003
247 LUSTRE: A declarative language for programming synchronous systems – P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice - 1987
21 A Tutorial on Lava: A Hardware Description and Verification System – Koen Claessen, Mary Sheeran - 2000
6 Behavioural synthesis of a parallel hardware jpeg decoder from a functitonal specification – J Hawkins, A Abdallah - 2002
141 The ESTEREL language – F Boussinot, R De Simone - 1991
50 Synthesis of Digital Designs from Recursion Equations – Steven D Johnson - 1984
43 Observable sharing for functional circuit description – Koen Claessen, David Sands - 1999
25 A Reflective Functional Language for Hardware Design and Theorem Proving – Jim Grundy, Tom Melham, John O'leary - 2003
22 From transistors to computer architecture: Teaching functional circuit specification in hydra – John O'Donnell - 1995
14 Predictable Space Behaviour in FSM-Hume – Kevin Hammond, Greg Michaelson - 2003
8 Cost Inference and Analysis for Recursive Functional Programs – P B Vasconcelos - 2006
43 Signal: A declarative language for synchronous programming of real-time systems – T Gautier, P L Guernic, L Besnard - 1987
7 Extending a Functional Programming System for Embedded Applications – Malcolm Wallace, Colin Runciman - 1995
21 Inductively Defined Functions in Functional Programming Languages”, LFCS – R Burstall - 1987
43 Elementary strong functional programming – D. A. Turner, Canterbury Ct Nf - 1995
24 A sized time system for a parallel functional language – Hans-wolfgang Loidl, Kevin Hammond - 2003