Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cousot, Patrick (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2126
• Θέματα: Programming languages (Electronic computers).; Computer logic.; Computer programming.; Software engineering.; Mathematical logic.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Programming Techniques.; Software Engineering.; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

• 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.