J.M. Siskind s research statement:
斯大林是进行全丙基固定分析、利用这一分析结果产生极为高效的代码的计划的最佳汇编者。 斯大林利用大量静态生态技术。 它进行新型多变流动分析,利用反复的单体流动分析进行流动导向的分化:用克隆技术复制程序,并在当地进行目标分配。 它利用流动分析结果进行终身分析、逃脱分析、点对点分析,并且必须分析。 这些分析支持一种新型的轻重封闭式转换,消除了大多数封闭位置,采用不同的全球化和地方化等技术,压缩固定后链,通常消除方案的大部分关闭。 该系统还利用上述分析支持以流动为导向的区域储存管理,代之以固定分配和按固定价值和每图点进行交易的方式来进行日常垃圾收集。 该公司还利用在Schreamer开标的技术推广,进行流动导向的轻重的CPS转换,以支持极为高效的头等继续工作。 最后,它支持流动导向的倾角和低级别代表选择,选择实施(或不执行)标签、对口检查和在固定价值和每升点的基础上进行标记。 这消除了大多数运行时间的对口、对口检查、对口、打 strip、发送标签、箱子和从方案中排出的箱子。 这些分析和优化使斯大林能够产生极为有效的守则,使所有其他方案汇编者在两到一百年之间,特别是在数字密集的编码方面,都无法做到。 斯大林往往产生出手写 c 和Fortran 代码优异的代码。
我找到了以下关于关闭/运行电话的非常有趣的文件:Flow-Directed Lightetter/a>。 我也发过电子邮件,请提交人询问关于其他议题的文件,这些文件在封闭式转换文件中提及:
Siskind, J. M. 2000a. 流动导向的轻重CPS转换。 准备。
Siskind, J. M. 2000b. 流动导向多变。 准备。
Siskind, J. M. 2000c. 流动代理选择。 准备。
Siskind, J. M. 2000d. 流动导向的储存管理。 准备
不幸的是,他从来不去编写这些文件。 我向你们提出的问题是:是否有任何涵盖这些议题的替代文件或相关文件? 我非常想知道斯大林(或其他汇编者)如何能够将收集、动态分类、支持首期班职能,甚至连头等班继续工作等高水平语言编成这样的高效守则。