Deriving Parallel Codes via Invariants
Abstract elided by the publisher.
783 papers · page 31 of 40
Safety of Strictness Analysis via Term Graph Rewriting
Abstract elided by the publisher.
Checking Cleanness in Linked Lists
Abstract elided by the publisher.
Confidentiality Analysis of Mobile Systems
We propose an abstract interpretation-based analysis for automatically detecting all potential interactions between the agents of a part of a mobile system, without much knowledge about the rest of it.
Unified Analysis of Array and Object References in Strongly Typed Languages
Abstract elided by the publisher.
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
Abstract elided by the publisher.
Efficient Inference of Static Types for Java Bytecode
Abstract elided by the publisher.
Abstract Interpretation of Game Properties
Abstract elided by the publisher.
Enforcing Design Constraints with Object Logic
Abstract elided by the publisher.
FULLDOC: A Full Reporting Debugger for Optimized Code
Abstract elided by the publisher.
Partial Redundancy Elimination on Predicated Code
Abstract elided by the publisher.
TVLA: A System for Implementing Static Analyses
Abstract elided by the publisher.
Tree Schemata and Fair Termination
Abstract elided by the publisher.
Abstract Interpretation of Probabilistic Semantics
Abstract elided by the publisher.
Code Specialization Based on Value Profiles
Abstract elided by the publisher.
Model Checking as Constraint Solving
Abstract elided by the publisher.
Flattening Is an Improvement
Abstract elided by the publisher.
Model Checking Guided Abstraction and Analysis
Abstract elided by the publisher.
Abstract Domains for Sharing Analysis by Optimal Semantics
Abstract elided by the publisher.
Concurrency Analysis for Java
Abstract elided by the publisher.