DF Constraint System (1995)
by
Liviu-virgil Ciortuz
| Venue: | In Proceeding of the First International Workshop on Concurrent Constraint Programming, Ph. Codognet |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Ciortuz95dfconstraint,
author = {Liviu-virgil Ciortuz},
title = {DF Constraint System},
booktitle = {In Proceeding of the First International Workshop on Concurrent Constraint Programming, Ph. Codognet},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This work presents DF, a feature constraint system that starting from the main lines of the two major approaches in the field -- the OSF system of Hassan Ait-Kaci, and the CFT system of Gert Smolka -- provides for new significant characteristics: a first-class citizen status offered to (both features and) sorts, finer grained constraints using arguments in the feature context, well-type conditioning between feature values and types, and principle-based completion of sort signature.
