Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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