Travelled to:1 × Portugal
2 × USA
Collaborated with:R.Rocha R.Lopes P.C.d.Guzmán M.Carro M.V.Hermenegildo
Talks about:implement (3) tabl (3) prolog (2) base (2) transform (1) suspens (1) program (1) continu (1) linear (1) improv (1)
Person: Cláudio Silva
DBLP: Silva:Cl=aacute=udio
Contributed to:
2008
20072006Wrote 3 papers:
- PADL-2008-GuzmanCHSR #continuation #implementation
- An Improved Continuation Call-Based Implementation of Tabling (PCdG, MC, MVH, CS, RR), pp. 197–213.
- ICLP-2007-RochaSL #on the #program transformation #prolog
- On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.
- ICLP-2006-SilvaRL #implementation #linear #prolog
- An External Module for Implementing Linear Tabling in Prolog (CS, RR, RL), pp. 429–430.