Lem

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

zbMATH Keywords

specification languagesproof assistantsLemreal-world semantics

Mathematics Subject Classification ID

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

• Coq
• Isabelle/HOL
• OCaml
• HOL Light
• CakeML
• Haskabelle
• LaTeX

This page was built for publication: Lem