Generalized Dominators for Structured Programs
Abstract elided by the publisher.
783 papers · page 36 of 40
Cache Behavior Prediction by Abstract Interpretation
Abstract elided by the publisher.
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language
Abstract elided by the publisher.
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling
Abstract elided by the publisher.
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile
Abstract elided by the publisher.
Termination Analysis for Partial Functions
Abstract elided by the publisher.
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation
Abstract elided by the publisher.
Refinement Types for Program Analysis
Abstract elided by the publisher.
A Comparison of Three Occur-Check Analysers
Abstract elided by the publisher.
Analysis of the Equality Relations for the Program Terms
Abstract elided by the publisher.
An Even Faster Solver for General Systems of Equations
Abstract elided by the publisher.
Inferring Program Specifications in Polynomial-Time
Abstract elided by the publisher.
STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation
Abstract elided by the publisher.
Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs
Abstract elided by the publisher.
Automated Modular Termination Proofs for Real Prolog Programs
Abstract elided by the publisher.
PAN - The Prolog Analyzer
Abstract elided by the publisher.
Semantics-Directed Program Analysis: A Tool-Maker's Perspective
Abstract elided by the publisher.
Data-Flow-Based Virtual Function Resolution
Abstract elided by the publisher.
Compiling Laziness Using Projections
Abstract elided by the publisher.
Optimized Algorithms for Incremental Analysis of Logic Programs
Global analysis of logic programs can be performed effectively by the use of one of several existing efficient algorithms. However, the traditional global analysis scheme in which all the program code is known in advance and no previous analysis information is available is unsati…