Cartesian Factoring of Polyhedra in Linear Relation Analysis
Abstract elided by the publisher.
783 papers · page 27 of 40
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor)
Abstract elided by the publisher.
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
Abstract elided by the publisher.
Existential Heap Abstraction Entailment Is Undecidable
Abstract elided by the publisher.
Inserting Safe Memory Reuse Commands into ML-Like Programs
Abstract elided by the publisher.
Type Systems for Distributed Data Sharing
Abstract elided by the publisher.
Class-Level Modular Analysis for Object Oriented Languages
Abstract elided by the publisher.
Craig Interpolation and Reachability Analysis
Abstract elided by the publisher.
Selective Tail Call Elimination
Abstract elided by the publisher.
Abstract Interpretation of Programs as Markov Decision Processes
Abstract elided by the publisher.
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
Abstract elided by the publisher.
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management
Abstract elided by the publisher.
Instantaneous Termination in Pure Esterel
Abstract elided by the publisher.
Continuation-Based Partial Evaluation without Continuations
Abstract elided by the publisher.
Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications
Abstract elided by the publisher.
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
Abstract elided by the publisher.
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
Abstract elided by the publisher.
From Secrecy to Authenticity in Security Protocols
Abstract elided by the publisher.
Reuse of Results in Termination Analysis of Typed Logic Programs
Abstract elided by the publisher.
An Improved Constraint-Based System for the Verification of Security Protocols
Abstract elided by the publisher.