Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings (Lecture Notes in Computer Science)
暫譯: 靜態分析：第二屆國際研討會，SAS '95，英國格拉斯哥，1995年9月25日至27日。會議紀錄（計算機科學講義）
***
- 出版商: Springer
- 出版日期: 1995-09-13
- 售價: $2,430
- 貴賓價: 9.5 折 $2,309
- 語言: 英文
- 頁數: 431
- 裝訂: Paperback
- ISBN: 3540603603
- ISBN-13: 9783540603603
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages.
22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.
22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.
商品描述(中文翻譯)
本書為第二屆國際靜態分析研討會（SAS '95）的經過審查的會議論文集，該會議於1995年9月在英國格拉斯哥舉行。靜態分析越來越被認為是高效能實作和高階程式語言驗證系統的基礎。從總共55篇投稿中選出22篇完整修訂的論文，這些論文針對不同程式範式的靜態分析問題進行探討；特別是針對並行、約束、函數式、命令式、邏輯及物件導向程式設計的問題。此外，還包括三篇受邀報告的摘要或完整論文，以及兩篇系統描述。
