This text constitutes the proceedings of the 5th International Symposium on Static Analysis held in September 1998. The papers presented are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization.
| ISBN: | 9783540650140 |
| Publication date: | 2nd September 1998 |
| Author: | SAS 98 Conference, Giorgio Levi |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 380 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Compilers and interpreters Software Engineering Computer programming / software engineering |
This text constitutes the proceedings of the 5th International Symposium on Static Analysis held in September 1998. The papers presented are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization.
Static Analysis features in the following genres: Mathematical theory of computation, Compilers and interpreters, Software Engineering, Computer programming / software engineering
Static Analysis is available in Paperback
Static Analysis was written by SAS 98 Conference, Giorgio Levi and published by Springer an imprint of Springer Berlin Heidelberg
Static Analysis has 380 pages
Yes it is part of Lecture Notes in Computer Science series