Reducing the Cost of Data Flow Analysis By Congruence Partitioning
Abstract elided by the publisher.
673 papers · page 30 of 34
Delayed Exceptions - Speculative Execution of Trapping Instructions
Abstract elided by the publisher.
Global Code Selection of Directed Acyclic Graphs
Abstract elided by the publisher.
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language
Abstract elided by the publisher.
A Portable and Optimizing Back End for the SML/NJ Compiler
Abstract elided by the publisher.
Towards the Global Optimization of Functional Logic Programs
Abstract elided by the publisher.
An Overview of Door Attribute Grammars
Abstract elided by the publisher.
Efficient Organization of Control Structures in Distributed Implementations
Abstract elided by the publisher.
Transport-Triggering versus Operation-Triggering
Abstract elided by the publisher.
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs
Abstract elided by the publisher.
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler
Abstract elided by the publisher.
Provable Correctness of Prototype Interpreters in LDL
Abstract elided by the publisher.
Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks
Abstract elided by the publisher.
Compile Time Instruction Cache Optimizations
Abstract elided by the publisher.
Action Transformations in the ACTRESS Compiler Generator
Abstract elided by the publisher.
OASIS: An Optimizing Action-Based Compiler Generator
Action Semantics is a new and interesting foundation for semantics based compiler generation. In this paper we present several analyses of actions, and apply them in a compiler generator capable of generating efficient, optimizing compilers for procedural and functional languages…
Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k)
Abstract elided by the publisher.
A Practical Approach to the Symbolic Debugging of Parallelized Code
Abstract elided by the publisher.
Developing Efficient Interpreters Based on Formal Language Specifications
Abstract elided by the publisher.
Solving Demand Versions of Interprocedural Analysis Problems
Abstract elided by the publisher.