Vai al contenuto principale della pagina
Titolo: | 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 |
Opac: | Controlla la disponibilità qui |