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