## Lem: Reusable engineering of real-world semantics

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming

ICFP '14

Gothenburg, Sweden

Association for Computing Machinery

New York, NY, USA

Pages 175-188

2014

Note(s): Coq theorem prover, Isabelle theorem prover

ICFP '14

Gothenburg, Sweden

Association for Computing Machinery

New York, NY, USA

Pages 175-188

2014

Note(s): Coq theorem prover, Isabelle theorem prover