Table of contents

  1. Front Matter
  2. Michael Hanus, Frank Zartmann
    Pages 26-42
  3. Alexander Aiken, T. K. Lakshman
    Pages 43-60
  4. Dmitri Boulanger, Maurice Bruynooghe
    Pages 61-77
  5. Ed Harcourt, Jon Mauney, Todd Cook
    Pages 116-130
  6. Anindya Banerjee, David A. Schmidt
    Pages 131-146
  7. Paul Steckler, Mitchell Wand
    Pages 162-178
  8. David Garza-Salazar, Wim Böhm
    Pages 193-207
  9. Björn Lisper, Jean -Francois Collard
    Pages 208-222
  10. Nicolas Halbwachs, Yann -Eric Proy, Pascal Raymond
    Pages 223-237
  11. S. K. Debray, P. López García, M. Hermenegildo, N. -W. Lin
    Pages 255-265
  12. Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard
    Pages 266-280

About these proceedings


This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994.
The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.


Abstract Interpretation Abstrakte Interpretation Functional Programming Funktionales Programmieren Logic Programming Programmiertheorie Programming Theory Static Analysis algorithm algorithms optimization programming verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58485-8
  • Online ISBN 978-3-540-49005-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book