Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Başlık:

Yazar:

Blazy, Sandrine. editor.

ISBN:

9783662482889

Edition:

1st ed. 2015.

Fiziksel Tanım:

XVI, 333 p. 90 illus. online resource.

Series:

Lecture Notes in Computer Science, 9291

Abstract:

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 Terimleri:

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.

Added Author:

Blazy, Sandrine.

Jensen, Thomas.

Added Corporate Author:

SpringerLink (Online service)

Electronic Access:

http://dx.doi.org/10.1007/978-3-662-48288-9

Mevcut:*

Library	Materyal Türü	Barkod	Yer Numarası	Durum
Searching... Pamukkale Merkez Kütüphanesi	E-Kitap	85680-1001	QA76.9 .L63	Searching... Unknown

Bound With These Titles

On Order

Ö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