LEADER 03805oam  2200577   450 
001 996465805703316
005 20210521202841.0
010   $a3-540-47764-0
024 7 $a10.1007/3-540-47764-0
035   $a(CKB)1000000000211535
035   $a(SSID)ssj0000320188
035   $a(PQKBManifestationID)11242676
035   $a(PQKBTitleCode)TC0000320188
035   $a(PQKBWorkID)10347262
035   $a(PQKB)10172016
035   $a(DE-He213)978-3-540-47764-8
035   $a(MiAaPQ)EBC3062368
035   $a(MiAaPQ)EBC6413339
035   $a(PPN)123720265
035   $a(EXLCZ)991000000000211535
100   $a20210521d2001      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aStatic analysis $e8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /$fPatrick Cousot, ed
205   $a1st ed. 2001.
210  1$aBerlin, Germany :$cSpringer,$d[2001]
210  4$d©2001
215   $a1 online resource (XI, 439 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2126
300   $aIncludes index.
311   $a3-540-42314-1 
320   $aIncludes bibliographical references and index.
327   $aInvited Paper -- Analysis of Multithreaded Programs -- Program Transformation -- Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs -- Using Slicing to Identify Duplication in Source Code -- Soft Scheduling for Hardware -- Strictness and Termination -- Effective Strictness Analysis with HORN Constraints -- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs -- An Abstract Analysis of the Probabilistic Termination of Programs -- Semantics Abstraction -- Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses -- Logic and Constraint Programming -- Parameterizing a Groundness Analysis of Logic Programs -- Finite-Tree Analysis for Constraint Logic-Based Languages -- Invited Paper -- Applications of Extended Static Checking -- Data Structures -- Cleanness Checking of String Manipulations in C Programs via Integer Analysis -- Solving Regular Tree Grammar Based Constraints -- Static Analyses of the Precision of Floating-Point Operations -- Pointer Analysis -- Estimating the Impact of Scalable Pointer Analysis on Optimization -- Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses -- Model Checking -- Parametric Optimization of Open Real-Time Systems -- Embedding Chaos -- Abstract Model Checking -- Analyzing Fair Parametric Extended Automata -- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking -- Invited Talk -- Language-Based Security: What?s Needed and Why -- Mobility -- A Behavioral Module System for the Pi-Calculus -- An Abstract Interpretation Framework for Analysing Mobile Ambients -- Abstract Interpretation-Based Static Analysis of Mobile Ambients -- Invited Session on Security -- Static Analysis and Software Assurance -- A Type and Effect Analysis of Security Protocols -- Abstracting Cryptographic Protocols by Prolog Rules -- Security-Typed Languages and Distributed Computation.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2126
606   $aProgramming languages (Electronic computers)$vCongresses
606   $aComputer programming$vCongresses
615  0$aProgramming languages (Electronic computers)
615  0$aComputer programming
676   $a005.1
702   $aCousot$b Patrick$f1948-
712 12$aInternational Static Analysis Symposium
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a996465805703316
996   $aStatic Analysis$92995248
997   $aUNISA