Skip to main content
Springer Nature Link
Log in

Static Analysis

11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Roberto Giacobazzi

    1. Dipartimento di Informatica, Università di Verona, Verona, Italy

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

Included in the following conference series:

Conference proceedings info: SAS 2004.

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
$34.99 /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 USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Injecting Life with Computers

      • Ehud Shapiro
      Pages 1-1

    2. The Blast Query Language for Software Verification

      • Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
      Pages 2-18

    3. Program Generators and the Tools to Make Them

      • Yannis Smaragdakis
      Pages 19-20

    4. Towards Declarative Programming for Web Services

      • Sheila McIlraith
      Pages 21-21

  3. Program and System Verification

    1. Closed and Logical Relations for Over- and Under-Approximation of Powersets

      • David A. Schmidt
      Pages 22-37

    2. Completeness Refinement in Abstract Symbolic Trajectory Evaluation

      • Mila Dalla Preda
      Pages 38-52

    3. Constraint-Based Linear-Relations Analysis

      • Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
      Pages 53-68

    4. Spatial Analysis of BioAmbients

      • Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
      Pages 69-83

  4. Security and Safety

    1. Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language

      • Qi Sun, Anindya Banerjee, David A. Naumann
      Pages 84-99

    2. Information Flow Analysis in Logical Form

      • Torben Amtoft, Anindya Banerjee
      Pages 100-115

    3. Type Inference Against Races

      • Cormac Flanagan, Stephen N. Freund
      Pages 116-132

  5. Pointer Analysis

    1. Pointer-Range Analysis

      • Suan Hsi Yong, Susan Horwitz
      Pages 133-148

    2. A Scalable Nonuniform Pointer Analysis for Embedded Programs

      • Arnaud Venet
      Pages 149-164

    3. Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis

      • Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
      Pages 165-180

  6. Abstract Interpretation and Algorithms

    1. Abstract Interpretation of Combinational Asynchronous Circuits

      • Sarah Thompson, Alan Mycroft
      Pages 181-196

    2. Static Analysis of Gated Data Dependence Graphs

      • Charles Hymans, Eben Upton
      Pages 197-211

    3. A Polynomial-Time Algorithm for Global Value Numbering

      • Sumit Gulwani, George C. Necula
      Pages 212-227

  7. Shape Analysis

    1. Quantitative Shape Analysis

      • Radu Rugina
      Pages 228-245

    2. A Relational Approach to Interprocedural Shape Analysis

      • Bertrand Jeannet, Alexey Loginov, Thomas Reps, Mooly Sagiv
      Pages 246-264
Back to top

Other volumes

  1. Static Analysis

Editors and Affiliations

  • Dipartimento di Informatica, Università di Verona, Verona, Italy

    Roberto Giacobazzi

Bibliographic Information

Publish with us

Policies and ethics

Back to top