|
|
|
|
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)
|