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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theory and practice of logic programming Ročník 14; číslo 4-5; s. 493 - 507
Hlavní autori:	CRUZ, FLAVIO, ROCHA, RICARDO, GOLDSTEIN, SETH COPEN, PFENNING, FRANK
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.07.2014
Predmet:	Algorithms Consumption Graphs Logic Logic programming Programming Regular Papers Semantics Syntax Concurrent Programming Graphs Language Design Linear Logic Semantics
ISSN:	1471-0684, 1475-3081
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!