Abstract is missing.
- Incremental Computation of Dominator TreesVugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee. 1-12
- A Correspondence between Continuation Passing Style and Static Single Assignment FormRichard Kelsey. 13-23
- GURRR: A Global Unified Resource Requirements RepresentationDavid A. Berson, Rajiv Gupta, Mary Lou Soffa. 23-34
- A Simple Graph-Based Intermediate RepresentationCliff Click, Michael Paleczny. 35-49
- Optimizing Sparse Representations for Dataflow AnalysisErik Ruf. 50-61
- Sparse Functional Stores for Imperative ProgramsBjarne Steensgaard. 62-70
- XIL and YIL: The Intermediate Languages of TOBEYKevin O Brien, Kathryn M. O Brien, Martin Hopkins, Arvin Shepherd, Ronald C. Unrau. 71-82
- GC: the Data-Flow Graph Format of Synchronous ProgrammingPascal Aubry, Thierry Gautier. 83-93
- Rationalized Three Instruction MachineSachin V. Chitnis, Manoranjan Satpathy, Sundeep Oberoi. 94-102
- Verification of ANDF ComponentsFrédéric Broustaut, Christian Fabre, François de Ferrière, Éric Ivanov, Mauro Fiorentini. 103-110
- Java Intermediate BytecodeJames Gosling. 111-118
- Clarity MCode: A Retargetable Intermediate Representation for CompilationBrian T. Lewis, L. Peter Deutsch, Theodore C. Goldstein. 119-128