Canonical Regular Types

ethan jackson, nikolaj bjorner, and wolfram schulte

Abstract

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.

Details

Publication typeProceedings
Published inICLP (Technical Communications)
> Publications > Canonical Regular Types