Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints

Author Thierry Martinez



PDF
Thumbnail PDF

File

LIPIcs.ICLP.2010.277.pdf
  • Filesize: 91 kB
  • 4 pages

Document Identifiers

Author Details

Thierry Martinez

Cite AsGet BibTex

Thierry Martinez. Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 277-280, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/LIPIcs.ICLP.2010.277

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.
Keywords
  • Concurrent logic programming

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail