output
20032026
most citedThe Gaia mission

7.1k citations

researchers with a paper here
collaborating institutions
Showing 2009 · cs.PLShow all

1 paper · 2 filters

cs.PL2009

A Program Transformation for Continuation Call-Based Tabled Execution

Pablo Chico de Guzman, Manuel Carro, Manuel V. Hermenegildo

The advantages of tabled evaluation regarding program termination and reduction of complexity are well known --as are the significant implementation, portability, and maintenance e…