静态分析／会议录Static analysis

出版时间：2002-12  出版社：湖南文艺出版社  作者：Hermenegildo, M.; Hermenegildo, Manuel; Hermenegildo, Manuel  页数：524  

内容概要

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002.The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.

书籍目录

Static Program Analysis via 3-Valued LogicOpen Modeling in Multi-stakeholder Distributed Systems: Research and Tool ChallengesAh Aigbraic Abbivwcn to the Static Analysis of Concurrent SoftwarePolynomial Constants Are DecidableNormalizable Horn Clauses, Strongly Recognizable Relations,and SpiNonuniform Alias Analysis of Recursive Data Structures and ArraysRepresenting and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous DatatypesAutomated Verification of Concurrent Linked Lists with CountersBackward Type Inference Generalises Type CheckingMore Precise Yet Efficient Type Inference for Logic ProgramsA Few Graph-Based Relational Numerical Abstract DomainsStatic Analysis of the Numerical Stability of Loops  On Termination of Logic Programs with Floating Point ComputationsModular Control Flow Analysis for LibrariesAn Efficient Inclusion-Based Points-To Analysis for Strictly-Typed LanguagesCompactly Representing First-Order Structures for Static AnalysisPossibly Not Closed Convex Polyhedra and the Parma PolyhedraLibrarySpeeding Up Dataflow Analysis Using Flow-Insensitive PointerAnalysisImproving the Precision of Equality-Based Dataflow AnalysesGuaranteed Optimization: Proving Nullspace Properties of CompilersRepresentation Analysis for Coercion PlacementPipeline Modeling for Timing AnalysisAnalysing Approximate Confinement under Uniform AttacksAn Improved Constraint-Based System for the Verification of Security ProtocolsFrom Secrecy to Authenticity in Security ProtocolsSecurity Typings by Abstract InterpretationStatic Confidentiality Enforcement for Distributed ProgramsRefinement of LTL Formulas for Abstract Model Checking ……Author Index