单一中间语言支持多种例外实现（摘要）

诺曼·拉姆齐和西蒙·佩顿·琼斯

我们提供了启用编译器目标的机制语言，C类--，表达四种最著名的技术在一个统一的框架内实现异常。我们使用正式的操作语义精确地定义了这些机制。我们还表明，例外情况不需要优化器中的特殊处理；通过引入额外的数据流edges，我们使标准优化技术即使在程序上也能工作使用异常的。我们的方法澄清例外处理技术的设计空间，以及它允许单个优化器处理各种实现技术。我们的最终目标是允许源语言编译器选择其例外处理策略的自由，同时封装（架构相关）机制及其在实施C--那个编译器可以对许多源语言使用。

该论文发表在ACM SIGPLAN’00编程语言设计和实施（PLDI），单位：SIGPLAN通知35(5):285--298.

可在中获得重印PostScript（后置脚本）（302K）。（ACM程序格式仅支持美国信函大小。）

这个幻灯片和音频也可以使用PLDI对话。