1100 search results - page 70 / 220 » Instrumenting annotated programs |
143
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
To take the first step beyond keyword-based search toward entity-based search, suitable token spans ("spots") on documents must be identified as references to real-world...
145
click to vote
ISPAN
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
144
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
239
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
134
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...