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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-60360-3
  • Copyright Information Springer-Verlag 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
  • About this book