{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:56Z","timestamp":1750306676419,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T00:00:00Z","timestamp":1410134400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,8]]},"DOI":"10.1145\/2643135.2643150","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T14:04:29Z","timestamp":1436191469000},"page":"43-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs"],"prefix":"10.1145","author":[{"given":"Flavio","family":"Cruz","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA 15213, USA"}]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[{"name":"CRACS & INESC TEC, University of Porto, Rua Campo Alegre 1021\/1055, 4169-007 Porto, Portugal"}]},{"given":"Seth Copen","family":"Goldstein","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA 15213, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397627"},{"key":"e_1_3_2_1_2_1","first-page":"1531","volume-title":"Or-parallel execution of prolog on bc-machine","author":"Ali K. A. M.","year":"1988","unstructured":"K. A. M. Ali . Or-parallel execution of prolog on bc-machine . In R. A. Kowalski and K. A. Bowen, editors, ICLP\/SLP, pages 1531 -- 1545 . MIT Press , 1988 . ISBN 0-262-61056-6. URL http:\/\/dblp.uni-trier.de\/db\/conf\/iclp\/iclp88.html#Ali88. K. A. M. Ali. Or-parallel execution of prolog on bc-machine. In R. A. Kowalski and K. A. Bowen, editors, ICLP\/SLP, pages 1531--1545. MIT Press, 1988. ISBN 0-262-61056-6. URL http:\/\/dblp.uni-trier.de\/db\/conf\/iclp\/iclp88.html#Ali88."},{"key":"e_1_3_2_1_3_1","volume-title":"Workshop on Self-Reconfigurable Robots\/Systems and Applications at IROS 2007","author":"Ashley-Rollman M. P.","year":"2007","unstructured":"M. P. Ashley-Rollman , M. D. Rosa , S. S. Srinivasa , P. Pillai , S. C. Goldstein , and J. D. Campbell . Declarative programming for modular robots . In Workshop on Self-Reconfigurable Robots\/Systems and Applications at IROS 2007 , 2007 . M. P. Ashley-Rollman, M. D. Rosa, S. S. Srinivasa, P. Pillai, S. C. Goldstein, and J. D. Campbell. Declarative programming for modular robots. In Workshop on Self-Reconfigurable Robots\/Systems and Applications at IROS 2007, 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02846-5_24"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2071368.2071370"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_13"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/154766.155362"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000512"},{"key":"e_1_3_2_1_9_1","volume-title":"30th International Conference on Logic Programming (ICLP 2014","author":"Cruz F.","year":"2014","unstructured":"F. Cruz , R. Rocha , S. Goldstein , and F. Pfenning . A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Journal of Theory and Practice of Logic Programming , 30th International Conference on Logic Programming (ICLP 2014 ), Special Issue, 14(4 & 5):493- -507, July 2014 . F. Cruz, R. Rocha, S. Goldstein, and F. Pfenning. A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Journal of Theory and Practice of Logic Programming, 30th International Conference on Logic Programming (ICLP 2014), Special Issue, 14(4 & 5):493--507, July 2014."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1993.1070"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_13_1","volume-title":"Artificial Intelligence and Statistics (AISTATS)","author":"Gonzalez J.","year":"2009","unstructured":"J. Gonzalez , Y. Low , and C. Guestrin . Residual splash for optimally parallelizing belief propagation . In Artificial Intelligence and Statistics (AISTATS) , 2009 . J. Gonzalez, Y. Low, and C. Guestrin. Residual splash for optimally parallelizing belief propagation. In Artificial Intelligence and Statistics (AISTATS), 2009."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/504083.504085"},{"key":"e_1_3_2_1_15_1","volume-title":"D. Pym and M. Winikoff Programming in Lygon: An Overview In International Conference on Algebraic Methodology and Software Technology (AMAST), 391--405","author":"Harland J.","year":"1996","unstructured":"J. Harland , D. Pym and M. Winikoff Programming in Lygon: An Overview In International Conference on Algebraic Methodology and Software Technology (AMAST), 391--405 , 1996 . J. Harland, D. Pym and M. Winikoff Programming in Lygon: An Overview In International Conference on Algebraic Methodology and Software Technology (AMAST), 391--405, 1996."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1036"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068405002413"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273005"},{"key":"e_1_3_2_1_20_1","volume-title":"MIT Press","author":"Kacsuk P.","year":"1990","unstructured":"P. Kacsuk . Execution Models of PROLOG for Parallel Computers . MIT Press , Cambridge, MA, USA , 1990 . ISBN 0262111497. P. Kacsuk. Execution Models of PROLOG for Parallel Computers. MIT Press, Cambridge, MA, USA, 1990. ISBN 0262111497."},{"key":"e_1_3_2_1_21_1","volume-title":"Abstract Machine Models for Parallel and Distributed Computing","author":"Kara M.","year":"1997","unstructured":"M. Kara , J. R. Davy , D. Goodeve , and J. Nash , editors . Abstract Machine Models for Parallel and Distributed Computing . IOS Press , Amsterdam, The Netherlands, The Netherlands, 1997 . ISBN 90-5199-267-X. M. Kara, J. R. Davy, D. Goodeve, and J. Nash, editors. Abstract Machine Models for Parallel and Distributed Computing. IOS Press, Amsterdam, The Netherlands, The Netherlands, 1997. ISBN 90-5199-267-X."},{"key":"e_1_3_2_1_22_1","volume-title":"Concurrent goal-based execution of constraint handling rules. CoRR, abs\/1006.3039","author":"Lam E. S. L.","year":"2010","unstructured":"E. S. L. Lam and M. Sulzmann . Concurrent goal-based execution of constraint handling rules. CoRR, abs\/1006.3039 , 2010 . E. S. L. Lam and M. Sulzmann. Concurrent goal-based execution of constraint handling rules. CoRR, abs\/1006.3039, 2010."},{"key":"e_1_3_2_1_23_1","volume-title":"USA","author":"Lin Y.","year":"1988","unstructured":"Y. Lin and V. Kumar . And-parallel execution of logic programs on a shared memory multiprocessor:a summary of results. Technical report, Austin, TX , USA , 1988 . Y. Lin and V. Kumar. And-parallel execution of logic programs on a shared memory multiprocessor:a summary of results. Technical report, Austin, TX, USA, 1988."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1007\/3-540-44469-6_70","volume-title":"International Conference on Database and Expert System Applications (DEXA)","volume":"1873","author":"Liu M.","year":"1998","unstructured":"M. Liu . Extending datalog with declarative updates . In International Conference on Database and Expert System Applications (DEXA) , volume 1873 , pages 752 -- 763 , 1998 . M. Liu. Extending datalog with declarative updates. In International Conference on Database and Expert System Applications (DEXA), volume 1873, pages 752--763, 1998."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142485"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069778"},{"key":"e_1_3_2_1_27_1","first-page":"340","volume-title":"Conference on Uncertainty in Artificial Intelligence (UAI)","author":"Low Y.","year":"2010","unstructured":"Y. Low , J. Gonzalez , A. Kyrola , D. Bickson , C. Guestrin , and J. M. Hellerstein . Graphlab: A new framework for parallel machine learning . In Conference on Uncertainty in Artificial Intelligence (UAI) , pages 340 -- 349 , 2010 . Y. Low, J. Gonzalez, A. Kyrola, D. Bickson, C. Guestrin, and J. M. Hellerstein. Graphlab: A new framework for parallel machine learning. In Conference on Uncertainty in Artificial Intelligence (UAI), pages 340--349, 2010."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807184"},{"key":"e_1_3_2_1_29_1","first-page":"1","volume-title":"in Computational Logic","author":"Miller D.","year":"1985","unstructured":"D. Miller . An overview of linear logic programming . In in Computational Logic , pages 1 -- 5 , 1985 . D. Miller. An overview of linear logic programming. In in Computational Logic, pages 1--5, 1985."},{"key":"e_1_3_2_1_30_1","first-page":"272","volume-title":"A multiple-conclusion meta logic In Logic in Computer Science (LICS)","author":"Miller D.","year":"1994","unstructured":"D. Miller . A multiple-conclusion meta logic In Logic in Computer Science (LICS) , pages 272 -- 281 , 1994 . D. Miller. A multiple-conclusion meta logic In Logic in Computer Science (LICS), pages 272--281, 1994."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00039-9"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4330020404"},{"key":"e_1_3_2_1_35_1","first-page":"243","volume-title":"II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development","author":"Warren D. H. D.","year":"1987","unstructured":"D. H. D. Warren . Or-parallel execution models of prolog . In II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development , pages 243 -- 259 , New York, NY , USA, 1987 . Springer-Verlag New York , Inc. ISBN 0-387-17611-X. URL http:\/\/dl.acm.org\/citation.cfm?id=67683.67699. D. H. D. Warren. Or-parallel execution models of prolog. In II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development, pages 243--259, New York, NY, USA, 1987. Springer-Verlag New York, Inc. ISBN 0-387-17611-X. URL http:\/\/dl.acm.org\/citation.cfm?id=67683.67699."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24849-1_23"}],"event":{"name":"PPDP '14: 16th International Symposium on Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Canterbury United Kingdom","acronym":"PPDP '14"},"container-title":["Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2643135.2643150","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2643135.2643150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:01Z","timestamp":1750230061000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2643135.2643150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,8]]},"references-count":32,"alternative-id":["10.1145\/2643135.2643150","10.1145\/2643135"],"URL":"https:\/\/doi.org\/10.1145\/2643135.2643150","relation":{},"subject":[],"published":{"date-parts":[[2014,9,8]]},"assertion":[{"value":"2014-09-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}