Static single information form for abstract compilation

DOI10.1007/978-3-642-33475-7_2MaRDI QIDQ2915156zbMATH OpenOpenAlexFDO

Authors Davide Ancona, Giovanni Lagorio

Publication date 21 September 2012

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

Full work available at URL https://doi.org/10.1007/978-3-642-33475-7_2

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1728236
• Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
• Abstract Interpretation Plugins for Type Systems
• scientific article; zbMATH DE number 1617324
• A verifiable SSA program representation for aggressive compiler optimization

Cited in

(1)

• Static single assignment form for massage-passing programs

This page was built for publication: Static single information form for abstract compilation

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