Save 40% on books and eBooks in Engineering & Materials Science or in Social & Behavioral Sciences!

Lecture Notes in Computer Science
cover

Static Analysis

Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

Editors: Cousot, P., Falaschi, M., File, G., Rauzy, A. (Eds.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48027-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-57264-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum for the discussion of the various aspects of static analysis in different programming paradigms. The clearly increasing mumbers of submitted papers and workshop participants point out the growing importance of static analysis techniques for logical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains, besides the abstracts or full papers of the invited talks given by Pascal Van Hentenryck, Peter van Roy, and Paul Hudak, full versions of the 20 contributed papers selected from a total of 68 submissions by an international program committee consisting of many renown researchers in the field. The volume is organized in sections on fixpoint computation, concurrency, parallelism, transformation, logic programs, term rewriting systems, strictness, reasoning about programs, and types.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • The impact of granularity in abstract interpretation of Prolog

    Pages 1-14

    Hentenryck, Pascal (et al.)

  • Optimization techniques for general purpose fixpoint algorithms practical efficiency for the abstract interpretation of Prolog

    Pages 15-26

    Charlier, Baudouin (et al.)

  • Chaotic fixpoint iteration guided by dynamic dependency

    Pages 27-44

    JØrgensen, Niels

  • Fast abstract interpretation using sequential algorithms

    Pages 45-59

    Ferguson, Alex (et al.)

  • Abstract interpretation and verification of reactive systems

    Pages 60-71

    Fernandez, J. C.

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48027-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-57264-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Static Analysis
Book Subtitle
Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Editors
  • Patrick Cousot
  • Moreno Falaschi
  • Gilberto File
  • Antoine Rauzy
Series Title
Lecture Notes in Computer Science
Series Volume
724
Copyright
1993
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48027-3
DOI
10.1007/3-540-57264-3
Softcover ISBN
978-3-540-57264-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 290
Topics