JITty公司 swMATH ID: 10121 软件作者： 雅各·范德波尔 描述： JITty：带有策略注释的重写器。我们展示了JITty，这是一种带有策略注释的简单重写实现，与[4]中解释和证明的即时重写策略一样。我们的工具具有以下特点：它提供了用户定义的策略注释的灵活性，指定了规范化参数和应用重写规则的顺序。检查策略注释的正确性，并保证所有生成的结果都是底层TRS的正常形式。该工具是“轻量级”的，具有紧凑但快速的代码。TRS是解释的，而不是编译的，因此该工具的启动时间很短，并且可以移植到许多平台。 主页： http://link.springer.com/chapter/10.1007/3-540-45610-4_26 相关软件： ATERM公司;莫德;微CRL;ASF+SDF;mCRL2型;拍;SMI公司++;LTSmin公司;钙磷;Uppaal公司;NuSMV公司;迪维尼;自旋蛋白;棱镜;ELAN公司;西洋陆军棋 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 JITty：带有策略注释的重写器。 Zbl 1045.68583号范德波尔（Jaco van de Pol） 2002 全部的 前5名13位作者引用 2 范德波尔，扬·科内利斯 1 斯乔德·克兰恩 1 埃里克·P·德文克。 1 Jan Friso，格鲁特 1 Jeroen J.A.Keiren。 1 皮埃尔·埃蒂安·莫罗 1 斯坦珀斯，弗兰克·P·M。 1 范登·布兰德，Mark G.J。 1 Van Weerdenburg，Muck J。 1 Jurgen J.文朱。 1 威格·威瑟林克 1 Tim A.C.Willemse。 1 汉斯·赞特马 0连载引用 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文