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...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 14; no. 4-5; pp. 493 - 507
Main Authors:	CRUZ, FLAVIO, ROCHA, RICARDO, GOLDSTEIN, SETH COPEN, PFENNING, FRANK
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2014
Subjects:	Algorithms Consumption Graphs Logic Logic programming Programming Regular Papers Semantics Syntax Concurrent Programming Graphs Language Design Linear Logic Semantics
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!