design and implementation of a concurrent logic programming language with linear logic constraints
Saved in:
| Title: | design and implementation of a concurrent logic programming language with linear logic constraints |
|---|---|
| Authors: | Martinez, Thierry |
| Contributors: | Thierry Martinez |
| Publisher Information: | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. |
| Publication Year: | 2010 |
| Subject Terms: | Concurrent logic programming, ddc:004 |
| Description: | 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. |
| Document Type: | Article Conference object |
| File Description: | application/pdf |
| DOI: | 10.4230/lipics.iclp.2010.277 |
| Access URL: | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277 |
| Rights: | CC BY NC ND |
| Accession Number: | edsair.dedup.wf.002..9b35773d1a4c20fe967ec20dd2a8ad4a |
| Database: | OpenAIRE |
Nájsť tento článok vo Web of Science | 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. |
|---|---|
| DOI: | 10.4230/lipics.iclp.2010.277 |