 | 2009 |
|---|
| 5 |       | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
A Tabling Implementation Based on Variables with Multiple Bindings.
ICLP 2009: 190-204 |
| 4 | | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a Complete Scheme for Tabled Execution Based on Program Transformation.
PADL 2009: 224-238 |
| 3 | | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
A Program Transformation for Continuation Call-Based Tabled Execution
CoRR abs/0901.3906: (2009) |
| 2008 |
|---|
| 2 | | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.
ICLP 2008: 795-800 |
| 1 | | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo,
Cláudio Silva,
Ricardo Rocha:
An Improved Continuation Call-Based Implementation of Tabling.
PADL 2008: 197-213 |
