000 03581nam a22005055i 4500
001 u375129
003 SIRSI
005 20160812084309.0
007 cr nn 008mamaa
008 100913s2010 gw | s |||| 0|eng d
020 _a9783642157691
_9978-3-642-15769-1
040 _cMX-MeUAM
050 4 _aQA76.758
082 0 4 _a005.1
_223
100 1 _aCousot, Radhia.
_eeditor.
245 1 0 _aStatic Analysis
_h[recurso electrónico] :
_b17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings /
_cedited by Radhia Cousot, Matthieu Martel.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aXI, 473p. 131 illus.
_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 ;
_v6337
520 _aStatic analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and applicational advances in the area. th This year’s symposium, The 17 International Static Analysis Symposium (SAS 2010), was held on September 14–16, 2010 in Perpignan, France, with 3 a?liated workshops: NSAD 2010 (The Second Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (The First Workshop on Static An- ysis and Systems Biology) on September 13, 2010, and TAPAS 2010 (Tools for Automatic Program Analysis) on September 17, 2010. The programme of SAS 2010 included a special session dedicated to the memory of the outstanding computer scientists Robin Milner and Amir Pnueli. This session consisted of 5 invited talks by E. Allen Emerson (The University of Texas at Austin, USA), Benjamin Goldberg (New York University, USA), James Leifer (INRIA Paris–Rocquencourt, France), Joachim Parrow (Uppsala University, Sweden), and Glynn Winskel (University of Cambridge, UK). There were 58 submissions. Each submission was reviewed by at least three programme committee members. The committee decided to accept 22 papers. In addition to the special session and the 22 contributed papers, the p- gramme included 4 invited talks by Manuel Fa ¨hndrich (Microsoft Research, USA), David Lesens (EADS Space Transportation, France), Andreas Podelski (Freiburg University, Germany), and Mooly Sagiv (Tel-Aviv University, Israel and Stanford University, USA).
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.
700 1 _aMartel, Matthieu.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642157684
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6337
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-15769-1
596 _a19
942 _cLIBRO_ELEC
999 _c203009
_d203009