Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers
Abstract elided by the publisher.
673 papers · page 28 of 34
An Extended Static Checker for Modular-3
Abstract elided by the publisher.
A New Fast Algorithm for Optimal Register Allocation in Modulo Scheduled Loops
Abstract elided by the publisher.
Local Stack Allocation
Abstract elided by the publisher.
A New Approach to Control Flow Analysis
Abstract elided by the publisher.
Analysis of Loops
Abstract elided by the publisher.
Storage Allocation Strategies for Recursive Attributes Evaluators
Abstract elided by the publisher.
Flow Logics for Constraint Based Analysis
Abstract elided by the publisher.
Portable Debugging and Profiling
Abstract elided by the publisher.
Intermodular Slicing of Object-oriented Programs
Abstract elided by the publisher.
VLIW Compilation Techniques for Superscalar Architectures
Abstract elided by the publisher.
How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems
Abstract elided by the publisher.
Delegating Compiler Objects: An Object-Oriented Approach to Crafting Compilers
Conventional compilers often are large entities that are highly complex, difficult to maintain and hard to reuse. In this article it is argued that this is due to the inherently functional approach to compiler construction. An alternative approach to compiler construction is prop…
Abstract Compilation: A New Implementation Paradigm for Static Analysis
Abstract elided by the publisher.
Incremental Computation of Static Single Assignment Form
Abstract elided by the publisher.
Effective Representation of Aliases and Indirect Memory Operations in SSA Form
Abstract elided by the publisher.
Structuring Decompiled Graphs
A structuring algorithm for arbitrary control flow graphs is presented. Graphs are structured into functional, semantical and structural equivalent graphs, without code replication or introduction of new variables. The algorithm makes use of a set of generic high-level language s…
Aggressive Loop Unrolling in a Retargetable Optimizing Compiler
Abstract elided by the publisher.
Removing Anti Dependences by Repairing
Abstract elided by the publisher.
A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes
Abstract elided by the publisher.