13 search results - page 1 / 3 » Concurrent Constraint Programming at SICS with the Andorra K... |
PPCP
1993
13 years 11 months ago
1993
ICLP
1990
Springer
13 years 11 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
CONCUR
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
POPL
1995
ACM
13 years 11 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...