Constraint-Based Linear-Relations Analysis
Abstract elided by the publisher.
783 papers · page 26 of 40
Closed and Logical Relations for Over- and Under-Approximation of Powersets
Abstract elided by the publisher.
Injecting Life with Computers
Abstract elided by the publisher.
Program Generators and the Tools to Make Them
Abstract elided by the publisher.
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract elided by the publisher.
Abstract Interpretation of Combinational Asynchronous Circuits
Abstract elided by the publisher.
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract elided by the publisher.
Pointer-Range Analysis
Abstract elided by the publisher.
Computer-Assisted Verification of a Protocol for Certified Email
Abstract elided by the publisher.
Precise Widening Operators for Convex Polyhedra
Abstract elided by the publisher.
A Logic for Analyzing Abstractions of Graph Transformation Systems
Abstract elided by the publisher.
Modular Class Analysis with DATALOG
Abstract elided by the publisher.
Checking Interference with Fractional Permissions
Abstract elided by the publisher.
Message Analysis for Concurrent Languages
Abstract elided by the publisher.
Stack Size Analysis for Interrupt-Driven Programs
Abstract elided by the publisher.
Code Compaction of Matching Single-Entry Multiple-Exit Regions
Abstract elided by the publisher.
Static Analysis of Accessed Regions in Recursive Data Structures
Abstract elided by the publisher.
Precise Analysis of String Expressions
We perform static analysis of Java programs to answer a simple question: which values may occur as results of string expressions? The answers are summarized for each expression by a regular language that is guaranteed to contain all possible values. We present several application…
Typestate Verification: Abstraction Techniques and Complexity Results
Abstract elided by the publisher.
Client-Driven Pointer Analysis
Abstract elided by the publisher.