| 书目名称 | Static Analysis | | 副标题 | Third International | | 编辑 | Patrick Cousot,Moreno Falaschi,Antoine Rauzy | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume constitutes the proceedings of the thirdInternational Workshop on Static Analysis (WSA`93), held inPadova, Italy, in September 1993. Theobjective of theinternational workshop series WSA is to serve as a forum forthe discussion of the various aspects of static analysisindifferent programming paradigms. The clearly increasingmumbers of submitted papers and workshop participants pointout the growing importance of static analysis techniques forlogical, functional, concurrent and parallel languages aswell as for parallel term rewriting systems.This proceedings contains, besides the abstracts or fullpapers of the invited talks given by Pascal Van Hentenryck,Peter van Roy, and Paul Hudak, full versions of the 20contributed papers selected from a total of 68 submissionsby an international program committee consisting of manyrenown researchers in the field. The volume is organized insections on fixpoint computation, concurrency, parallelism,transformation, logic programs, term rewriting systems,strictness, reasoning about programs, and types. | | 出版日期 | Conference proceedings 1993 | | 关键词 | Logic of Programs; Pascal; Program Transformation; Programmlogik; Static Analysis; Term Rewriting Systems | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-57264-3 | | isbn_softcover | 978-3-540-57264-0 | | isbn_ebook | 978-3-540-48027-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1993 |
The information of publication is updating
|
|
发表于 2025-3-21 18:07:27
