A Linear Logic Programming Language for Concurrent Programming over Graph Structures

DOI10.1017/S1471068414000167zbMath1307.68014arXiv1405.3556MaRDI QIDQ2931260

Seth Copen Goldstein, Ricardo Rocha, Flávio F. Cruz, Frank Pfenning

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.3556

zbMATH Keywords

graphslinear logicsemanticsconcurrent programminglanguage design

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Logic in computer science (03B70) Data structures (68P05) Logic programming (68N17)

Uses Software

• GraphLab
• Pregel

Cites Work

• A note on two problems in connexion with graphs
• Linear logic
• Analysing graph transformation systems through constraint handling rules
• Logic Programming with Focusing Proofs in Linear Logic
• Constructions for the Solution of the m Queens Problem