| 书目名称 | Static Analysis | | 副标题 | 6th International Sy | | 编辑 | Agostino Cortesi,Gilberto Filé | | 视频video | | | 概述 | Includes supplementary material: | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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, imperativ | | 出版日期 | Conference proceedings 1999 | | 关键词 | Java; abstract interpretation; formal methods; partial evaluation; program analysis; program semantics; st | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-48294-6 | | isbn_softcover | 978-3-540-66459-8 | | isbn_ebook | 978-3-540-48294-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1999 |
The information of publication is updating
|
|
发表于 2025-3-21 19:20:49
