design and implementation of a concurrent logic programming language with linear logic constraints
Gespeichert in:
| Titel: | design and implementation of a concurrent logic programming language with linear logic constraints |
|---|---|
| Autoren: | Martinez, Thierry |
| Weitere Verfasser: | Thierry Martinez |
| Verlagsinformationen: | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. |
| Publikationsjahr: | 2010 |
| Schlagwörter: | Concurrent logic programming, ddc:004 |
| Beschreibung: | 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. |
| Publikationsart: | Article Conference object |
| Dateibeschreibung: | application/pdf |
| DOI: | 10.4230/lipics.iclp.2010.277 |
| Zugangs-URL: | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277 |
| Rights: | CC BY NC ND |
| Dokumentencode: | edsair.dedup.wf.002..9b35773d1a4c20fe967ec20dd2a8ad4a |
| Datenbank: | 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 |