A Linear Logic Programming Language for Concurrent Programming over Graph Structures

• Tipo: Artigo em Revista Científica Internacional
• Data: 2014

Autores

Flavio Cruz (Autor) Outra; Ricardo Rocha (Autor) FCUP; Seth Copen Goldstein (Autor) Outra; Frank Pfenning (Autor) Outra

Revista

Título: Theory and Practice of Logic Programming

Vol. 14

Páginas: 493-507

ISSN: 1471-0684

Editora: Cambridge University Press

Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 7 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-009-PP8

DOI: 10.1017/s1471068414000167

Abstract (EN): 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 at the node level while communication happens between connected nodes. In this paper, we present the syntax and operational semantics of our language and illustrate its use through a number of examples.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 15