Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
tarafından
Blazy, Sandrine. editor.
Başlık
:
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Yazar
:
Blazy, Sandrine. editor.
ISBN
:
9783662482889
Edisyon
:
1st ed. 2015.
Fiziksel Niteleme
:
XVI, 333 p. 90 illus. online resource.
Seri
:
Lecture Notes in Computer Science, 9291
Özet
:
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area.
Konu Başlığı
:
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Yazar Ek Girişi
:
Blazy, Sandrine.
Jensen, Thomas.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 24865-1001 | QA76.9 .L63 | Springer E-Book Collection |