Static analysis : 11th international symposium ; proceedings

Konferenzschrift | Kongress

This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verone, 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 sefety, pointer alaysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination alanysis.

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540227915 ; 3540227911
• Dimensions: 24 cm
• Extent: XI, 392 S.
• Language: Englisch
• Notes: graph. Darst. ; Literaturangaben

References and Relationships

• Bibliographic citation: Lecture notes in computer science ; Vol. 3148

Classification and Topics

• Classification: Informatik
• Keyword: Statische Analyse ; Statische Analyse ; Softwaretest ; Statische Analyse ; Programmtransformation ; Statische Analyse ; Programmverifikation ; Statische Analyse ; Datenfluss ; Kontrollfluss

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Berlin, Heidelberg, New York
• (who): Springer
• (when): 2004
• Contributor: Giacobazzi, Roberto ; SAS (11 : 2004 : Verona)

Further information

• Table of contents: https://d-nb.info/971870047/04
• Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Last update: 11.03.2025, 12:30 PM CET