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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61739-6
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace