1736 search results - page 126 / 348 » Semantic Annotation for Java |
ENTCS
2007
14 years 10 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
ACL
1998
14 years 11 months ago
1998
This paper presents a novel type of intelligent agent with a multilingual natural language interface, which retrieves information from within a Web site. This agent, named JaBot a...
BIRTHDAY
2010
Springer
14 years 8 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
SEKE
2001
Springer
15 years 2 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...