Static Analysis

14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

  • Editors
  • Hanne Riis Nielson
  • Gilberto Filé
Conference proceedings SAS 2007

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Contributed Papers

    1. Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
      Pages 34-51
    2. Sharon Shoham, Orna Grumberg
      Pages 69-86
    3. David Monniaux
      Pages 104-120
    4. Axel Simon, Andy King
      Pages 121-136
    5. V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg
      Pages 153-169
    6. Tao Wei, Jian Mao, Wei Zou, Yu Chen
      Pages 170-183
    7. Jérôme Leroux, Grégoire Sutre
      Pages 184-199
    8. Akash Lal, Nicholas Kidd, Thomas Reps, Tayssir Touili
      Pages 200-217
    9. Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
      Pages 218-232
    10. Cristiano Calcagno, Matthew Parkinson, Viktor Vafeiadis
      Pages 233-248
    11. Amir Kamil, Katherine Yelick
      Pages 281-297
    12. Francesco Banterle, Roberto Giacobazzi
      Pages 315-332
    13. Patrick Cousot, Pierre Ganty, Jean-François Raskin
      Pages 333-348
    14. Denis Gopan, Thomas Reps
      Pages 349-365
    15. Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta
      Pages 366-383
    16. Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
      Pages 384-401
    17. Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn, Hongseok Yang
      Pages 402-418
    18. Stephen Magill, Josh Berdine, Edmund Clarke, Byron Cook
      Pages 419-436
    19. David Delmas, Jean Souyris
      Pages 437-451
    20. Étienne Payet, Fausto Spoto
      Pages 452-467
  4. Back Matter

About these proceedings


The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22–24, 2007, at the Technical University of Denmark (DTU) in Kongens L- gby, Denmark. In response to the call for papers, 85 submissions were received. Each submission was reviewed by at least 3 experts and, based on these reports, 26 papers were selected after a week of intense electronic discussion using the EasyChair conference system. In addition to these 26 papers, this volume also containscontributionsbythetwoinvitedspeakers:FrankTip(IBMT.J.Watson Research Center, USA) and Alan Mycroft (Cambridge University, UK). On the behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted their work to the conference and also all the external referees who have been indispensable for the selection process. Special thanks go to TerkelTolstrup and J¨ org Bauer,who helped in handing the submitted papers and in organizing the structure of this volume. We would also like to thank the members of the Organizing Committee at DTU for their great work. Finally we want to thank the PhD school ITMAN at DTU for ?nancial support.


Compiler Java abstract domains automata flow analysis formal methods formal verification inductive definitions logic logic programming optimization program analysis program manipulation programming semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-74060-5
  • Online ISBN 978-3-540-74061-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment