| Description |
1 online resource (xvi, 333 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 9291 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 9291. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Summary |
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 |
| Notes |
International conference proceedings |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
English |
|
Online resource; title from PDF title page (SpringerLink, viewed September 11, 2015) |
| Subject |
Computer programming -- Congresses
|
|
Software engineering -- Congresses
|
|
Computer programming
|
|
Software engineering
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Blazy, Sandrine, editor.
|
|
Jensen, Thomas, editor
|
| ISBN |
9783662482889 |
|
3662482886 |
|
3662482878 |
|
9783662482872 |
|
