1736 search results - page 223 / 348 » Semantic Annotation for Java |
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
RTA
2007
Springer
14 years 3 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
FUIN
2006
13 years 9 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
ICALT
2007
IEEE
14 years 3 months ago
2007
IEEE
IEEE-LOM is a well-known metadata standard for describing learning resources. However, many problems are associated with this kind of representation, which include the number of f...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...