Lem

swMATH9395MaRDI QIDQ21378FDOQ21378

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-22863-6_27

Described by source

• Lem: reusable engineering of real-world semantics

Cited In (5)

• An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
• TSOTool
• Haskabelle
• TSL
• Lem: a lightweight tool for heavyweight semantics

This page was built for software: Lem