You have Guest access.
Log In
María Alpuente and Germán Vidal
Front matter
1-17
Transforming Abstract Interpretations by Abstract Interpretation New Challenges in Language-Based Security
18-31
Reflections on the Role of Static Analysis in Cooperative Bug Isolation
32-46
Relational Analysis of Correlation
47-61
Convex Hull of Arithmetic Automata
62-77
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
78-92
Protocol Inference Using Static Path Profiles
93-109
Solving Multiple Dataflow Queries Using WPDSs
110-127
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
128-143
Typing Linear Constraints for Moding CLP( Â{\cal R}) Programs
144-158
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
159-173
Modal Abstractions of Concurrent Behaviour
174-188
Hiding Software Watermarks in Loop Structures
189-204
Inferring Min and Max Invariants Using Max-Plus Polyhedra
205-220
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
221-237
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
238-254
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
255-269
Flow Analysis, Linearity, and PTIME
270-282
Quantum Entanglement Analysis Based on Abstract Interpretation
283-298
Language Strength Reduction
299-314
Analysing All Polynomial Equations in \mathbb Z2w{\mathbb Z_{2^w}}
315-331
Splitting the Control Flow with Boolean Flags
332-346
Reasoning about Control Flow in the Presence of Transient Faults
347-362
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
363-377
Heap Decomposition for Concurrent Shape Analysis
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info