Programming and Software Engineering

Static Analysis

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

Editors: Riis Nielson, Hanne, Filé, Gilberto (Eds.)

  • Presents the refereed proceedings from the 14th International Symposium on Static Analysis
  • Addresses all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, and compiler optimizations
  • Features twenty-two full papers and two important invited lectures
see more benefits

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-74061-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-74060-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (28 chapters)

  • Refactoring Using Type Constraints

    Tip, Frank

    Pages 1-17

  • Programming Language Design and Analysis Motivated by Hardware Evolution

    Mycroft, Alan

    Pages 18-33

  • A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages

    Chen, Kung (et al.)

    Pages 34-51

  • Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification

    Gall, Tristan (et al.)

    Pages 52-68

  • Compositional Verification and 3-Valued Abstractions Join Forces

    Shoham, Sharon (et al.)

    Pages 69-86

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-74061-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-74060-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Static Analysis
Book Subtitle
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
Editors
  • Hanne Riis Nielson
  • Gilberto Filé
Series Title
Programming and Software Engineering
Series Volume
4634
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-74061-2
DOI
10.1007/978-3-540-74061-2
Softcover ISBN
978-3-540-74060-5
Edition Number
1
Number of Pages
XI, 469
Topics