TSL

MaRDI QIDQ55278swMATHFDO

Official website https://dl.acm.org/doi/10.1145/2450136.2450139

Cited in

(8)

• Improved tool support for machine-code decompilation in HOL4
• An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
• CoqJVM
• Lem
• TSOTool
• GDSL
• WALi
• A new abstraction framework for affine transformers

This page was built for software: TSL