1589 search results - page 1 / 318 » Constraints with Variables' Annotations |
ECAI
1998
Springer
13 years 9 months ago
1998
Springer
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
POPL
1998
ACM
13 years 9 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
SAS
1994
Springer
13 years 9 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
CONSTRAINTS
2004
13 years 5 months ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...