Robustly safe compilation

DOI10.1007/978-3-030-17184-1_17MaRDI QIDQ6070794zbMATH OpenFDO

Authors Marco Patrignani, Deepak Garg

Publication date 24 November 2023

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17184-1_17

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Fully Abstract and Robust Compilation
• Modular, fully-abstract compilation by approximate back-translation
• Fully abstract compilation via universal embedding
• Securing a compiler transformation
• Fully-abstract compilation by approximate back-translation

Cited in

(1)

• scientific article; zbMATH DE number 2100547 (Why is no real title available?)

This page was built for publication: Robustly safe compilation

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