CLL: A concurrent language built from logical principles Export

@misc{citeulike:1426600, abstract = {We present CLL, a concurrent programming language that symmetrically integrates functional and concurrent logic programming. First, a core functional language is obtained from a proof-term assignment to a variant of intuitionistic linear logic, called FOMLL, via the Curry-Howard isomorphism. Next, we introduce a Chemical Abstract Machine (CHAM) whose molecules are typed terms of this functional language. Rewrite rules for this CHAM are derived by augmenting proof-search rules for FOMLL with...}, author = {Garg, D.}, citeulike-article-id = {1426600}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/garg05cll.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/garg05cll.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/garg05cll.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/garg05cll.html}, keywords = {concurrency, concurrent-logic-programming}, posted-at = {2007-07-04 17:58:27}, priority = {2}, title = {CLL: A concurrent language built from logical principles}, url = {http://citeseer.ist.psu.edu/garg05cll.html}, year = {2005} }

TY - GEN ID - citeulike:1426600 L3 - citeulike-article-id:1426600 N2 - We present CLL, a concurrent programming language that symmetrically integrates functional and concurrent logic programming. First, a core functional language is obtained from a proof-term assignment to a variant of intuitionistic linear logic, called FOMLL, via the Curry-Howard isomorphism. Next, we introduce a Chemical Abstract Machine (CHAM) whose molecules are typed terms of this functional language. Rewrite rules for this CHAM are derived by augmenting proof-search rules for FOMLL with... TI - CLL: A concurrent language built from logical principles KW - concurrency KW - concurrent-logic-programming AU - Garg, D PY - 2005/// UR - http://citeseer.ist.psu.edu/garg05cll.html ER -