Search for dissertations about: "Koen Lindström Claessen"
Found 2 swedish dissertations containing the words Koen Lindström Claessen.
-
1. An embedded language approach to hardware description and verification
Abstract : .... READ MORE
-
2. Embedded Languages for Describing and Verifying Hardware
Abstract : Lava is a system for designing, specifying, verifying and implementing hardware. It is embedded in the functional programming language Haskell, which means that hardware descriptions are first-class objects in Haskell. READ MORE
Result pages:
1