3441 search results - page 240 / 689 » Parallel Logic Programming Systems |
166
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
153
click to vote
PPOPP
2006
ACM
16 years 11 days ago
2006
ACM
Utility computing is becoming a popular way of exploiting the potential of computational grids. In utility computing, users are provided with computational power in a transparent ...
159
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
131
Voted
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
175
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...