10.4230/LIPICS.ICLP.2011.73
Jackson, Ethan K.
Ethan K.
Jackson
Bjørner, Nikolaj
Nikolaj
Bjørner
Schulte, Wolfram
Wolfram
Schulte
Canonical Regular Types
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2011
ConferencePaper
Computer Science
000 Computer science, knowledge, general works
Herbstritt, Marc
Marc
Herbstritt
2011-06-27
2011
en
11 pages
application/pdf
1.0
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC-BY-NC-ND)
Regular types represent sets of structured data, and have been used in logic programming (LP) for verification. However, first-class regular type systems are uncommon in LP languages. In this paper we present a new approach to regular types, based on type canonization, aimed at providing a practical first-class regular type system.