A Linear Logic Programming Language for Concurrent Programming over Graph Structures
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, L...
Wedi'i Gadw mewn:
| Prif Awduron: | , , , |
|---|---|
| Fformat: | Erthygl |
| Cyhoeddwyd: |
2014
|
| Pynciau: | |
| Mynediad Ar-lein: | https://arxiv.org/abs/1405.3556 http://arxiv.org/abs/1405.3556 |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|