PPDP
1999
Springer
14 years 3 months ago
1999
Springer
PADL
1999
Springer
14 years 3 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
PADL
1999
Springer
14 years 3 months ago
1999
Springer
PADL
1999
Springer
14 years 3 months ago
1999
Springer
Galleys have been introduced by Jeff Kingston as one of the key concepts underlying his advanced document formatting system Lout. Although Lout is built on a lazy functional progra...
PADL
1999
Springer
14 years 3 months ago
1999
Springer
PADL
1999
Springer
14 years 3 months ago
1999
Springer
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...
PADL
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
ICCL
1998
IEEE
14 years 3 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
ICCL
1998
IEEE
14 years 3 months ago
1998
IEEE
ICCL
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper presents a lightweight object migration protocol that preserves centralized object semantics yet allows for precise prediction of network behavior. The protocol is impl...