5. CC 1994: Edinburgh, U.K.

Peter Fritzson (Ed.): Compiler Construction, 5th International Conference, CC'94, Edinburgh, U.K., April 7-9, 1994, Proceedings. Lecture Notes in Computer Science 786 Springer 1994, ISBN 3-540-57877-3

Semantics Specification I

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

Functional Languages

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

Optimization I

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

Static Analysis & Abstract Interpretation

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

Semantics Specification II

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

Mixed Topics

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

Parallelization

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

Data-Flow Analysis

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

Optimization II

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

Last update Sat May 18 18:12:47 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page