A Linear Logic Programming Language for Concurrent Programming over Graph Structures

@article{Cruz2014ALL,
  title={A Linear Logic Programming Language for Concurrent Programming over Graph Structures},
  author={Fl{\'a}vio Cruz and Ricardo Rocha and Seth Copen Goldstein and Frank Pfenning},
  journal={TPLP},
  year={2014},
  volume={14},
  pages={493-507}
}
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 expressive logical system where logical facts can be consumed. Because LM integrates both classical and linear logic, LM tends to be more expressive than other logic programming languages. LM programs are naturally concurrent because facts are partitioned by nodes of a graph data structure. Computation is performed… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS
12 Citations
28 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 28 references

Similar Papers

Loading similar papers…