756 search results - page 12 / 152 » Understanding COBOL Systems using Inferred Types |
ECOOP
2005
Springer
14 years 1 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
SIGIR
2011
ACM
2011
ACM
Find it if you can: a game for modeling different types of web search success using interaction data
12 years 10 months ago
A better understanding of strategies and behavior of successful searchers is crucial for improving the experience of all searchers. However, research of search behavior has been s...