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.
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.

Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
431
Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
431Paperback(1995)
Product Details
ISBN-13: | 9783540603603 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 10/18/1995 |
Series: | Lecture Notes in Computer Science , #983 |
Edition description: | 1995 |
Pages: | 431 |
Product dimensions: | 8.50(w) x 10.98(h) x 0.04(d) |