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

摘要

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. Thi