12 citations · 21 across the 11 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.PL2011★ 5 cited
Global Trie for Subterms
João Raimundo, Ricardo Rocha
A critical component in the implementation of an efficient tabling system is the design of the table space. The most popular and successful data structure for representing tables i…
cs.PL2011
Single Time-Stamped Tries for Retroactive Call Subsumption
Flavio Cruz, Ricardo Rocha
Tabling is an evaluation strategy for Prolog programs that works by storing answers in a table space and then by using them in similar subgoals. Some tabling engines use call by su…