Text

Static Analysis

---

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software
maintenance. The series of Static Analysis Symposia has served as the primary venue
for the presentation of theoretical, practical, and applicational advances in the area.
Previous symposia were held in Munich, Seattle, Deauville, Venice, Perpignan, Los
Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid,
Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur. This volume contains the
papers presented at SAS 2015, the 22nd International Static Analysis Symposium. The
conference was held on September 9–11, 2015 in Saint-Malo, France

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

London : Springer., 2015

Collation

-

Language

English

ISBN/ISSN

978-3-662-48288-9

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Computer Science

Specific Detail Info

-

Statement of Responsibility

Sandrine Blazy, Thomas Jensen

Other Information

Cataloger

Jemadi

Source

https://link.springer.com/content/pdf/10.1007/978-3-662-48288-9.pdf?pdf=button

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment