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
  13. B. Vergauwen, J. Wauman, J. Lewi
    Pages 314-328
  14. Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl
    Pages 346-362
  15. Laurent Mauborgne
    Pages 363-379
  16. Chris Hankin, Daniel Le Métayer
    Pages 380-394
  17. Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson
    Pages 408-422
  18. Robert Glück, Jesper Jørgensen
    Pages 432-448
  19. Hessam Khoshnevisan, Mohamad Afshar
    Pages 449-463
  20. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment