Abstract
My thesis aims at designing a practical language as close as possible to the linear concurrent constraint (LCC) theory. The main contribution is a new operational semantics which behaves as an angelic scheduler with a tractable algorithmic complexity. This operational semantics is sound and complete with respect to the logical semantics and allows the construction of a rich language over a very simple kernel.
BibTeX - Entry
@InProceedings{martinez:LIPIcs:2010:2608,
author = {Thierry Martinez},
title = {{Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints}},
booktitle = {Technical Communications of the 26th International Conference on Logic Programming},
pages = {277--280},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-17-0},
ISSN = {1868-8969},
year = {2010},
volume = {7},
editor = {Manuel Hermenegildo and Torsten Schaub},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2608},
URN = {urn:nbn:de:0030-drops-26085},
doi = {10.4230/LIPIcs.ICLP.2010.277},
annote = {Keywords: Concurrent logic programming}
}
|
Keywords: |
|
Concurrent logic programming |
|
Collection: |
|
Technical Communications of the 26th International Conference on Logic Programming |
|
Issue Date: |
|
2010 |
|
Date of publication: |
|
25.06.2010 |
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)