Effective Specialization of Realistic Programs via Use Sensitivity
Abstract elided by the publisher.
783 papers · page 35 of 40
Type-Based Analysis of Communication for Concurrent Programming Languages
Abstract elided by the publisher.
Type-Directed Flow Analysis for Typed Intermediate Languages
Abstract elided by the publisher.
Combining Abstract Interpretation and Partial Evaluation (Brief Overview)
Abstract elided by the publisher.
Static Analysis of Interaction Nets for Distributed Implementations
Abstract elided by the publisher.
Abstract Interpretation: A Theory of Approximate Computation
Abstract elided by the publisher.
Exact Flow Analysis
Abstract elided by the publisher.
TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language
Abstract elided by the publisher.
On Sparse Evaluation Representations
Abstract elided by the publisher.
Practical Compile-Time Analysis
Abstract elided by the publisher.
Logical Optimality of Groundness Analysis
Abstract elided by the publisher.
The Effects of the Precision of Pointer Analysis
Abstract elided by the publisher.
Termination Analysis for Mercury
Abstract elided by the publisher.
Set-Based Analysis for Logic Programming and Tree Automata
Abstract elided by the publisher.
Data Dependence as Abstract Interpretations
Abstract elided by the publisher.
Coalescing Conditional Branches into Efficient Indirect Jumps
Abstract elided by the publisher.
Fast and Effective Procedure Inlining
Abstract elided by the publisher.
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs
Abstract elided by the publisher.
Denotational Abstract Interpretation of Functional Logic Programs
Abstract elided by the publisher.
Constraint-Based Program Analysis (Abstract)
Abstract elided by the publisher.