| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Static analysis/ Roberto Giacobazzi (ed.). |
| Reminder of title: |
11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / |
| remainder title: |
Eleventh International Symposium, SAS 2004 |
| other author: |
Giacobazzi, Roberto. |
| corporate name: |
International Static Analysis Symposium |
| Published: |
Berlin ;Springer, : c2004., |
| Description: |
xi, 392 p. :ill. ;24 cm. |
| Notes: |
"11th International Static Analysis Symposium"--Pref. |
| Series: |
Lecture notes in computer science, |
| [NT 15003449]: |
Invited talks -- Program and system verification -- Security and safety -- Pointer analysis -- Abstract interpretation and algorithms -- Shape analysis -- Abstract domain and data structures -- Shape analysis and logic -- Termination analysis. |
| Subject: |
Computer programming - Congresses. - |
| Online resource: |
https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=133938An electronic book accessible through the World Wide Web; click for information |
| ISBN: |
3540278648 (electronic bk.) |