Cláudio Silva

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

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)
Ricardo Rocha, Cláudio Silva, Ricardo Lopes
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. ICLP (2007)
Cláudio Silva, Ricardo Rocha, Ricardo Lopes
An External Module for Implementing Linear Tabling in Prolog. ICLP (2006)