Safety versus Secrecy
Abstract elided by the publisher.
783 papers · page 33 of 40
Static Analysis of Mega-Programs
Abstract elided by the publisher.
Decomposing Non-redundant Sharing by Complementation
Abstract elided by the publisher.
Improving Control in Functional Logic Program Specialization
Abstract elided by the publisher.
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation
Abstract elided by the publisher.
Directional Type Inference for Logic Programs
Abstract elided by the publisher.
Finite Subtype Inference with Explicit Polymorphism
Abstract elided by the publisher.
Analysis of Normal Logic Programs
Abstract elided by the publisher.
A Tutorial on Domain Theory in Abstract Interpretation
Abstract elided by the publisher.
Building Complete Abstract Interpretations in a Linear Logic-based Setting
Abstract elided by the publisher.
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing
Abstract elided by the publisher.
A New Solution to the Hidden Copy Problem
Abstract elided by the publisher.
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines
Abstract elided by the publisher.
Refining Static Analyses by Trace-Based Partitioning Using Control Flow
Abstract elided by the publisher.
The Correctness of Set-Sharing
Abstract elided by the publisher.
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses
Abstract elided by the publisher.
Certifying, Optimizing Compilation (Abstract)
Abstract elided by the publisher.
On the Power of Homeomorphic Embedding for Online Termination
Abstract elided by the publisher.
A Symbolic Semantics for Abstract Model Checking
Abstract elided by the publisher.
Analysis of Imperative Programs through Analysis of Constraint Logic Programs
Abstract elided by the publisher.