3591 search results - page 20 / 719 » Typing linear constraints |
ACL
1997
13 years 11 months ago
1997
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture suppo...
SAS
1994
Springer
14 years 2 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
FLOPS
2010
Springer
14 years 5 months ago
2010
Springer
APLAS
2006
ACM
14 years 4 months ago
2006
ACM
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
