Travelled to:
1 × Italy
1 × Spain
Collaborated with:
T.Swift J.C.Cunha
Talks about:
concurr (2) local (2) implement (1) program (1) normal (1) effici (1) simpl (1) evalu (1) tabl (1)
Person: Rui Marques
DBLP: Marques:Rui
Contributed to:
Wrote 2 papers:
- PADL-2010-MarquesSC #concurrent #implementation #performance
- A Simple and Efficient Implementation of Concurrent Local Tabling (RM, TS, JCC), pp. 264–278.
- ICLP-2008-MarquesS #concurrent #evaluation #source code
- Concurrent and Local Evaluation of Normal Programs (RM, TS), pp. 206–222.