Static analysis : ; proceedings 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
3148 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
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, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Roberto Giacobazzi (ed.), Berlin, Springer, 2004, 1 vol. (XI-392 p.), Lecture notes in computer science, 3-540-22791-1 • Static Analysis, Texte imprimé, 9783662192054 |
Aurkibidea:
- Invited Talks
- Injecting Life with Computers
- The Blast Query Language for Software Verification
- Program Generators and the Tools to Make Them
- Towards Declarative Programming for Web Services
- Program and System Verification
- Closed and Logical Relations for Over- and Under-Approximation of Powersets
- Completeness Refinement in Abstract Symbolic Trajectory Evaluation
- Constraint-Based Linear-Relations Analysis
- Spatial Analysis of BioAmbients
- Security and Safety
- Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
- Information Flow Analysis in Logical Form
- Type Inference Against Races
- Pointer Analysis
- Pointer-Range Analysis
- A Scalable Nonuniform Pointer Analysis for Embedded Programs
- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
- Abstract Interpretation and Algorithms
- Abstract Interpretation of Combinational Asynchronous Circuits
- Static Analysis of Gated Data Dependence Graphs
- A Polynomial-Time Algorithm for Global Value Numbering
- Shape Analysis
- Quantitative Shape Analysis
- A Relational Approach to Interprocedural Shape Analysis
- Partially Disjunctive Heap Abstraction
- Abstract Domain and Data Structures
- An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
- Approximating the Algebraic Relational Semantics of Imperative Programs
- The Octahedron Abstract Domain
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
- Shape Analysis and Logic
- On Logics of Aliasing
- Generalized Records and Spatial Conjunction in Role Logic
- Termination Analysis
- Non-termination Inference for Constraint Logic Programs.