id: 06033356
dt: a
an: 06033356
au: Martinez, Thierry
ti: Design and implementation of a concurrent logic programming language with
    linear logic constraints.
so: Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th
    international conference on logic programming (ICLP 2010), July
    16‒19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl ‒
    Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPICS ‒
    Leibniz International Proceedings in Informatics 7, 277-280, electronic
    only (2010).
py: 2010
pu: Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik
la: EN
cc: 
ut: concurrent logic programming
ci: 
li: doi:10.4230/LIPIcs.ICLP.2010.277
    http://subs.emis.de/LIPIcs/frontdoor_6f82.html
ab: Summary: 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.
rv: