6 search results - page 1 / 2 » padl 1999 |
PADL
1999
Springer
13 years 9 months ago
1999
Springer
PADL
1999
Springer
13 years 9 months ago
1999
Springer
PADL
1999
Springer
13 years 9 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
13 years 9 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...
PADL
1999
Springer
13 years 9 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 ...