This book presents the refereed proceedings of the Sixth International Conference on Compiler Construction, CC '96, held in Linköping, Sweden in April 1996.
The 23 revised full papers included were selected from a total of 57 submissions; also included is an invited paper by William Waite entitled "Compiler Construction: Craftsmanship or Engineering?". The book reports the state of the art in the area of theoretical foundations and design of compilers; among the topics addressed are program transformation, software pipelining, compiler optimization, program analysis, program inference, partial evaluation, implementational aspects, and object-oriented compilers.
Author(s): Jian Wang, Guang R. Gao (auth.), Tibor Gyimóthy (eds.)
Series: Lecture Notes in Computer Science 1060
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 360
Tags: Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Software Engineering; Artificial Intelligence (incl. Robotics)
Pipelining-dovetailing: A transformation to enhance software pipelining for nested loops....Pages 1-16
A comparison of modulo scheduling techniques for software pipelining....Pages 18-32
Removing anti dependences by repairing....Pages 33-43
Controlled Node Splitting....Pages 44-58
Aggressive loop unrolling in a retargetable, optimizing compiler....Pages 59-73
Generalized Constant Propagation a study in C....Pages 74-90
Structuring decompiled graphs....Pages 91-105
Non-monotone fixpoint iterations to resolve second order effects....Pages 106-118
How to uniformly specify program analysis and transformation with graph rewrite systems....Pages 121-135
Points-to analysis by type inference of programs with structures and unions....Pages 136-150
Compiler construction: Craftsmanship or engineering?....Pages 151-159
Code generation = A * + BURS....Pages 160-176
A compiler for natural semantics....Pages 177-191
Abstract compilation: A new implementation paradigm for static analysis....Pages 192-207
Using partial evaluation in support of portability, reusability, and maintainability....Pages 208-222
Incremental computation of static single assignment form....Pages 223-237
Efficient storage reuse of aggregates in single assignment languages....Pages 238-252
Effective representation of aliases and indirect memory operations in SSA form....Pages 253-267
Maptool — supporting modular syntax development....Pages 268-280
A faster Earley parser....Pages 281-293
One-pass, optimal tree parsing — With or without trees....Pages 294-306
Compact dispatch tables for dynamically typed object oriented languages....Pages 309-325
Delegating compiler objects....Pages 326-340
A parallel debugger with support for distributed arrays, multiple executables and dynamic processes....Pages 341-355
