Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Static Analysis [[electronic resource] ] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / / edited by Roberto Giacobazzi
| Static Analysis [[electronic resource] ] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / / edited by Roberto Giacobazzi |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques |
| Soggetto non controllato |
Static analysis
SAS |
| ISBN | 3-540-27864-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465405203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Static Analysis [[electronic resource] ] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / / edited by Roberto Giacobazzi
| Static Analysis [[electronic resource] ] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / / edited by Roberto Giacobazzi |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques |
| Soggetto non controllato |
Static analysis
SAS |
| ISBN | 3-540-27864-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910144163503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||