1736 search results - page 198 / 348 » Semantic Annotation for Java |
PLDI
2011
ACM
13 years 14 days ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
Ontologies are increasingly used to represent the intended real-world semantics of data and services in information systems. Unfortunately, different data sources often do not rel...
EDBT
2006
ACM
14 years 9 months ago
2006
ACM
Ontologies are increasingly used to represent the intended real-world semantics of data and services in information systems. Unfortunately, different databases often do not relate ...
IFM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
SAC
2000
ACM
14 years 1 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...