12 citations · 21 across the 11 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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.PL2014★ 2 cited
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
Miguel Areias, Ricardo Rocha
A critical component in the implementation of a concurrent tabling system is the design of the table space. One of the most successful proposals for representing tables is based on…