PPDP
1999
Springer
14 years 8 hour ago
1999
Springer
PADL
1999
Springer
14 years 9 hour 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 9 hour ago
1999
Springer
14
Voted
PADL
1999
Springer
14 years 9 hour 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 9 hour ago
1999
Springer
PADL
1999
Springer
14 years 9 hour 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 9 hour 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 12 hour 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 12 hour ago
1998
IEEE
ICCL
1998
IEEE
14 years 12 hour 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...