神经过敏

JITty:带有策略注释的重写器。我们展示了JITty,一个带有策略注释的简单重写实现,它遵循了Just-In-Time重写策略,在[4]中进行了解释和证明。我们的工具具有以下显著特性:它提供了用户定义的策略注释的灵活性,这些注释指定了规范化参数和应用重写规则的顺序。检查策略注释的正确性,并保证所有生成的结果都是底层TRS的正常形式。该工具“重量轻”,代码紧凑但速度快。TRS是解释的,而不是编译的,因此该工具的启动时间很短,可以移植到许多平台。