Browsing College of Engineering (MU) by Thesis Advisor "Harrison, William L."
Now showing items 1-3 of 3
-
Device-level composition in ReWire
(University of Missouri--Columbia, 2015)[ACCESS RESTRICTED TO THE UNIVERSITY OF MISSOURI AT REQUEST OF AUTHOR.] ReWire provides engineers with a tool to specify, verify and implement hardware devices for FPGAs from a high-level Haskell-like language. Previous ... -
Mechanizing the metatheory of rewire
(University of Missouri--Columbia, 2019)The [lambda]-calculus provides a simple, well-established framework for research in functional programming languages that readily lends itself to the use offormal methods--that is, the use of mathematically sound techniques ... -
Semantics-driven design and implementation of high-assurance hardware
(University of Missouri--Columbia, 2014)