709 search results - page 62 / 142 » Type Checking in XOBE |
POPL
2008
ACM
14 years 9 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
IWPC
2006
IEEE
14 years 2 months ago
2006
IEEE
Current change history analysis approaches rely on information provided by versioning systems such as CVS. Therefore, changes are not related to particular source code entities su...
POPL
1999
ACM
14 years 1 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...