7961 search results - page 55 / 1593 » Input-Output Model Programs |
143
click to vote
POPL
1997
ACM
15 years 6 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...
ERLANG
2006
ACM
15 years 8 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 ...
121
click to vote
LPKR
1997
Springer
15 years 6 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 ...
109
Voted
PPOPP
1990
ACM
15 years 6 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...
153
click to vote
ICNS
2006
IEEE
15 years 8 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...