Modern Compiler Implementation in Java

DOI10.1017/CBO9780511811432MaRDI QIDQ4406527zbMATH OpenOpenAlexFDO

Authors Andrew W. Appel

Publication date 25 June 2003

Full work available at URL https://doi.org/10.1017/cbo9780511811432

zbMATH Keywords

abstract syntaxdataflow analysisinstruction selectionintermediate representationslexical analysisparsingruntime systems

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)

Cited in

(15)

• Efficient static checker for tainted variable attacks
• Introduction to compiler design
• JastAdd -- an aspect-oriented compiler construction system.
• Memory-optimal evaluation of expression trees involving large objects
• Issues in compiling
• A pattern for almost compositional functions
• Traces of Control-Flow Graphs
• scientific article; zbMATH DE number 1235120 (Why is no real title available?)
• scientific article; zbMATH DE number 1027561 (Why is no real title available?)
• scientific article; zbMATH DE number 1756146 (Why is no real title available?)
• A Fast Verified Liveness Analysis in SSA Form
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language
• Security types preserving compilation
• Aliased register allocation for straight-line programs is NP-complete

This page was built for publication: Modern Compiler Implementation in Java

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