<電子ブック>
Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
責任表示 | |
---|---|
著者 | |
本文言語 | |
出版者 | |
出版年 | |
出版地 | |
関連情報 | |
目次 | Invited talks Program and system verification Security and safety Pointer analysis Abstract interpretation and algorithms Shape analysis Abstract domain and data structures Shape analysis and logic Termination analysis. |
冊子版へのリンク | http://hdl.handle.net/2324/1001173787 |
本文を見る | Full text available from SpringerLINK Lecture Notes in Computer Science (2015) |
詳細
レコードID | |
---|---|
刊行頻度 | |
主題 | |
SSID | |
LCCN | |
NBN | |
eISBN | |
注記 | |
登録日 | 2020.06.27 |
更新日 | 2020.06.28 |