LEADER 03285nam  22007335  450 
001 996199684503316
005 20230329150531.0
010   $a3-319-10936-7
024 7 $a10.1007/978-3-319-10936-7
035   $a(CKB)3710000000249756
035   $a(SSID)ssj0001354301
035   $a(PQKBManifestationID)11868619
035   $a(PQKBTitleCode)TC0001354301
035   $a(PQKBWorkID)11322663
035   $a(PQKB)10434271
035   $a(DE-He213)978-3-319-10936-7
035   $a(MiAaPQ)EBC6283394
035   $a(MiAaPQ)EBC5594718
035   $a(Au-PeEL)EBL5594718
035   $a(OCoLC)890802507
035   $a(PPN)181351749
035   $a(EXLCZ)993710000000249756
100   $a20140906d2014      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aStatic Analysis$b[electronic resource] $e21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /$fedited by Markus Müller-Olm, Helmut Seidl
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XVIII, 337 p. 97 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8723
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-10935-9 
327   $aStatic analysis -- Including abstract interpretation -- Abstract testing -- Bug detection -- Data flow analysis -- Model checking -- Program transformation -- Program verification -- Security analysis.- Type checking.
330   $aThis book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8723
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
676   $a005.1
702   $aMüller-Olm$b Markus$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSeidl$b Helmut$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996199684503316
996   $aStatic Analysis$92995248
997   $aUNISA