12084 search results - page 67 / 2417 » Effect Systems with Subtyping |
LREC
2010
13 years 10 months ago
2010
This paper introduces a new named entity corpus for Dutch. State-of-the-art named entity recognition systems require a substantial annotated corpus to be trained on. Such corpora ...
SASO
2009
IEEE
14 years 3 months ago
2009
IEEE
POPL
2009
ACM
14 years 9 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...