10072 search results - page 296 / 2015 » Composition of Model Programs |
136
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
191
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
148
click to vote
ERLANG
2006
ACM
16 years 19 days 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 ...
172
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
154
click to vote
PPOPP
1990
ACM
15 years 10 months ago
1990
ACM
Many different parallel programming models, including lightweight processes that communicate with shared memory and heavyweight processes that communicate with messages, have been...