ENGLISH

Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings

By Giorgio Levi (eds.) , Oliver Rüthing (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1998
ISBN
3540650148, 9783540650140
DOI
10.1007/3-540-49727-7
LCC
QA76.6 .S716 1998
Open Library ID
OL377993M
Language
english
Format
PDF
Filesize
3 MB (3066954 bytes)
Series
Lecture Notes in Computer Science 1503
Edition
1
Pages
394\335
Time added
2011-01-08 23:22:23
CompilersInterpreters; Software Engineering; Mathematical LLogics and Meanings of Programs; Programming Techn

Description

This book constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998. The 20 revised full papers presented were carefully reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized in topical sections on data-flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference, and optimization. The invited tutorial by David Schmidt and Bernhard Steffen is entitled "data-flow analysis as model checking of abstract interpretations".

Similar books