Lazy Evaluation: From natural semantics to a machine-checked compiler transformation - Joachim Breitner - 書籍 - Karlsruher Institut für Technologie - 9783731505464 - 2016年9月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Joachim Breitner
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

価格
¥ 5.578
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月17日 - 年12月29日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

In order to solve a long-standing problem with list fusion, a new compiler transformation, "Call Arity" is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury's Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2016年9月30日
ISBN13 9783731505464
出版社 Karlsruher Institut für Technologie
ページ数 256
寸法 148 × 210 × 15 mm   ·   376 g
言語 ドイツ語  

Joachim Breitnerのすべてを見る ( 例： Paperback Book )