IR 1995 Workshop:
San Francisco California
Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95),
San Francisco,
CA,
January 22,
1995 (POPL 1995 Workshop),
SIGPLAN Notices 30(3),
March 1995
- Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee:
Incremental Computation of Dominator Trees.
1-12 BibTeX
- Richard Kelsey:
A Correspondence between Continuation Passing Style and Static Single Assignment Form.
13-23 BibTeX
- David A. Berson, Rajiv Gupta, Mary Lou Soffa:
GURRR: A Global Unified Resource Requirements Representation.
23-34 BibTeX
- Cliff Click, Michael Paleczny:
A Simple Graph-Based Intermediate Representation.
35-49 BibTeX
- Erik Ruf:
Optimizing Sparse Representations for Dataflow Analysis.
50-61 BibTeX
- Bjarne Steensgaard:
Sparse Functional Stores for Imperative Programs.
62-70 BibTeX
- Kevin O'Brien, Kathryn M. O'Brien, Martin Hopkins, Arvin Shepherd, Ronald C. Unrau:
XIL and YIL: The Intermediate Languages of TOBEY.
71-82 BibTeX
- Pascal Aubry, Thierry Gautier:
GC: the Data-Flow Graph Format of Synchronous Programming.
83-93 BibTeX
- Sachin V. Chitnis, Manoranjan Satpathy, Sundeep Oberoi:
Rationalized Three Instruction Machine.
94-102 BibTeX
- Frédéric Broustaut, Christian Fabre, François de Ferrière, Éric Ivanov, Mauro Fiorentini:
Verification of ANDF Components.
103-110 BibTeX
- James Gosling:
Java Intermediate Bytecode.
111-118 BibTeX
- Brian T. Lewis, L. Peter Deutsch, Theodore C. Goldstein:
Clarity MCode: A Retargetable Intermediate Representation for Compilation.
119-128 BibTeX
Copyright © Sat May 16 23:24:40 2009
by Michael Ley (ley@uni-trier.de)