Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Static Analysis

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Radhia Cousot

    1. Départment d’Informatique, École normale supérieure, Paris cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Matthieu Martel

    1. ELIAUS-DALI Laboratory, Université de Perpignan Via Domitia, Perpignan cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • Fast conference proceedings
  • State-of-the-art report

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6337)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAS 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Time of Time

    • E. Allen Emerson
    Pages 1-1

  3. Static Verification for Code Contracts

    • Manuel Fähndrich
    Pages 2-5

  4. Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework

    • Benjamin Goldberg
    Pages 6-21

  5. Size-Change Termination and Transition Invariants

    • Matthias Heizmann, Neil D. Jones, Andreas Podelski
    Pages 22-50

  6. Using Static Analysis in Space: Why Doing so?

    • David Lesens
    Pages 51-70

  7. Statically Inferring Complex Heap, Array, and Numeric Invariants

    • Bill McCloskey, Thomas Reps, Mooly Sagiv
    Pages 71-99

  8. 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
    Pages 100-116

  9. Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs

    • Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
    Pages 117-133

  10. Deriving Numerical Abstract Domains via Principal Component Analysis

    • Gianluca Amato, Maurizio Parton, Francesca Scozzari
    Pages 134-150

  11. Concurrent Separation Logic for Pipelined Parallelization

    • Christian J. Bell, Andrew W. Appel, David Walker
    Pages 151-166

  12. Automatic Abstraction for Intervals Using Boolean Formulae

    • Jörg Brauer, Andy King
    Pages 167-183

  13. Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables

    • Alexandre Chapoutot
    Pages 184-200

  14. A Shape Analysis for Non-linear Data Structures

    • Renato Cherini, Lucas Rearte, Javier Blanco
    Pages 201-217

  15. Modelling Metamorphism by Abstract Interpretation

    • Mila Dalla Preda, Roberto Giacobazzi, Saumya Debray, Kevin Coogan, Gregg M. Townsend
    Pages 218-235

  16. Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

    • Isil Dillig, Thomas Dillig, Alex Aiken
    Pages 236-252

  17. Compositional Bitvector Analysis for Concurrent Programs with Nested Locks

    • Azadeh Farzan, Zachary Kincaid
    Pages 253-270

  18. Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely

    • Thomas Martin Gawlitza, Helmut Seidl
    Pages 271-286

  19. Boxes: A Symbolic Abstract Domain of Boxes

    • Arie Gurfinkel, Sagar Chaki
    Pages 287-303

  20. Alternation for Termination

    • William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
    Pages 304-319
Back to top

Other volumes

  1. Static Analysis

Editors and Affiliations

  • Départment d’Informatique, École normale supérieure, Paris cedex, France

    Radhia Cousot

  • ELIAUS-DALI Laboratory, Université de Perpignan Via Domitia, Perpignan cedex, France

    Matthieu Martel

Bibliographic Information

Publish with us

Policies and ethics

Back to top