Skip to main content
SpringerLink
Log in
Book cover

Static Analysis

15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. María Alpuente
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Germán Vidal
    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 5079)

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

Included in the following conference series:

Conference proceedings info: SAS 2008.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Transforming Abstract Interpretations by Abstract Interpretation

      • Roberto Giacobazzi, Isabella Mastroeni
      Pages 1-17

    2. Reflections on the Role of Static Analysis in Cooperative Bug Isolation

      • Ben Liblit
      Pages 18-31

  3. Contributed Papers

    1. Relational Analysis of Correlation

      • Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
      Pages 32-46

    2. Convex Hull of Arithmetic Automata

      • Jérôme Leroux
      Pages 47-61

    3. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors

      • Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett
      Pages 62-77

    4. Protocol Inference Using Static Path Profiles

      • Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan
      Pages 78-92

    5. Solving Multiple Dataflow Queries Using WPDSs

      • Akash Lal, Thomas Reps
      Pages 93-109

    6. Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA

      • Prakash Prabhu, Priti Shankar
      Pages 110-127

    7. Typing Linear Constraints for Moding CLP(\({\cal R}\)) Programs

      • Salvatore Ruggieri, Fred Mesnard
      Pages 128-143

    8. On Polymorphic Recursion, Type Systems, and Abstract Interpretation

      • Marco Comini, Ferruccio Damiani, Samuel Vrech
      Pages 144-158

    9. Modal Abstractions of Concurrent Behaviour

      • Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
      Pages 159-173

    10. Hiding Software Watermarks in Loop Structures

      • Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini
      Pages 174-188

    11. Inferring Min and Max Invariants Using Max-Plus Polyhedra

      • Xavier Allamigeon, Stéphane Gaubert, Éric Goubault
      Pages 189-204

    12. Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors

      • Peter Lammich, Markus Müller-Olm
      Pages 205-220

    13. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

      • Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
      Pages 221-237

    14. SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement

      • Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivančić, Ou Wei, Aarti Gupta
      Pages 238-254

    15. Flow Analysis, Linearity, and PTIME

      • David Van Horn, Harry G. Mairson
      Pages 255-269

    16. Quantum Entanglement Analysis Based on Abstract Interpretation

      • Simon Perdrix
      Pages 270-282

    17. Language Strength Reduction

      • Nicholas Kidd, Akash Lal, Thomas Reps
      Pages 283-298
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation