2625 search results - page 333 / 525 » The development of the Emerald programming language |
154
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
176
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...
183
click to vote
FORTE
2007
15 years 8 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
167
click to vote
PLDI
2006
ACM
16 years 15 days ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...
168
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...