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.

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540227915 ; 3540227911
• Maße: 24 cm
• Umfang: XI, 392 S.
• Sprache: Englisch
• Anmerkungen: graph. Darst. ; Literaturangaben

Verweise und Beziehungen

• Erschienen in: Lecture notes in computer science ; Vol. 3148

Klassifikation und Themen

• Klassifikation: Informatik
• Schlagwort: Statische Analyse ; Statische Analyse ; Softwaretest ; Statische Analyse ; Programmtransformation ; Statische Analyse ; Programmverifikation ; Statische Analyse ; Datenfluss ; Kontrollfluss

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Berlin, Heidelberg, New York
• (wer): Springer
• (wann): 2004
• Beteiligte Personen und Organisationen: Giacobazzi, Roberto ; SAS (11 : 2004 : Verona)

Weitere Informationen

• Inhaltsverzeichnis: https://d-nb.info/971870047/04
• Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Letzte Aktualisierung: 11.06.2025, 14:19 MESZ