310 search results - page 14 / 62 » Implementing Java modeling language contracts with AspectJ |
111
click to vote
CONCURRENCY
2007
15 years 4 months ago
2007
In this paper we present JaMP, an adaptation of the OpenMP standard. JaMP is fitted to Jackal, a software-based DSM implementation for Java. While the set of supported directives...
157
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
171
click to vote
PLDI
2011
ACM
14 years 7 months 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...
148
click to vote
ENTCS
2006
15 years 4 months ago
2006
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
142
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...