The following pages link to Lava (Q40357):
Displaying 11 items.
- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL (Q541222) (← links)
- A hardware independent parallel programming model (Q843208) (← links)
- Verification of FPGA layout generators in higher-order logic (Q877830) (← links)
- Combining deep and shallow embedding of domain-specific languages (Q1749137) (← links)
- A formal equational theory for call-by-push-value (Q1791198) (← links)
- Proof producing synthesis of arithmetic and cryptographic hardware (Q2642982) (← links)
- Coquet: A Coq Library for Verifying Hardware (Q3100217) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- (Q4580232) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- A language for hierarchical data parallel design-space exploration on GPUs (Q5371962) (← links)
