Lem
From MaRDI portal
Publication:2819676
DOI10.1145/2628136.2628143zbMath1346.68123OpenAlexW2003556922MaRDI QIDQ2819676
Peter Sewell, Kathryn E. Gray, Scott Owens, Dominic P. Mulligan, Thomas Ridge
Publication date: 29 September 2016
Published in: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2628136.2628143
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Verification-Led Smart Contracts ⋮ An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model ⋮ Lem
Uses Software
This page was built for publication: Lem