Static Analyses of the Precision of Floating-Point Operations
Abstract elided by the publisher.
783 papers · page 30 of 40
Using Slicing to Identify Duplication in Source Code
Abstract elided by the publisher.
Applications of Extended Static Checking
Abstract elided by the publisher.
An Abstract Interpretation Framework for Analysing Mobile Ambients
Abstract elided by the publisher.
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
Abstract elided by the publisher.
Solving Regular Tree Grammar Based Constraints
Abstract elided by the publisher.
Parameterizing a Groundness Analysis of Logic Programs
Abstract elided by the publisher.
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
Abstract elided by the publisher.
An Abstract Analysis of the Probabilistic Termination of Programs
Abstract elided by the publisher.
Security-Typed Languages and Distributed Computation
Abstract elided by the publisher.
A Behavioral Module System for the Pi-Calculus
Abstract elided by the publisher.
Analysis of Multithreaded Programs
Abstract elided by the publisher.
Language-Based Security: What's Needed and Why
Abstract elided by the publisher.
Soft Scheduling for Hardware
Abstract elided by the publisher.
Embedding Chaos
Abstract elided by the publisher.
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
Abstract elided by the publisher.
Static Analysis and Software Assurance
Abstract elided by the publisher.
Parametric Optimization of Open Real-Time Systems
Abstract elided by the publisher.
Abstract Interpretation Based Semantics of Sequent Calculi
Abstract elided by the publisher.
A Transformational Approach for Generating Non-linear Invariants
Abstract elided by the publisher.