高阶命令式语言的纯度分析 下载（237 页） 电子书下载

原名:Purity Analysis for Higher-Order Imperative Languages Download (237 Pages)
作品简介:总之，纯度的检测或验证对于各种软件工程类控制运算符都很有用，其中Scheme 的 ca -with-current-continuation 就是一个例子。我们再回顾一下 0CFA 位于 k-CFA 层次结构的底部，是最简单的抽象分配策略……