CRSX公司 swMATH ID: 23630 软件作者： 罗丝，K.H。；国际商用机器公司 描述： CRSX-带扩展的组合约简系统。带扩展的组合减速系统（CRSX）是一个可从url获得的系统{http://crsx.sourceforge.net}并具有以下特性：-基于具有完全强约简（但没有指定约简策略）的纯组合约简系统的高阶重写引擎。-基于lambda-calculus和术语重写约定（包括Unicode支持）的规则和术语语法严格的检查和声明要求，以避免重写规则中的特殊错误解释器是用Java5实现的，可以独立使用，也可以通过Eclipse插件（正在开发中）使用包括一个自定义语法分析器生成器（JavaCC语法分析器生成器的前端），旨在简化直接解析为高阶抽象语法的过程（以及允许在规则文件中使用自定义语法）实验性（和不断发展的）分类系统有助于规则管理从（排序良好的确定子集）CRSX到独立C代码的编译器。 主页： http://crsx.sourceforge.net 相关软件： 自动化;流行标志;名义伊莎贝尔;阿贝拉;Twelf公司;函数;伊莎贝尔/HOL;伊莎贝尔 引用于： 3文件 标准条款 1出版物描述软件 年份 CRSX——带扩张的组合约简系统克里斯托弗·罗斯。 2011 全部的 前5名8位作者引用 1 詹姆斯·切尼 1 西尔维娅·吉勒赞 1 汉内·戈特利布森 1 Jelena Ivetić 1 皮埃尔·莱斯坎 1 西尔维娅·利卡韦克 1 克里斯托弗·霍格斯布罗·罗斯 1 城市，基督教 引用于0连载 在2个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文