Stop losing sleep over incomplete data type specifications
Stop losing sleep over incomplete data type specifications
复制标题
不再因不完整的数据类型规范而失眠
DOI：
10.1145/800017.800518
复制
发表时间：
1984
期刊：
影响因子：
--
通讯作者：
Jean
中科院分区：
文献类型：
--
作者：
Jean
我们给出了一种算法，以测试在其生成的重写系统上保存的定义的完整性。与非常限制的现有技术相反（定义的左侧必须是线性的），或者我们的解决方案既强大又有效。另外，我们给出的算法检测到歧义或/和不完整的定义，并可以告诉您为什么它们是歧义或/和/和不完整的。它也适用于方程式存在的定义。
We give an algorithm to test the completeness of definitions holding on the rewrite systems that they generate. At the opposite of existing techniques that are very restrictive (left-hand sides of definitions must be linear) or rather inefficient our solution is both powerful and efficient. Also, the algorithm that we give detects ambigous or/and incomplete definitions and can tell you why they are ambigous or/and incomplete. It applies too to definitions in presence of equations.