Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
Abstract elided by the publisher.
783 papers · page 32 of 40
Binding-Time Analysis for Both Static and Dynamic Expressions
Abstract elided by the publisher.
Polyhedral Analysis for Synchronous Languages
Abstract elided by the publisher.
State Space Reduction Based on Live Variables Analysis
Abstract elided by the publisher.
Abstract Animator for Temporal Specifications: Application to TLA
Abstract elided by the publisher.
Equational Semantics
Abstract elided by the publisher.
Abstract Interpretation of Mobile Ambients
Abstract elided by the publisher.
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
Abstract elided by the publisher.
Freeness Analysis Through Linear Refinement
Abstract elided by the publisher.
Dynamic Partitioning in Analyses of Numerical Properties
Abstract elided by the publisher.
A New Class of Functions for Abstract Interpretation
Abstract elided by the publisher.
Eliminating Dead Code on Recursive Data
Abstract elided by the publisher.
Binary Decision Graphs
Abstract elided by the publisher.
On the Complexity Analysis of Static Analyses
Abstract elided by the publisher.
Abstracting Cryptographic Protocols with Tree Automata
Abstract elided by the publisher.
Model-Checking: A Tutorial Introduction
Abstract elided by the publisher.
Detecting Equalities of Variables: Combining Efficiency with Precision
Abstract elided by the publisher.
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis
Abstract elided by the publisher.
Translating Out of Static Single Assignment Form
Abstract elided by the publisher.
Partial Dead Code Elimination Using Extended Value Graph
Abstract elided by the publisher.