000 03700nam a22003855i 4500
001 294786
003 MX-SnUAN
005 20170705134230.0
007 cr nn 008mamaa
008 150903s2005 gw | o |||| 0|eng d
020 _a9783540319719
_99783540319719
024 7 _a10.1007/11547662
_2doi
035 _avtls000348087
039 9 _a201509030738
_bVLOAD
_c201404121034
_dVLOAD
_c201404090812
_dVLOAD
_y201402071019
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.7-76.73
100 1 _aHankin, Chris.
_eeditor.
_9328666
245 1 0 _aStatic Analysis :
_b12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings /
_cedited by Chris Hankin, Igor Siveroni.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2005.
300 _ax, 369 páginas Also available online.
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3672
500 _aSpringer eBooks
505 0 _aInvited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi to Source-Based Security -- Contributed Papers -- Widening Operators for Weakly-Relational Numeric Abstractions -- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra -- Inference of Well-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop Iteration Duplication for Reliable Execution -- Memory Usage Verification for OO Programs -- Abstraction Refinement for Termination -- Data-Abstraction Refinement: A Game Semantic Approach -- Locality-Based Abstractions -- Type-Safe Optimisation of Plugin Architectures -- Using Dependent Types to Certify the Safety of Assembly Code -- The PER Model of Abstract Non-interference -- A Relational Abstraction for Functions -- Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis -- Banshee: A Scalable Constraint-Based Analysis Toolkit -- A Generic Framework for Interprocedural Analysis of Numerical Properties -- Finding Basic Block and Variable Correspondence -- Boolean Heaps -- Interprocedural Shape Analysis for Cutpoint-Free Programs -- Understanding the Origin of Alarms in Astrée -- Pair-Sharing Analysis of Object-Oriented Programs -- Exploiting Sparsity in Polyhedral Analysis -- Secure Information Flow as a Safety Problem.
520 _aThis book constitutes the refereed proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005, co-located with the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2005). The 22 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 66 submissions. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer analysis, shape analysis, and data flow analysis.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aSiveroni, Igor.
_eeditor.
_9328667
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540285847
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/11547662
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c294786
_d294786