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

parsingruntime systemsabstract syntaxdataflow analysislexical analysisinstruction selectionintermediate representations

Mathematics Subject Classification ID

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

Cited in

(13)

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

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)