Skip to main content
SpringerLink
Log in

Static Analysis

12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Chris Hankin

    1. Department of Computing, Imperial College London,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Igor Siveroni

    1. Department of Computing, Imperial College London, London, UK

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

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

Included in the following conference series:

Conference proceedings info: SAS 2005.

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 Talks

    1. Algorithmic Game Semantics and Static Analysis

      • Samson Abramsky
      Pages 1-1

    2. From Typed Process Calculi to Source-Based Security

      • Andrew D. Gordon
      Pages 2-2

  3. Contributed Papers

    1. Widening Operators for Weakly-Relational Numeric Abstractions

      • Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
      Pages 3-18

    2. Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra

      • Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella
      Pages 19-34

    3. Inference of Well-Typings for Logic Programs with Application to Termination Analysis

      • Maurice Bruynooghe, John Gallagher, Wouter Van Humbeeck
      Pages 35-51

    4. Memory Space Conscious Loop Iteration Duplication for Reliable Execution

      • G. Chen, M. Kandemir, M. Karakoy
      Pages 52-69

    5. Memory Usage Verification for OO Programs

      • Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin Rinard
      Pages 70-86

    6. Abstraction Refinement for Termination

      • Byron Cook, Andreas Podelski, Andrey Rybalchenko
      Pages 87-101

    7. Data-Abstraction Refinement: A Game Semantic Approach

      • Aleksandar Dimovski, Dan R. Ghica, Ranko Lazić
      Pages 102-117

    8. Locality-Based Abstractions

      • Javier Esparza, Pierre Ganty, Stefan Schwoon
      Pages 118-134

    9. Type-Safe Optimisation of Plugin Architectures

      • Neal Glew, Jens Palsberg, Christian Grothoff
      Pages 135-154

    10. Using Dependent Types to Certify the Safety of Assembly Code

      • Matthew Harren, George C. Necula
      Pages 155-170

    11. The PER Model of Abstract Non-interference

      • Sebastian Hunt, Isabella Mastroeni
      Pages 171-185

    12. A Relational Abstraction for Functions

      • B. Jeannet, D. Gopan, T. Reps
      Pages 186-202

    13. Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis

      • Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
      Pages 203-217

    14. Banshee: A Scalable Constraint-Based Analysis Toolkit

      • John Kodumal, Alex Aiken
      Pages 218-234

    15. A Generic Framework for Interprocedural Analysis of Numerical Properties

      • Markus Müller-Olm, Helmut Seidl
      Pages 235-250

    16. Finding Basic Block and Variable Correspondence

      • Iman Narasamdya, Andrei Voronkov
      Pages 251-267

    17. Boolean Heaps

      • Andreas Podelski, Thomas Wies
      Pages 268-283
Back to top

Other volumes

  1. Static Analysis

Keywords

Editors and Affiliations

  • Department of Computing, Imperial College London,  

    Chris Hankin

  • Department of Computing, Imperial College London, London, UK

    Igor Siveroni

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation