3713 search results - page 153 / 743 » Constructing a Calculus of Programs |
128
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
121
click to vote
FUIN
2006
15 years 3 months ago
2006
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., vi...
110
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
131
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
143
Voted
HICSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...