TSL

swMATH39578MaRDI QIDQ55278FDOQ55278

Author name not available (Why is that?)

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