Lava
From MaRDI portal
Lava Q40357
Cited in
(20)- Combining deep and shallow embedding of domain-specific languages
- A formal equational theory for call-by-push-value
- Coquet
- Nikola
- Proof producing synthesis of arithmetic and cryptographic hardware
- CHStone
- Coquet: a Coq library for verifying hardware
- Syntactic
- reFLect
- Feldspar
- muFP
- Copperhead
- Traced Premonoidal Categories
- -Ware: hardware description and verification in Agda
- Semantics of value recursion for Monadic Input/Output
- A language for hierarchical data parallel design-space exploration on GPUs
- Trident
- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
- A hardware independent parallel programming model
- Verification of FPGA layout generators in higher-order logic
This page was built for software: Lava
