Microprocessor Specification in Hawk (1998)
by
John Matthews
,
Byron Cook
,
John Launchbury
| Venue: | In Proceedings of the 1998 International Conference on Computer Languages |
| Citations: | 29 - 2 self |
Document Versions
| Microprocessor Specification in Hawk –John Matthews, Byron Cook, John Launchbury — 1998 — In Proceedings of the 1998 International Conference on Computer Languages |
| Microprocessor specification in Hawk –John Matthews, Byron Cook, John Launchbury — 1998 — In Proceedings of the 1998 International Conference on Computer Languages (1998), IEEE Computer |
