Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2011.73
URN: urn:nbn:de:0030-drops-31806
URL: https://drops.dagstuhl.de/opus/volltexte/2011/3180/
Jackson, Ethan K. ; Bjørner, Nikolaj ; Schulte, Wolfram
Canonical Regular Types
| pdf-format: |
|
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.
BibTeX - Entry
@InProceedings{jackson_et_al:LIPIcs:2011:3180,
author = {Ethan K. Jackson and Nikolaj Bj\orner and Wolfram Schulte},
title = {{Canonical Regular Types}},
booktitle = {Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) },
pages = {73--83},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-31-6},
ISSN = {1868-8969},
year = {2011},
volume = {11},
editor = {John P. Gallagher and Michael Gelfond},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2011/3180},
URN = {urn:nbn:de:0030-drops-31806},
doi = {10.4230/LIPIcs.ICLP.2011.73},
annote = {Keywords: Regular types, Canonical forms, Type canonizer}
}
| Keywords: | Regular types, Canonical forms, Type canonizer | |
| Seminar: | Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) | |
| Issue date: | 2011 | |
| Date of publication: | 27.06.2011 |
