Skip to main content
SpringerLink
Log in

Static Analysis

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Radhia Cousot

    1. École Polytechnique, STIX, Palaiseau cedex, France

    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 2694)

Included in the following conference series:

Conference proceedings info: SAS 2003.

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 (27 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Static Analysis of Object-Oriented Languages

    1. Precise Analysis of String Expressions

      • Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
      Pages 1-18

    2. Modular Class Analysis with DATALOG

      • Frédéric Besson, Thomas Jensen
      Pages 19-36

    3. Class-Level Modular Analysis for Object Oriented Languages

      • Francesco Logozzo
      Pages 37-54

  3. Static Analysis of Concurrent Languages

    1. Checking Interference with Fractional Permissions

      • John Boyland
      Pages 55-72

    2. Message Analysis for Concurrent Languages

      • Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson
      Pages 73-90

    3. Instantaneous Termination in Pure Esterel

      • Olivier Tardieu, Robert de Simone
      Pages 91-108

    4. Stack Size Analysis for Interrupt-Driven Programs

      • Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
      Pages 109-126

  4. Invited Paper

    1. Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)

      • Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
      Pages 127-152

  5. Static Analysis of Functional Languages

    1. Selective Tail Call Elimination

      • Yasuhiko Minamide
      Pages 153-170

    2. Inserting Safe Memory Reuse Commands into ML-Like Programs

      • Oukseh Lee, Hongseok Yang, Kwangkeun Yi
      Pages 171-188

  6. Static Analysis of Procedural Languages

    1. Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis

      • Thomas Reps, Stefan Schwoon, Somesh Jha
      Pages 189-213

    2. Client-Driven Pointer Analysis

      • Samuel Z. Guyer, Calvin Lin
      Pages 214-236

    3. Abstract Interpretation of Programs as Markov Decision Processes

      • David Monniaux
      Pages 237-254

  7. Static Data Analysis

    1. A Logic for Analyzing Abstractions of Graph Transformation Systems

      • Paolo Baldan, Barbara König, Bernhard König
      Pages 255-272

    2. Type Systems for Distributed Data Sharing

      • Ben Liblit, Alex Aiken, Katherine Yelick
      Pages 273-294

    3. Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations

      • Ted Kremenek, Dawson Engler
      Pages 295-315

    4. Computer-Assisted Verification of a Protocol for Certified Email

      • Martín Abadi, Bruno Blanchet
      Pages 316-335

  8. Invited Talk

    1. Craig Interpolation and Reachability Analysis

      • Ken L. McMillan
      Pages 336-336

  9. Static Linear Relation Analysis

    1. Precise Widening Operators for Convex Polyhedra

      • Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
      Pages 337-354
Back to top

Other volumes

  1. Static Analysis

Keywords

Editors and Affiliations

  • École Polytechnique, STIX, Palaiseau cedex, France

    Radhia Cousot

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation