3441 search results - page 240 / 689 » Parallel Logic Programming Systems |
120
Voted
CONCUR
2005
Springer
15 years 9 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...
115
click to vote
PPOPP
2006
ACM
15 years 9 months 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 ...
126
click to vote
CADE
2005
Springer
16 years 3 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...
102
Voted
EUROPAR
2003
Springer
15 years 8 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...
133
Voted
TACAS
1997
Springer
15 years 7 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...