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…