Design-driven compilation

DOI10.1007/3-540-45306-7_11MaRDI QIDQ2764071zbMATH OpenFDO

Authors Radu Rugina, Martin C. Rinard

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2027/20270150

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• From Verification to Optimizations
• Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
• Types for Proofs and Programs
• Supporting verification-driven incremental distributed design of components
• An algebraic approach to compiler design

Cited in

(1)

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

This page was built for publication: Design-driven compilation

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