Compiling an Haskell EDSL to C: A new C back-end for the Copilot runtime verification framework

DSpace/Manakin Repository

 
 
See more statistics about this item