Static Single Information Form for Abstract Compilation

DOI10.1007/978-3-642-33475-7_2zbMath1362.68037OpenAlexW163888416MaRDI QIDQ2915156

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

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

This page was built for publication: Static Single Information Form for Abstract Compilation