LEADER 03652nam  22007455  450 
001 996465941703316
005 20200701005140.0
010   $a3-642-23702-9
024 7 $a10.1007/978-3-642-23702-7
035   $a(CKB)2550000000050776
035   $a(SSID)ssj0000610913
035   $a(PQKBManifestationID)11365208
035   $a(PQKBTitleCode)TC0000610913
035   $a(PQKBWorkID)10645107
035   $a(PQKB)10861427
035   $a(DE-He213)978-3-642-23702-7
035   $a(MiAaPQ)EBC3067199
035   $a(PPN)156312417
035   $a(EXLCZ)992550000000050776
100   $a20110909d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aStatic Analysis$b[electronic resource] $e18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings /$fedited by Eran Yahav
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XII, 387 p.) 
225 1 $aProgramming and Software Engineering ;$v6887
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-23701-0 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.
410  0$aProgramming and Software Engineering ;$v6887
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aComputer programming
606   $aComputer simulation
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615  0$aComputer programming.
615  0$aComputer simulation.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Techniques.
615 24$aSimulation and Modeling.
676   $a005.1
702   $aYahav$b Eran$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465941703316
996   $aStatic Analysis$9772085
997   $aUNISA