Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
2694 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
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, 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, proceedings, Radhia Cousot (ed.), Berlin, Springer, 2003, 1 vol. (XIV-503 p.), Lecture notes in computer science, 3-540-40325-6 • Static Analysis, Texte imprimé, 9783662186183 |
Kazalo:
- Static Analysis of Object-Oriented Languages
- Precise Analysis of String Expressions
- Modular Class Analysis with DATALOG
- Class-Level Modular Analysis for Object Oriented Languages
- Static Analysis of Concurrent Languages
- Checking Interference with Fractional Permissions
- Message Analysis for Concurrent Languages
- Instantaneous Termination in Pure Esterel
- Stack Size Analysis for Interrupt-Driven Programs
- Invited Paper
- Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)
- Static Analysis of Functional Languages
- Selective Tail Call Elimination
- Inserting Safe Memory Reuse Commands into ML-Like Programs
- Static Analysis of Procedural Languages
- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
- Client-Driven Pointer Analysis
- Abstract Interpretation of Programs as Markov Decision Processes
- Static Data Analysis
- A Logic for Analyzing Abstractions of Graph Transformation Systems
- Type Systems for Distributed Data Sharing
- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
- Computer-Assisted Verification of a Protocol for Certified Email
- Invited Talk
- Craig Interpolation and Reachability Analysis
- Static Linear Relation Analysis
- Precise Widening Operators for Convex Polyhedra
- Cartesian Factoring of Polyhedra in Linear Relation Analysis
- Static Analysis Based Program Transformation
- Continuation-Based Partial Evaluation without Continuations
- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications
- Code Compaction of Matching Single-Entry Multiple-Exit Regions
- Static Heap Analysis
- Existential Heap Abstraction Entailment Is Undecidable
- Typestate Verification: Abstraction Techniques andComplexity Results
- Static Analysis of Accessed Regions in Recursive Data Structures
- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.