Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging fro...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
1694 |
| Materias: | |
| Acceso en línea: | 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, 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999, proceedings, Agostino Cortesi, Gilberto File eds, 1999, New York, Springer, 1 vol. (VIII-356 p.), Lecture notes in computer science, 3-540-66459-9 • Static Analysis, Texte imprimé, 9783662201237 |
| LEADER | 05296nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 973136 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155235729 | ||
| 020 | |a 9783540482949 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.131 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International static analysis symposium |n (06 |d :1999 |c :Venise, Italie). | |
| 245 | 1 | 0 | |a Static analysis : |b 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings |c [edited by] Agostino Cortesi, Gilberto Filé. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1694 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Synchronization in JAVA Programs -- A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives -- Static Analyses for Eliminating Unnecessary Synchronization from Java Programs -- Synchronous Languages -- Dynamic Partitioning in Analyses of Numerical Properties -- Polyhedral Analysis for Synchronous Languages -- Abstract Domains -- Decomposing Non-redundant Sharing by Complementation -- Freeness Analysis Through Linear Refinement -- Binary Decision Graphs -- Binding-Time Analysis for Both Static and Dynamic Expressions -- Concurrency -- Abstract Interpretation of Mobile Ambients -- Abstracting Cryptographic Protocols with Tree Automata -- State Space Reduction Based on Live Variables Analysis -- Static Single Assignment -- Partial Dead Code Elimination Using Extended Value Graph -- Translating Out of Static Single Assignment Form -- Optimizations -- Eliminating Dead Code on Recursive Data -- Detecting Equalities of Variables: Combining Efficiency with Precision -- Foundations -- A New Class of Functions for Abstract Interpretation -- Equational Semantics -- Abstract Animator for Temporal Specifications: Application to TLA -- Invited Talks and Tutorials -- Static Analysis of Mega-Programs -- Safety versus Secrecy -- On the Complexity Analysis of Static Analyses -- Model-Checking -- Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS 99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes, Analyse de | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Cortesi, Agostino, |d 1963- |4 pbd | |
| 700 | 1 | |a Filé, Gilberto, |d 1951- |4 pbd | |
| 776 | 0 | |0 046539956 |t Static analysis |o 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 |o proceedings |f Agostino Cortesi, Gilberto File eds |d 1999 |c New York |n Springer |p 1 vol. (VIII-356 p.) |s Lecture notes in computer science |z 3-540-66459-9 | |
| 776 | 0 | |t Static Analysis |b Texte imprimé |z 9783662201237 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-48294-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-JGTSXNM3-J |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750602112 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-48294-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753962519 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-48294-6 |z Accès INSA CVL | |
| 997 | |0 973136 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||