Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Static Analysis [Texte électronique] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / edited by Radhia Cousot, Matthieu Martel
Publication : Berlin, Heidelberg : Springer Berlin Heidelberg : Springer e-books, 2010
Description matérielle : 1 online resource
Collection : Lecture Notes in Computer Science ; 6337
Note(s) : This book constitutes the refereed proceedings of the 16th International Symposium
on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference
was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic
Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and
TAPAS 2010 (Tools for Automatic Program Analysis). The 22 revised full papers presented
together with 4 invited talks were carefully reviewed and selected from 58 submissions.
The papers address all aspects of static analysis including abstract domains, bug
detection, data flow analysis, logic programming, systems analysis, type inference,
cache analysis, flow analysis, verification, abstract testing, compiler optimization
and program verification
Autre(s) auteur(s) : Martel, Matthieu (1973-....). Éditeur scientifique
Cousot, Radhia. Éditeur scientifique
Sujet(s) : Génie logiciel
Informatique
Langages de programmation
Programmation (informatique)
Simulation par ordinateur
Logique mathématique
Indice(s) Dewey :
005.1 (23e éd.) = Développement de logiciels ; 004 (23e éd.) = Informatique ; 005.13 (23e éd.) = Programmation des ordinateurs
Identifiants, prix et caractéristiques : ISBN 9783642157691
Identifiant de la notice : ark:/12148/cb447006315
Notice n° :
FRBNF44700631
(notice reprise d'un réservoir extérieur)