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 : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / / Patrick Cousot, ed
| Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / / Patrick Cousot, ed |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2001] |
| Descrizione fisica | 1 online resource (XI, 439 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming |
| ISBN | 3-540-47764-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Effect Analysis of Security Protocols -- Abstracting Cryptographic Protocols by Prolog Rules -- Security-Typed Languages and Distributed Computation. |
| Record Nr. | UNINA-9910143592103321 |
| Berlin, Germany : , : Springer, , [2001] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / / Patrick Cousot, ed
| Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / / Patrick Cousot, ed |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2001] |
| Descrizione fisica | 1 online resource (XI, 439 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming |
| ISBN | 3-540-47764-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Effect Analysis of Security Protocols -- Abstracting Cryptographic Protocols by Prolog Rules -- Security-Typed Languages and Distributed Computation. |
| Record Nr. | UNISA-996465805703316 |
| Berlin, Germany : , : Springer, , [2001] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||