范德波尔（Jaco van de Pol） JITty：带有策略注释的重写器。 （英语） Zbl 1045.68583号 苏菲·蒂森（编辑），《重写技术与应用》。第13届国际会议，RTA 2002，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43916-1）。莱克特。票据计算。科学。2378, 367-370 (2002). 总结：我们按照实时重写策略的思路演示了JITty，这是一个带有策略注释的简单重写实现。我们的工具具有以下特点：它提供了用户定义的策略注释的灵活性，这些注释指定了规范化参数和应用重写规则的顺序。检查策略注释的正确性，并确保所有生成的结果都是基础TRS的正常形式。该工具是“轻量级”的，具有紧凑但快速的代码。TRS是解释的，而不是编译的，因此该工具启动时间短，可移植到许多平台。关于整个系列，请参见[Zbl 0992.00043号]. 引用于1文件 MSC公司： 2012年第68季度 语法和重写系统 软件：ATERM公司;JITty公司 PDF格式BibTeX公司 XML格式引用 \文本｛J.van de Pol｝，Lect。票据计算。科学。2378367-370（2002年；兹bl 1045.68583） 全文： 链接