Skip to main content
SpringerLink
Log in
Book cover

Static Analysis

9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Manuel V. Hermenegildo

    1. Department of Computer Science Facultad de Informática, Technical University of Madrid, Boadilla del Monte, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Germán Puebla

    1. Department of Computer Science Facultad de Informática, Technical University of Madrid, Boadilla del Monte, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: SAS 2002.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

Table of contents (35 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Static Program Analysis via 3-Valued Logic

    • Thomas Reps
    Pages 1-1

  3. Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges

    • Robert J. Hall
    Pages 2-2

  4. An Algebraic Approach to the Static Analysis of Concurrent Software

    • Javier Esparza
    Pages 3-3

  5. Polynomial Constants Are Decidable

    • Markus Müller-Olm, Helmut Seidl
    Pages 4-19

  6. Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi

    • Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
    Pages 20-35

  7. Nonuniform Alias Analysis of Recursive Data Structures and Arrays

    • Arnaud Venet
    Pages 36-51

  8. Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes

    • B. Jeannet
    Pages 52-68

  9. Automated Verification of Concurrent Linked Lists with Counters

    • Tuba Yavuz-Kahveci, Tevfik Bultan
    Pages 69-84

  10. Backward Type Inference Generalises Type Checking

    • Lunjin Lu, Andy King
    Pages 85-101

  11. More Precise Yet Efficient Type Inference for Logic Programs

    • Claudio Vaucheret, Francisco Bueno
    Pages 102-116

  12. A Few Graph-Based Relational Numerical Abstract Domains

    • Antoine Miné
    Pages 117-132

  13. Static Analysis of the Numerical Stability of Loops

    • Matthieu Martel
    Pages 133-150

  14. On Termination of Logic Programs with Floating Point Computations

    • Alexander Serebrenik, Danny De Schreye
    Pages 151-164

  15. Modular Control Flow Analysis for Libraries

    • Christian W. Probst
    Pages 165-179

  16. An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages

    • John Whaley, Monica S. Lam
    Pages 180-195

  17. Compactly Representing First-Order Structures for Static Analysis

    • R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv
    Pages 196-212

  18. Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library

    • Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill
    Pages 213-229

  19. Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis

    • Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle et al.
    Pages 230-246

  20. Improving the Precision of Equality-Based Dataflow Analyses

    • Erik Ruf
    Pages 247-262
Back to top

Other volumes

  1. Static Analysis

Keywords

Editors and Affiliations

  • Department of Computer Science Facultad de Informática, Technical University of Madrid, Boadilla del Monte, Madrid, Spain

    Manuel V. Hermenegildo, Germán Puebla

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation