Study note

Compiling with Continuations

View original Back to list

Properties

Type: Books
Status: 想读
Domain: Compilers / PL
Category: 编译器设计与实现
Source: book.douban.com
Vault note: library/books/compilers/Compiling-with-Continuations-9ba482751dc54217.md

介绍如何用 continuation-passing style 作为编译器中间表示来表达程序的控制流和数据流，并在其上执行优化和程序变换；书中以 Standard ML 编译器说明方法。

把指称语义中的 continuation 概念落到实用优化编译器设计，是连接 PL 理论和现代函数式语言编译实现的重要读物。

Andrew W. Appel；2007-2-12。

Loading comments...