|
Linear Objects. A concurrent logic programming language based on linear logic, an extension of {Horn logic} with a new kind of {OR-concurrency}. ["LO and Behold! Concurrent Structured Processes", J. Andreoli et al, SIGPLAN Notices 25(10):44-56 (OOPSLA/ECOOP '90) (Oct 1990)]. スポンサード リンク
|