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

Thierry Martinez. Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints. In Manuel V. Hermenegildo, Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. Volume 7 of LIPIcs, pages 277-280, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]

Abstract

Abstract is missing.