Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspec...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Miné, Antoine (Επιμελητής έκδοσης), Schmidt, David (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Σειρά:Lecture Notes in Computer Science, 7460
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 02848nam a22005775i 4500
001 978-3-642-33125-1
003 DE-He213
005 20151030081312.0
007 cr nn 008mamaa
008 120829s2012 gw | s |||| 0|eng d
020 |a 9783642331251  |9 978-3-642-33125-1 
024 7 |a 10.1007/978-3-642-33125-1  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.L63 
050 4 |a QA76.5913 
050 4 |a QA76.63 
072 7 |a UM  |2 bicssc 
072 7 |a UYF  |2 bicssc 
072 7 |a COM051000  |2 bisacsh 
072 7 |a COM036000  |2 bisacsh 
082 0 4 |a 005.1015113  |2 23 
245 1 0 |a Static Analysis  |h [electronic resource] :  |b 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /  |c edited by Antoine Miné, David Schmidt. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2012. 
300 |a XI, 457 p. 153 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 7460 
505 0 |a Static analysis -- Including abstract domains -- Abstract interpretation -- Abstract testing -- Data flow analysis -- Bug detection -- Program transformation -- Program verification -- Security analysis and type checking. 
520 |a This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer logic. 
650 0 |a Mathematical logic. 
650 1 4 |a Computer Science. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Software Engineering. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Mathematical Logic and Formal Languages. 
700 1 |a Miné, Antoine.  |e editor. 
700 1 |a Schmidt, David.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642331244 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 7460 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-33125-1  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)