swMATH28643MaRDI QIDQ40357FDOQ40357
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=291251.289440
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
- A formal equational theory for call-by-push-value
- Feldspar
- Syntactic
- reFLect
- muFP
- Copperhead
- Trident
- 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
