Showing cs.LOShow all
2 papers · 1 filter
cs.LO1998
An Emptiness Algorithm for Regular Types with Set Operators
Lunjin Lu, John G. Cleary
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 d…
cs.LO1998
On Dart-Zobel Algorithm for Testing Regular Type Inclusion
Lunjin Lu, John G. Cleary
This paper answers open questions about the correctness and the completeness of Dart-Zobel algorithm for testing the inclusion relation between two regular types. We show that the…