709 search results - page 3 / 142 » Type Checking in XOBE |
CUZA
2004
13 years 5 months ago
2004
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...
HPCA
2011
IEEE
12 years 9 months ago
2011
IEEE
Dynamic languages such as Javascript are the de-facto standard for web applications. However, generating efficient code for dynamically-typed languages is a challenge, because it...
EMSOFT
2008
Springer
13 years 7 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
JAPLL
2007
13 years 5 months ago
2007
Many open domain question answering systems answer questions by first harvesting a large number of candidate answers, and then picking the most promising one from the list. One c...
PPDP
2010
Springer
13 years 3 months ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...