Static analysis
Subtitle: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
By: Roberto Giacobazzi (ed.).
Contributors: Giacobazzi, Roberto.
Series: Lecture notes in computer science,; 3148
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 392
Subjects: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses
Genres: Congresses.
Other titles: 11th International Symposium, SAS 2004; Eleventh International Symposium, SAS 2004; International Symposium, SAS 2004; SAS 2004
Notes: Includes bibliographical references and author index.
"11th International Static Analysis Symposium"--Pref.
Also issued online.
Table of contents: title: Invited talks; title: Program and system verification; title: Security and safety; title: Pointer analysis; title: Abstract interpretation and algorithms; title: Shape analysis; title: Abstract domain and data structures; title: Shape analysis and logic; title: Termination analysis.