Cláudio Silva

According to our database, Cláudio Silva authored at least 3 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

An Improved Continuation Call-Based Implementation of Tabling.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2008

2007

On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.

Ricardo Rocha, Cláudio Silva, Ricardo Lopes

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

An External Module for Implementing Linear Tabling in Prolog.

Cláudio Silva, Ricardo Rocha, Ricardo Lopes

Proceedings of the Logic Programming, 22nd International Conference, 2006