Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation - Lecture Notes in Computer Science - Anne Mulkers - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540566946 - 1993年5月27日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation - Lecture Notes in Computer Science 1993 edition

価格
¥ 10.774
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月12日 - 年8月28日
Anne Mulkers の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

Addresses the problem of memory re-use for logic programs through program analysis rather than by run-time garbage collection. The static analysis is constructed as an application of abstract interpretation for logic programs.


227 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1993年5月27日
ISBN13 9783540566946
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 227
寸法 155 × 233 × 12 mm   ·   340 g
言語 英語  

同じ出版社からのその他の記事