design and implementation of a concurrent logic programming language with linear logic constraints
Uloženo v:
| Název: | design and implementation of a concurrent logic programming language with linear logic constraints |
|---|---|
| Autoři: | Martinez, Thierry |
| Přispěvatelé: | Thierry Martinez |
| Informace o vydavateli: | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. |
| Rok vydání: | 2010 |
| Témata: | Concurrent logic programming, ddc:004 |
| Popis: | 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. |
| Druh dokumentu: | Article Conference object |
| Popis souboru: | application/pdf |
| DOI: | 10.4230/lipics.iclp.2010.277 |
| Přístupová URL adresa: | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277 |
| Rights: | CC BY NC ND |
| Přístupové číslo: | edsair.dedup.wf.002..9b35773d1a4c20fe967ec20dd2a8ad4a |
| Databáze: | OpenAIRE |
Nájsť tento článok vo Web of Science | Abstrakt: | 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 |