000 02378nam a22004935i 4500
001 u376677
003 SIRSI
005 20160812084425.0
007 cr nn 008mamaa
008 110909s2011 gw | s |||| 0|eng d
020 _a9783642237027
_9978-3-642-23702-7
040 _cMX-MeUAM
050 4 _aQA76.758
082 0 4 _a005.1
_223
100 1 _aYahav, Eran.
_eeditor.
245 1 0 _aStatic Analysis
_h[recurso electrónico] :
_b18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings /
_cedited by Eran Yahav.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2011.
300 _aXII, 387 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6887
520 _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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 0 _aComputer simulation.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Techniques.
650 2 4 _aSimulation and Modeling.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642237010
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6887
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-23702-7
596 _a19
942 _cLIBRO_ELEC
999 _c204557
_d204557