Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (Lecture Notes in Computer Science)
暫譯: 靜態分析：第一屆國際靜態分析研討會，SAS '94，比利時納慕爾，1994年9月28日至30日。會議錄（計算機科學講義）
***
- 出版商: Springer
- 出版日期: 1994-09-14
- 售價: $2,470
- 貴賓價: 9.5 折 $2,347
- 語言: 英文
- 頁數: 471
- 裝訂: Paperback
- ISBN: 3540584854
- ISBN-13: 9783540584858
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994.
The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.
The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.
商品描述(中文翻譯)
本卷呈現了第一屆國際靜態分析研討會（SAS '94）的會議紀錄，該會議於1994年9月在比利時的納穆爾舉行。會議紀錄包含25篇從70篇投稿中選出的完整審稿論文，以及四篇由Charles Consel、Saumya K. Debray、Thomas W. Getzinger和Nicolas Halbwachs所撰寫的邀請貢獻。這些論文探討了各種程式設計範式的靜態分析方面，涵蓋以下主題：固定點計算的通用演算法；程式優化、轉換和驗證；與嚴格性相關的分析；基於類型的分析和類型推斷；依賴性分析和抽象域構造。
