( (author:[Matthews, John])) - Search Results - OHSU

Go to main content

Search:

Search Tips :: Advanced Search

1.	PDF csetech-113 Elementary microarchitecture algebra: top-level proof of pipelined microarchitecture Matthews, John cse-99-002 1999 \| Article \| Detailed record - Similar records
2.	PDF 107_etd Algebraic specification and verification of processor microarchitectures Matthews, John ; Launchbury, John The Hawk language is a domain-specific extension of the pure functional language Haskell, and is used to specify and reason about processor microarchitectures [...] 2000 \| Dissertation \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.