分阶段分配:
一种用于
规定和实施程序
调用约定
鲁本·奥林斯基
和
克里斯汀·林迪格
和
诺曼·拉姆齐
我们现在
分阶段分配
,一种指定调用的技术
通过组合称为
阶段
.
使用阶段分配编写的规范具有精确、正式的
语义,并且可以直接在编译器内部执行。
九个标准C调用约定的规格大小从15到30不等
每行。
分阶段分配的实现需要大约250行ML或
650行C++。
每个规范不仅可以帮助编译器实现
调用约定,还可以生成测试套件。
全文
该文件可作为
美国信函PostScript
(290K),
美国信函PDF
(201K),
和
美国文字母TeX DVI
(127K)。