Table of contents

  1. Front Matter
  2. Pierre Wolper, Bernard Boigelot
    Pages 21-32
  3. Martin Alt, Florian Martin
    Pages 33-50
  4. Rance Cleaveland, Purush Iyer, Daniel Yankelevich
    Pages 51-63
  5. Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
    Pages 100-117
  6. Nevin Heintze
    Pages 189-206
  7. Suresh Jagannathan, Andrew Wright
    Pages 207-224
  8. Naoki Kobayashi, Motoki Nakade, Akinori Yonezawa
    Pages 225-242
  9. M. R. K. Krishna Rao, R. K. Shyamasundar
    Pages 243-260
  10. B. Monsuez
    Pages 279-295
  11. Kristian Nielsen, Morten Heine Sørensen
    Pages 296-313
  12. Jens Palsberg, Peter Ørb⇓ek
    Pages 314-329
  13. Viswanath Ramachandran, Pascal Van Hentenryck
    Pages 330-347
  14. Manfred Schmidt-Schauß, Sven Eric Panitz, Marko Schütz
    Pages 348-365
  15. Magnus Nordin, Thomas Lindgren, Håkan Millroth
    Pages 420-421
  16. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages.
22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.


High-Level Programming High-Performance Computing Höherstufiges Programmieren Performance Static Analysis Systemimplementierung Systems Implementation Systems Verfication programming programming language system

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60360-3
  • Online ISBN 978-3-540-45050-4
  • 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