Advertisement

Table of contents

  1. Front Matter
  2. G. Ramalingam
    Pages 1-15
  3. Marc Shapiro, Susan Horwitz
    Pages 16-34
  4. Oscar Waddell, R. Kent Dybvig
    Pages 35-52
  5. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
    Pages 53-67
  6. Michael Codish, Vitaly Lagoon, Francisco Bueno
    Pages 68-82
  7. Francesca Scozzari
    Pages 83-97
  8. Manuel Fähndrich, Alexander Aiken
    Pages 114-126
  9. J. M. Talbot, S. Tison, P. Devienne
    Pages 127-140
  10. Chris Speirs, Zoltan Somogyi, Harald Søndergaard
    Pages 157-171
  11. Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
    Pages 172-186
  12. Atsushi Igarashi, Naoki Kobayashi
    Pages 187-201
  13. Chiara Bodei, Corrado Priami
    Pages 202-216
  14. Suresh Jagannathan, Stephen Weeks, Andrew Wright
    Pages 232-249
  15. Christian Mossin
    Pages 250-264
  16. Luke Hornof, Charles Consel, Jacques Noyé
    Pages 293-314
  17. Gang-Ryung Uh, David B. Whalley
    Pages 315-329
  18. Pavel G. Emelianov, Danil E. Baburin
    Pages 361-363
  19. Dante Baldan, Gilberto Filé
    Pages 364-364
  20. Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
    Pages 365-365
  21. Stanislav Tzolovski
    Pages 366-366
  22. Barbara G. Ryder
    Pages 406-412
  23. Back Matter

About these proceedings

Introduction

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.
The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

Keywords

Abstract Interpretation Functional Programming Logic Progamming Static Analysis Verification Systems programming structured analysis

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0032729
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63468-3
  • Online ISBN 978-3-540-69576-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site