Fast Strictness Analysis Via Symbolic Fixpoint Iteration
Abstract elided by the publisher.
783 papers · page 39 of 40
Estimating the Computational Cost of Logic Programs
Information about the computational cost of programs is potentially useful for a variety of purposes, including selecting among different algorithms, guiding program transformations, in granularity control and mapping decisions in parallelizing compilers, and query optimization i…
Uniqueness and Completeness Analysis of Array Comprehensions
Abstract elided by the publisher.
The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization
Abstract elided by the publisher.
Generating Transformers for Deforestation and Supercompilation
Abstract elided by the publisher.
Generalized Boxings, Congruences and Partial Inlining
Abstract elided by the publisher.
Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information
Logic programming systems which exploit and-parallelism among non-deterministic goals rely on notions of independence among those goals in order to ensure certain efficiency properties. “Non-strict” independence (NSI) is a more relaxed notion than the traditional notion of “stric…
About Synchronous Programming and Abstract Interpretation
Abstract elided by the publisher.
Verification of Linear Hybrid Systems by Means of Convex Approximations
Abstract elided by the publisher.
A Type-based Framework for Program Analysis
Abstract elided by the publisher.
Mode Analysis of Functional Logic Programs
Abstract elided by the publisher.
From Processor Timing Specifications to Static Intruction Scheduling
Abstract elided by the publisher.
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Abstract elided by the publisher.
Efficient Strictness Analysis of Haskell
Abstract elided by the publisher.
Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration
Abstract elided by the publisher.
Mechanical Elimination of Commutative Redundancy
Abstract elided by the publisher.
Extended Analysis of Data Fields
Abstract elided by the publisher.
Abstract Interpretation Using TDGs
Abstract elided by the publisher.
Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation
Abstract elided by the publisher.
Strictness and Totality Analysis
Abstract elided by the publisher.