On Jones-Optimal Specializers: A Case Study Using Unmix

DOI10.1007/11924661_25MaRDI QIDQ5385609zbMATH OpenOpenAlexFDO

Authors Johan Gade, Robert Glück

Publication date 6 May 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11924661_25

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• An investigation of Jones optimality and BTI-universal specializers
• scientific article; zbMATH DE number 2080288
• scientific article; zbMATH DE number 1956563
• scientific article; zbMATH DE number 1538028
• scientific article; zbMATH DE number 1738299

Cited in

(3)

• An investigation of Jones optimality and BTI-universal specializers
• scientific article; zbMATH DE number 1738299 (Why is no real title available?)
• Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation

This page was built for publication: On Jones-Optimal Specializers: A Case Study Using Unmix

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5385609)