Lava
From MaRDI portal
Software:40357
No author found.
Related Items (11)
Semantics of value recursion for Monadic Input/Output ⋮ A hardware independent parallel programming model ⋮ Proof producing synthesis of arithmetic and cryptographic hardware ⋮ Verification of FPGA layout generators in higher-order logic ⋮ A language for hierarchical data parallel design-space exploration on GPUs ⋮ Combining deep and shallow embedding of domain-specific languages ⋮ A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL ⋮ A formal equational theory for call-by-push-value ⋮ Unnamed Item ⋮ Traced Premonoidal Categories ⋮ Coquet: A Coq Library for Verifying Hardware
This page was built for software: Lava
