Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

Static Analysis

4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings

Editors: Hentenryck, Pascal van (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69576-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
About this book

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.

Table of contents (33 chapters)

Table of contents (33 chapters)
  • On sparse evaluation representations

    Pages 1-15

    Ramalingam, G.

  • The effects of the precision of pointer analysis

    Pages 16-34

    Shapiro, Marc (et al.)

  • Fast and effective procedure inlining

    Pages 35-52

    Waddell, Oscar (et al.)

  • Set-sharing is redundant for pair-sharing

    Pages 53-67

    Bagnara, Roberto (et al.)

  • An algebraic approach to sharing analysis of logic programs

    Pages 68-82

    Codish, Michael (et al.)

Buy this book

eBook $84.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69576-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Static Analysis
Book Subtitle
4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
Editors
  • Pascal van Hentenryck
Series Title
Lecture Notes in Computer Science
Series Volume
1302
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69576-9
DOI
10.1007/BFb0032729
Softcover ISBN
978-3-540-63468-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 424
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.