Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / / Patrick Cousot, ed

• Pubblicazione: Berlin, Germany : , : Springer, , [2001]; ©2001
• Edizione: 1st ed. 2001.
• Descrizione fisica: 1 online resource (XI, 439 p.)
• Disciplina: 005.1
• Soggetto topico: Programming languages (Electronic computers); Computer programming
• Persona (resp. second.): CousotPatrick <1948->
• Note generali: Includes index.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Invited 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.
• Titolo autorizzato: Static Analysis
• ISBN: 3-540-47764-0
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465805703316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2126