Sökning: "Koen Claessen"

Hittade 2 avhandlingar innehållade orden Koen Claessen.

1. 1. An embedded language approach to hardware description and verification

   Författare :Koen Lindström Claessen; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : .... LÄS MER

3. 2. Embedded Languages for Describing and Verifying Hardware

   Författare :Koen Lindström Claessen; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; specification languages; formal verification; synchronous hardware description; functional programming; embedded languages;

   Sammanfattning : 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. LÄS MER