The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques.
This volume contains the papers selected for presentation at CC '94, the fifth International Conference on Compiler Construction, held in Edinburgh, U.K., in April 1994.
Author(s): Peter Ørbæk (auth.), Peter A. Fritzson (eds.)
Series: Lecture Notes in Computer Science 786
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 460
Tags: Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Software Engineering; Artificial Intelligence (incl. Robotics)
OASIS: An optimizing action-based compiler generator....Pages 1-15
Action transformations in the actress compiler generator....Pages 16-30
An overview of door attribute grammars....Pages 31-51
Coupling evaluators for attribute coupled grammars....Pages 52-67
Towards the global optimization of functional logic programs....Pages 68-82
A portable and optimizing back end for the SML/NJ compiler....Pages 83-97
Efficient organization of control structures in distributed implementations....Pages 98-112
Implementing 2DT on a multiprocessor....Pages 113-127
Global code selection for directed acyclic graphs....Pages 128-142
Compiling nested loops for limited connectivity VLIWs....Pages 143-157
Delayed exceptions — Speculative execution of trapping instructions....Pages 158-171
On the implementation of abstract interpretation systems for (constraint) Logic Programs....Pages 172-187
A suite of analysis tools based on a general purpose abstract interpreter....Pages 188-202
Flow grammars — a flow analysis methodology....Pages 203-217
Provable correctness of prototype interpreters in LDL....Pages 218-232
Developing efficient interpreters based on formal language specifications....Pages 233-247
Generating an efficient compiler for a data parallel language from a denotational specification....Pages 248-262
Adding semantic and syntactic predicates to LL(k): pred-LL(k) ....Pages 263-277
Cosy compiler phase embedding with the CoSy compiler model....Pages 278-293
Towards provably correct code generation for a hard real-time programming language....Pages 294-308
Supporting array dependence testing for an optimizing/parallelizing C compiler....Pages 309-323
Processing array statements and procedure interfaces in the PREPARE high performance fortran compiler....Pages 324-338
A practical approach to the symbolic debugging of parallelized code....Pages 339-356
Reducing the cost of data flow analysis by congruence partitioning....Pages 357-373
Interprocedural constant propagation using dependence graphs and a data-flow model....Pages 374-388
Solving demand versions of interprocedural analysis problems....Pages 389-403
Compile time instruction cache optimizations....Pages 404-418
Instruction scheduling over regions: A framework for scheduling across basic blocks....Pages 419-434
Transport-triggering vs. operation-triggering....Pages 435-449
