Normal view MARC view ISBD view

Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : Proceedings ; Sandrine Blazy, Thomas Jensenl (eds.)

Auteur principal collectivité : Static analysis, International symposium, 22th, SAS 2015, September 9-11, 2015, AuteurAuteur secondaire : : Blazy, Sandrine, Editeur scientifique;Jensen, Thomas, 1965-...., Editeur scientifiquePublication : Berlin, Heidelberg : Springer-Verlag, cop. 2015Description : 1 vol. (331 p.) : fig., tabl. ; 24 cmISBN : 978-3-662-48287-2.Résumé : 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.Bibliographie: Notes bibliogr. en fin de contributions ; Index des auteurs.Sujet - Nom d'actualité : Langages de programmation -- Actes de congrès ;Ordinateurs -- Programmation ;Logiciel Sujet : Analyse statique ;Pointeur ;Langage Javascript ;Langage JAVA
Current location Call number Status Date due Barcode
Centre de recherche en informatique
Saint-MAL 15 Sur demande CRI06397D

Notes bibliogr. en fin de contributions ; Index des auteurs

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

Powered by Koha