4099 search results - page 2 / 820 » First Class Patterns |
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
AAAI
2012
11 years 7 months ago
2012
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
JNW
2007
13 years 4 months ago
2007
— Our research goal is to measure the exact size of the World Wide Web (i.e., a census). The measure we are interested in is the number of publicly accessible web servers on port...
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
EIT
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract—Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the more pertinent domain objects....