Peter Fritzson
Proceedings of the Fifth International Conference on Compiler Construction
CC, 1994.

@proceedings{CC-1994,
	address       = "Edinburgh, Scotland, United Kingdom",
	editor        = "Peter Fritzson",
	isbn          = "3-540-57877-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth International Conference on Compiler Construction}",
	volume        = 786,
	year          = 1994,
}

Contents (29 items)

8 ×#compilation
5 ×#optimisation
4 ×#performance
3 ×#analysis
3 ×#generative
3 ×#implementation
2 ×#array
2 ×#attribute grammar
2 ×#data flow
2 ×#dependence

CC-1994-Orbaek #compilation #generative #named #optimisation

OASIS: An Optimizing Action-Based Compiler Generator (PØ), pp. 1–15.

CC-1994-MouraW #compilation #generative

Action Transformations in the ACTRESS Compiler Generator (HM, DAW), pp. 16–60.

CC-1994-Hedin #attribute grammar #overview

An Overview of Door Attribute Grammars (GH), pp. 31–51.

CC-1994-RousselPJ #attribute grammar

Coupling Evaluators for Attribute Coupled Grammars (GR, DP, MJ), pp. 52–67.

CC-1994-Hanus #functional #logic programming #optimisation #source code #towards

Towards the Global Optimization of Functional Logic Programs (MH), pp. 68–82.

CC-1994-GeorgeGR #compilation #optimisation

A Portable and Optimizing Back End for the SML/NJ Compiler (LG, FG, JHR), pp. 83–97.

CC-1994-HogenL #distributed #implementation #performance

Efficient Organization of Control Structures in Distributed Implementations (GH, RL), pp. 98–112.

CC-1994-Ben-AsherRWS #2d #implementation #multi

Implementing 2DT on a Multiprocessor (YBA, GR, RW, AS), pp. 113–127.

CC-1994-FauthHKM #graph

Global Code Selection of Directed Acyclic Graphs (AF, GH, AK, CM), pp. 128–142.

CC-1994-SlowikPP #compilation

Compiling Nested Loops for Limited Connectivity VLIWs (AS, GP, PP), pp. 143–157.

CC-1994-ErtlK #exception #execution

Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.

CC-1994-JanssensS #abstract interpretation #constraints #implementation #logic programming #on the #source code

On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs (GJ, WS), pp. 172–187.

CC-1994-CheathamGS #analysis #interpreter #tool support

A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter (TC, HG, DCS), pp. 188–202.

CC-1994-UhlH #analysis

Flow Grammars — a Flow Analysis Methodology (JSU, RNH), pp. 203–217.

CC-1994-LammelR #correctness #prototype

Provable Correctness of Prototype Interpreters in LDL (RL, GR), pp. 218–232.

CC-1994-Poetzsch-Heffter #formal method #performance #specification

Developing Efficient Interpreters Based on Formal Language Specifications (APH), pp. 233–247.

CC-1994-RingstromFP #compilation #generative #parallel #performance #specification

Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification (JR, PF, MP), pp. 248–262.

CC-1994-ParrQ #ll #semantics

Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k) (TJP, RWQ), pp. 263–277.

CC-1994-AltAS #compilation

Cosy Compiler Phase Embedding with the CoSy Compiler Model (MA, UA, HvS), pp. 278–293.

CC-1994-FranzleM #code generation #programming language #realtime #towards

Towards Provably Correct Code Generation for a Hard Real-Time Programming Language (MF, MMO), pp. 294–308.

CC-1994-JustianiH #array #c #compilation #dependence #optimisation #testing

Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.

CC-1994-BenkerBZ #array #compilation #fortran #interface #performance

Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler (SB, PB, HPZ), pp. 324–338.

CC-1994-PineoS #approach #debugging

A Practical Approach to the Symbolic Debugging of Parallelized Code (PPP, MLS), pp. 339–356.

CC-1994-DuesterwaldGS #clustering #congruence #cost analysis #data flow

Reducing the Cost of Data Flow Analysis By Congruence Partitioning (ED, RG, MLS), pp. 357–373.

CC-1994-Binkley #constant #data flow #dependence #graph #interprocedural #using

Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model (DB), pp. 374–388.

CC-1994-Reps #analysis #interprocedural #problem

Solving Demand Versions of Interprocedural Analysis Problems (TWR), pp. 389–403.

CC-1994-MendlsonPS #optimisation

Compile Time Instruction Cache Optimizations (AM, SSP, RS), pp. 404–418.

CC-1994-MahadevanR #framework #scheduling

Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks (UM, SR), pp. 419–434.

CC-1994-HoogerbruggeC

Transport-Triggering versus Operation-Triggering (JH, HC), pp. 435–449.