An Emptiness Algorithm for Regular Types with Set Operators
计算机科学中的逻辑
2007-05-23 v1 编程语言
摘要
An algorithm to decide the emptiness of a regular type expression with set operators given a set of parameterised type definitions is presented. The algorithm can also be used to decide the equivalence of two regular type expressions and the inclusion of one regular type expression in another. The algorithm strictly generalises previous work in that tuple distributivity is not assumed and set operators are permitted in type expressions.
引用
@article{arxiv.cs/9811015,
title = {An Emptiness Algorithm for Regular Types with Set Operators},
author = {Lunjin Lu and John G. Cleary},
journal= {arXiv preprint arXiv:cs/9811015},
year = {2007}
}
备注
22 pages