Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16 18, 2001 : proceedings
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
2126 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Static analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, proceedings, Patrick Cousot (ed.), 2001, New York, Springer, 1 vol. (XI-436 p.), Lecture notes in computer science, 3-540-42314-1 • Static Analysis, Texte imprimé, 9783540829546 |
Sisällysluettelo:
- 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 EffectAnalysis of Security Protocols
- Abstracting Cryptographic Protocols by Prolog Rules
- Security-Typed Languages and Distributed Computation.