Compiler Design

DOI10.1007/978-3-642-17548-0zbMath1257.68004OpenAlexW4230059447MaRDI QIDQ5892586

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

Publication date: 23 June 2011

Full work available at URL: https://doi.org/10.1007/978-3-642-17548-0

zbMATH Keywords

functional languagesstatic analysisprogram transformationcompiler designmonotone frameworks

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (5)

Relational string abstract domains ⋮ Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation ⋮ Weighted tree automata with constraints ⋮ Demand-driven interprocedural analysis for map-based abstract domains ⋮ Automatic proofs of memory deallocation for a Whiley-to-C compiler

This page was built for publication: Compiler Design