Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings > Interprocedural Analysis with Lazy Propagation
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings |
Radhia Cousot; Matthieu Martel
Springer Berlin Heidelberg
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Interprocedural Analysis with Lazy Propagation
Authors

Simon Holm Jensen; Anders Møller; Peter Thiemann

ARI Id

1674219813310_3422207

Access

Not Available Free

Pages

320-339

DOI

10.1007/978-3-642-15769-1_20

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-15769-1_20

Table of Contents of Book
Showing 1 to 20 of 30 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Time of Time
E. Allen Emerson
1-1
Static Verification for Code Contracts
Manuel Fähndrich
2-5
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework
Benjamin Goldberg
6-21
Size-Change Termination and Transition Invariants
Matthias Heizmann; Neil D. Jones; Andreas Podelski
22-50
Using Static Analysis in Space: Why Doing so?
David Lesens
51-70
Statically Inferring Complex Heap, Array, and Numeric Invariants
Bill McCloskey; Thomas Reps; Mooly Sagiv
71-99
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
Elvira Albert; Puri Arenas; Samir Genaim; German Puebla; Diana Vanessa Ramírez Deantes
100-116
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Christophe Alias; Alain Darte; Paul Feautrier; Laure Gonnord
117-133
Deriving Numerical Abstract Domains via Principal Component Analysis
Gianluca Amato; Maurizio Parton; Francesca Scozzari
134-150
Concurrent Separation Logic for Pipelined Parallelization
Christian J. Bell; Andrew W. Appel; David Walker
151-166
Automatic Abstraction for Intervals Using Boolean Formulae
Jörg Brauer; Andy King
167-183
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables
Alexandre Chapoutot
184-200
A Shape Analysis for Non-linear Data Structures
Renato Cherini; Lucas Rearte; Javier Blanco
201-217
Modelling Metamorphism by Abstract Interpretation
Mila Dalla Preda; Roberto Giacobazzi; Saumya Debray; Kevin Coogan; Gregg M. Townsend
218-235
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
Isil Dillig; Thomas Dillig; Alex Aiken
236-252
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
Azadeh Farzan; Zachary Kincaid
253-270
Computing Relaxed Abstract Semantics w. r. t. Quadratic Zones Precisely
Thomas Martin Gawlitza; Helmut Seidl
271-286
Boxes: A Symbolic Abstract Domain of Boxes
Arie Gurfinkel; Sagar Chaki
287-303
Alternation for Termination
William R. Harris; Akash Lal; Aditya V. Nori; Sriram K. Rajamani
304-319
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 30 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings