Table of contents

  1. Front Matter
  2. Alex Aiken
    Pages 1-1
  3. Bernhard Steffen
    Pages 22-41
  4. Stephen Alstrup, Peter W. Lauridsen, Mikkel Thorup
    Pages 42-51
  5. Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm
    Pages 52-66
  6. F. S. de Boer, M. Gabbrielli, C. Palamidessi
    Pages 83-97
  7. R. Borgia, P. Degano, C. Priami, L. Leth, B. Thomsen
    Pages 98-112
  8. Jürgen Brauburger, Jürgen Giesl
    Pages 113-127
  9. Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
    Pages 128-142
  10. Mario Coppo, Ferruccio Damiani, Paola Giannini
    Pages 143-158
  11. Lobel Crnogorac, Andrew D. Kelly, Harald SØndergaard
    Pages 159-173
  12. Christian Fecht, Helmut Seidl
    Pages 189-204
  13. Martin Müller, Thomas Glaß, Karl Stroetmann
    Pages 220-237
  14. Hemant D. Pande, Barbara G. Ryder
    Pages 238-254
  15. Ross Paterson
    Pages 255-269
  16. Germán Puebla, Manuel Hermenegildo
    Pages 270-284
  17. Jakob Rehof, Torben Æ. Mogensen
    Pages 285-300
  18. Olivier Roux, Vlad Rusu
    Pages 301-316
  19. Stéphane Schoenig, Mireille Ducassé
    Pages 317-331
  20. Valery Trifonov, Scott Smith
    Pages 349-365
  21. Andrew D. Kelly, Kim Marriott, Harald SØndergaard, Peter J. Stuckey
    Pages 385-386
  22. Martin Müller, Thomas Glaß, Karl Stroetmann
    Pages 387-388
  23. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.
The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.


Abstrakte Interpretation Funktionales Programmieren Partielle Auswertung abstract interpretation functional programming logic partial evaluation program analysis programming static analysis system

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61739-6
  • Online ISBN 978-3-540-70674-8
  • 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