Static Program Analysis via 3-Valued Logic
Abstract elided by the publisher.
783 papers · page 29 of 40
Improving the Precision of Equality-Based Dataflow Analyses
Abstract elided by the publisher.
Securing Communication in a Concurrent Language
Abstract elided by the publisher.
On Termination of Logic Programs with Floating Point Computations
Abstract elided by the publisher.
More Precise Yet Efficient Type Inference for Logic Programs
Type analyses of logic programs which aim at inferring the types of the program being analyzed are presented in a unified abstract interpretation-based framework. This covers most classical abstract interpretation-based type analyzers for logic programs, built on either top-down …
Guaranteed Optimization: Proving Nullspace Properties of Compilers
Abstract elided by the publisher.
Nonuniform Alias Analysis of Recursive Data Structures and Arrays
Abstract elided by the publisher.
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages
Abstract elided by the publisher.
Automated Verification of Concurrent Linked Lists with Counters
Abstract elided by the publisher.
Security Typings by Abstract Interpretation
Abstract elided by the publisher.
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract elided by the publisher.
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
Abstract elided by the publisher.
Abstracting Cryptographic Protocols by Prolog Rules
Abstract elided by the publisher.
Analyzing Fair Parametric Extended Automata
Abstract elided by the publisher.
Estimating the Impact of Scalable Pointer Analysis on Optimization
Abstract elided by the publisher.
Cleanness Checking of String Manipulations in C Programs via Integer Analysis
Abstract elided by the publisher.
Abstract Interpretation-Based Static Analysis of Mobile Ambients
We use Abstract Interpretation to automatically prove safety properties of mobile ambients with name communications. We introduce a non-standard semantics in order to distinguish different recursive instances of agents. This allows us to specify explicitly both the link between a…
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking
Abstract elided by the publisher.
Effective Strictness Analysis with HORN Constraints
Abstract elided by the publisher.
A Type and Effect Analysis of Security Protocols
Abstract elided by the publisher.