On Dart-Zobel algorithm for testing regular type inclusion

Authors
Lu, LJ
Citation
Lj. Lu, On Dart-Zobel algorithm for testing regular type inclusion, ACM SIGPL N, 36(9), 2001, pp. 81-85
Citations number
20
Categorie Soggetti
Computer Science & Engineering
Journal title
ACM SIGPLAN NOTICES
ISSN journal
15232867 → ACNP
Volume
36
Issue
9
Year of publication
2001
Pages
81 - 85
Database
ISI
SICI code
1523-2867(200109)36:9<81:ODAFTR>2.0.ZU;2-5
Abstract
This paper answers open questions about the correctness and the completenes s of Dart-Zobel algorithm for testing the inclusion relation between two re gular types. We show that the algorithm is complete but incorrect for regul ar types.