Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
1824 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, proceedings, Jens Palsberg (ed.), Berlin, Springer, 2000, 1 vol. (VIII-432 p.), Lecture notes in computer science, 3-540-67668-6 • Static Analysis, Texte imprimé, 9783662161869 |
Table des matières:
- Invited Papers
- Enforcing Design Constraints with Object Logic
- Model Checking as Constraint Solving
- Contributed Papers
- Abstract Interpretation Based Semantics of Sequent Calculi
- A Transformational Approach for Generating Non-linear Invariants
- Deriving Parallel Codes via Invariants
- Safety of Strictness Analysis via Term Graph Rewriting
- Checking Cleanness in Linked Lists
- Confidentiality Analysis of Mobile Systems
- Unified Analysis of Array and Object References in Strongly Typed Languages
- Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C
- Efficient Inference of Static Types for Java Bytecode
- Abstract Interpretation of Game Properties
- FULLDOC: A Full Reporting Debugger for Optimized Code
- Partial Redundancy Elimination on Predicated Code
- TVLA: A System for Implementing Static Analyses
- Tree Schemata and Fair Termination
- Abstract Interpretation of Probabilistic Semantics
- Code Specialization Based on Value Profiles
- Flattening Is an Improvement
- Model Checking Guided Abstraction and Analysis
- Abstract Domains for Sharing Analysis by Optimal Semantics
- Concurrency Analysis for Java.