design and implementation of a concurrent logic programming language with linear logic constraints
Uložené v:
| Názov: | design and implementation of a concurrent logic programming language with linear logic constraints |
|---|---|
| Autori: | Martinez, Thierry |
| Prispievatelia: | Thierry Martinez |
| Informácie o vydavateľovi: | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. |
| Rok vydania: | 2010 |
| Predmety: | 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 súboru: | application/pdf |
| DOI: | 10.4230/lipics.iclp.2010.277 |
| Prístupová URL adresa: | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277 |
| Rights: | CC BY NC ND |
| Prístupové číslo: | edsair.dedup.wf.002..9b35773d1a4c20fe967ec20dd2a8ad4a |
| Databáza: | 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 |