5. CC 1994: Edinburgh, U.K.

Semantics Specification I

• Peter Ørbæk: OASIS: An Optimizing Action-Based Compiler Generator. 1-15 BibTeX
• Hermano Moura, David A. Watt: Action Transformations in the ACTRESS Compiler Generator. 16-60 BibTeX
• Görel Hedin: An Overview of Door Attribute Grammars. 31-51 BibTeX
• Gilles Roussel, Didier Parigot, Martin Jourdan: Coupling Evaluators for Attribute Coupled Grammars. 52-67 BibTeX

Functional Languages

• Michael Hanus: Towards the Global Optimization of Functional Logic Programs. 68-82 BibTeX , ->ALF
• Lal George, Florent Guillame, John H. Reppy: A Portable and Optimizing Back End for the SML/NJ Compiler. 83-97 BibTeX
• Guido Hogen, Rita Loogen: Efficient Organization of Control Structures in Distributed Implementations. 98-112 BibTeX
• Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster: Implementing 2DT on a Multiprocessor. 113-127 BibTeX

Optimization I

• Andreas Fauth, Günter Hommel, Alois Knoll, Carsten Müller: Global Code Selection of Directed Acyclic Graphs. 128-142 BibTeX
• Adrian Slowik, Georg Piepenbrock, Peter Pfahler: Compiling Nested Loops for Limited Connectivity VLIWs. 143-157 BibTeX
• M. Anton Ertl, Andreas Krall: Delayed Exceptions - Speculative Execution of Trapping Instructions. 158-171 BibTeX

Static Analysis & Abstract Interpretation

• Gerda Janssens, Wim Simoens: On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. 172-187 BibTeX
• Thomas Cheatham, Haiming Gao, Dan C. Stefanescu: A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter. 188-202 BibTeX
• James S. Uhl, R. Nigel Horspool: Flow Grammars - a Flow Analysis Methodology. 203-217 BibTeX

Semantics Specification II

• Ralf Lämmel, Günter Riedewald: Provable Correctness of Prototype Interpreters in LDL. 218-232 BibTeX
• Arnd Poetzsch-Heffter: Developing Efficient Interpreters Based on Formal Language Specifications. 233-247 BibTeX
• Johan Ringström, Peter Fritzson, Mikael Pettersson: Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. 248-262 BibTeX

Mixed Topics

• Terence John Parr, Russell W. Quong: Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k). 263-277 BibTeX
• Martin Alt, Uwe Aßmann, Hans van Someren: Cosy Compiler Phase Embedding with the CoSy Compiler Model. 278-293 BibTeX
• Martin Fränzle, Markus Müller-Olm: Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. 294-308 BibTeX

Parallelization

• Justiani, Laurie J. Hendren: Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler. 309-323 BibTeX
• Siegfried Benkner, Peter Brezany, Hans P. Zima: Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler. 324-338 BibTeX
• Patricia Prather Pineo, Mary Lou Soffa: A Practical Approach to the Symbolic Debugging of Parallelized Code. 339-356 BibTeX

Data-Flow Analysis

• Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: Reducing the Cost of Data Flow Analysis By Congruence Partitioning. 357-373 BibTeX
• David Binkley: Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. 374-388 BibTeX
• Thomas W. Reps: Solving Demand Versions of Interprocedural Analysis Problems. 389-403 BibTeX

Optimization II

• Abraham Mendlson, Shlomit S. Pinter, Ruth Shtokhamer: Compile Time Instruction Cache Optimizations. 404-418 BibTeX
• Uma Mahadevan, Sridhar Ramakrishnan: Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks. 419-434 BibTeX
• Jan Hoogerbrugge, Henk Corporaal: Transport-Triggering versus Operation-Triggering. 435-449 BibTeX