ViDoC - Visual Design of Optimizing Compilers

DOI10.1007/978-3-540-71322-7_7MaRDI QIDQ3593072zbMATH OpenOpenAlexWikidataFDO

Authors Tiziana Margaria, Oliver Rüthing, Bernhard Steffen

Publication date 24 September 2007

Published in Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71322-7_7

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Computer Aided Verification
• Specification, verification and prototyping of an optimized compiler
• scientific article; zbMATH DE number 1418459
• Adaptive optimizing compilers for the 21st century
• Graph layout for applications in compiler construction

This page was built for publication: ViDoC - Visual Design of Optimizing Compilers

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