1003 search results - page 11 / 201 » Type Inference with Inequalities |
149
Voted
IJCAI
2007
15 years 5 months ago
2007
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
131
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
How is interacting with computer programs different from interacting with people? One answer in the literature is that these two types of interactions are similar. The present stu...
123
Voted
WCRE
1998
IEEE
15 years 7 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
137
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
141
Voted
ECOOP
2011
Springer
14 years 3 months ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...