1626 search results - page 37 / 326 » Subtyping with Power Types |
ISLPED
1998
ACM
13 years 12 months ago
1998
ACM
PODC
1997
ACM
13 years 12 months ago
1997
ACM
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
ACL
2006
13 years 9 months ago
2006
As natural language understanding research advances towards deeper knowledge modeling, the tasks become more and more complex: we are interested in more nuanced word characteristi...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...