CC 1994
29 papers
- A Portable and Optimizing Back End for the SML/NJ Compiler
- A Practical Approach to the Symbolic Debugging of Parallelized Code
- A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter
- Action Transformations in the ACTRESS Compiler Generator
- Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k)
- An Overview of Door Attribute Grammars
- Compile Time Instruction Cache Optimizations
- Compiling Nested Loops for Limited Connectivity VLIWs
- Cosy Compiler Phase Embedding with the CoSy Compiler Model
- Coupling Evaluators for Attribute Coupled Grammars
- Delayed Exceptions - Speculative Execution of Trapping Instructions
- Developing Efficient Interpreters Based on Formal Language Specifications
- Efficient Organization of Control Structures in Distributed Implementations
- Flow Grammars - a Flow Analysis Methodology
- Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification
- Global Code Selection of Directed Acyclic Graphs
- Implementing 2DT on a Multiprocessor
- Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks
- Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model
- OASIS: An Optimizing Action-Based Compiler Generator
- On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs
- Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler
- Provable Correctness of Prototype Interpreters in LDL
- Reducing the Cost of Data Flow Analysis By Congruence Partitioning
- Solving Demand Versions of Interprocedural Analysis Problems
- Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler
- Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language
- Towards the Global Optimization of Functional Logic Programs
- Transport-Triggering versus Operation-Triggering