Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Canonical Regular Types

Ethan Jackson, Nikolaj Bjorner, and Wolfram Schulte


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.


Publication typeInproceedings
Published inICLP
> Publications > Canonical Regular Types