Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen.

Format:

Book

Contributor:

Blazy, Sandrine, editor.

Jensen, Thomas, 1965- editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 9291.

Theoretical Computer Science and General Issues ; 9291

Language:

English

Subjects (All):

Computer logic.

Software engineering.

Programming languages (Electronic computers).

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Software Engineering.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Local Subjects:

Logics and Meanings of Programs.

Software Engineering.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Physical Description:

1 online resource (XVI, 333 pages) : 90 illustrations.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.

System Details:

text file PDF

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.

Other Format:

Printed edition:

ISBN:

978-3-662-48288-9

9783662482889

Access Restriction:

Restricted for use by site license.