Abstract computing machines : a lambda calculus perspective
著者
書誌事項
Abstract computing machines : a lambda calculus perspective
（Texts in theoretical computer science, An EATCS series）
Springer, c2005
大学図書館所蔵 全8件
注記
Includes bibliographical references and index
内容説明・目次
内容説明
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
目次
Algorithms and Programs.- An Algorithmic Language.- The ?-Calculus.- The se(m)cd Machine and Others.- Toward Full-Fledged ?-Calculus Machines.- Interpreted Head-Order Graph Reduction.- The B-Machine.- The G-Machine.- The ?-red Machinery.- Pattern Matching.- Another Functional Abstract Machine.- Imperative Abstract Machines.- Real Computing Machines.
「Nielsen BookData」 より