Static Analysis 1996th ed.(Lecture Notes in Computer Science Vol.1145) P 398 p. 96
Cousot, Radhia,
Schmidt, David A.
編
発行年月 |
1996年09月 |
---|
|
出版国 |
ドイツ |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
装丁 |
paper |
---|
|
ページ数/巻数 |
X, 398 p. |
---|
|
|
ジャンル |
洋書/理工学/情報科学/情報科学基礎 |
---|
|
|
ISBN |
9783540617396 |
---|
|
商品コード |
0209641961 |
---|
|
|
|
本の性格 |
議事録 |
---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209641961 |
---|
内容
This work constitutes the proceedings of the Third International StaticAnalysis Symposium, SAS '96. Among the topics addressed are: programanalysis; incremental analysis; abstract representation; partial evaluation;logic programming; functional programming; and constraint programming.