SAS 1998
23 papers
- A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs
- A New Solution to the Hidden Copy Problem
- A Symbolic Semantics for Abstract Model Checking
- A Tutorial on Domain Theory in Abstract Interpretation
- Analysis of Imperative Programs through Analysis of Constraint Logic Programs
- Analysis of Normal Logic Programs
- Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses
- Automatic Determination of Communication Topologies in Mobile Systems
- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality
- Building Complete Abstract Interpretations in a Linear Logic-based Setting
- Certifying, Optimizing Compilation (Abstract)
- Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation
- Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing
- Directional Type Inference for Logic Programs
- Enabling Sparse Constant Propagation of Array Elements via Array SSA Form
- Finite Subtype Inference with Explicit Polymorphism
- Improving Control in Functional Logic Program Specialization
- On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines
- On the Power of Homeomorphic Embedding for Online Termination
- Program Analysis as Model Checking of Abstract Interpretations
- Refining Static Analyses by Trace-Based Partitioning Using Control Flow
- Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis
- The Correctness of Set-Sharing