Lem: reusable engineering of real-world semantics

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell. Lem: reusable engineering of real-world semantics. In Johan Jeuring, Manuel M. T. Chakravarty, editors, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. pages 175-188, ACM, 2014. [doi]

Abstract

Abstract is missing.