ENGLISH

Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings

By Ehud Shapiro (auth.) , Roberto Giacobazzi (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
3540227911, 9783540227915, 9783540278641
DOI
10.1007/b99688
LCC
QA76.6 .I5733 2004
Open Library ID
OL3315521M
Language
english
Format
DJVU
Filesize
4 MB (4206798 bytes)
Series
Lecture Notes in Computer Science 3148
Edition
1
Pages
396\406
Library
Kolxo3
DPI
300
Scanned
yes
Time added
2010-02-18 13:16:04
CompilersInterpreters; Logics and Meanings of Programs; SofProgramming Languages

Description

This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004. The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination analysis.

Similar books