10585 search results - page 652 / 2117 » The Orc Programming Language |
198
Voted
MAGS
2010
15 years 5 months ago
2010
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goa...
226
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
198
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
267
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
171
click to vote
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...