Luís Fernando Castro

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

Luís Fernando Castro, David Scott Warren
Approximate Pruning in Tabled Logic Programming. ESOP (2003)
Luís Fernando Castro, Terrance Swift, David Scott Warren
Suspending and Resuming Computations in Engines for SLG Evaluation. PADL (2002)
Ricardo Lopes, Luís Fernando Castro, Vítor Santos Costa
From simulation to practice: cache performance study of a Prolog system. MSP/ISMM (2002)
Luís Fernando Castro, David Scott Warren
An Environment for the Exploration of Non Monotonic Logic Programs. WLPE (2001)
Luís Fernando Castro, Vítor Santos Costa
Understanding Memory Management in Prolog Systems. ICLP (2001)
Luís Fernando Castro, Vítor Santos Costa, Cláudio F. R. Geyer, Fernando M. A. Silva, Patrícia Kayser Vargas, Manuel Eduardo Correia
DAOS - Scalable And-Or Parallelism. Euro-Par (1999)