1736 search results - page 23 / 348 » Semantic Annotation for Java |
IEEESCC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Research in the field of semantic Web services aims at automating the discovery, selection, composition and management of Web services based on semantic descriptions. However, t...
COOPIS
2002
IEEE
14 years 22 days ago
2002
IEEE
CSMR
2010
IEEE
13 years 2 months ago
2010
IEEE
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...
DAGSTUHL
2001
13 years 9 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
ENTCS
2006
13 years 7 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...