12 citations · 12 across the 1 of their papers we have counts for
2 papers
cs.PL2014★ 12 cited
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Flavio Cruz, Ricardo Rocha, Seth Copen Goldstein +1
We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an…
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…