Travelled to:1 × Cyprus
1 × Poland
1 × USA
Collaborated with:D.S.Warren V.S.Costa T.Swift
Talks about:understand (1) approxim (1) suspend (1) program (1) system (1) prolog (1) memori (1) comput (1) resum (1) prune (1)
Person: Luís Fernando Castro
DBLP: Castro:Lu=iacute=s_Fernando
Contributed to:
2003
2002
2001Wrote 3 papers:
- ESOP-2003-CastroW #approximate #logic programming
- Approximate Pruning in Tabled Logic Programming (LFC, DSW), pp. 69–83.
- PADL-2002-CastroSW #evaluation
- Suspending and Resuming Computations in Engines for SLG Evaluation (LFC, TS, DSW), pp. 332–350.
- ICLP-2001-CastroC #comprehension #memory management #prolog
- Understanding Memory Management in Prolog Systems (LFC, VSC), pp. 11–26.