{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T22:24:40Z","timestamp":1757629480044,"version":"3.44.0"},"reference-count":19,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1991,12,1]],"date-time":"1991-12-01T00:00:00Z","timestamp":691545600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1991,12,1]],"date-time":"1991-12-01T00:00:00Z","timestamp":691545600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Parallel and Distributed Computing"],"published-print":{"date-parts":[[1991,12]]},"DOI":"10.1016\/0743-7315(91)90100-n","type":"journal-article","created":{"date-parts":[[2004,2,23]],"date-time":"2004-02-23T15:14:09Z","timestamp":1077549249000},"page":"412-423","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"title":["Static analysis of a parallel logic language based on the blackboard model"],"prefix":"10.1016","volume":"13","author":[{"given":"T.","family":"Castagnetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Ciancarini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0743-7315(91)90100-N_BIB1","series-title":"Proc. ACM Symposium on Principles and Practice of Parallel Programming","first-page":"40","article-title":"Design and distributed implementation of the distributed logic language Shared Prolog","author":"Ambriola","year":"1990"},{"issue":"1","key":"10.1016\/0743-7315(91)90100-N_BIB2","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","article-title":"The concurrent logic language Shared Prolog","volume":"13","author":"Brogi","year":"1991","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/0743-7315(91)90100-N_BIB3","series-title":"Languages and Compilers for Parallel Computing","first-page":"114","article-title":"Tuple analysis and partial evaluation strategies in the Linda precompiler","author":"Carriero","year":"1990"},{"key":"10.1016\/0743-7315(91)90100-N_BIB4","unstructured":"Ciancarini, P. Parallel programming with logic languages: A survey. Comput. Languages, to appear."},{"key":"10.1016\/0743-7315(91)90100-N_BIB5","series-title":"Languages and Compilers for Parallel Computing","first-page":"170","article-title":"Blackboard programming in Shared Prolog","author":"Ciancarini","year":"1990"},{"key":"10.1016\/0743-7315(91)90100-N_BIB6","series-title":"Proc. IEEE International Conference on Computer Languages","first-page":"120","article-title":"Coordination languages for open system programming","author":"Ciancarini","year":"1990"},{"issue":"5","key":"10.1016\/0743-7315(91)90100-N_BIB7","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF01407904","article-title":"Blackboard systems in polka","volume":"16","author":"Davison","year":"1987","journal-title":"Internat. J Parallel Programming"},{"key":"10.1016\/0743-7315(91)90100-N_BIB8","doi-asserted-by":"crossref","DOI":"10.1016\/0743-1066(89)90013-7","article-title":"Flow analysis of dynamic logic programs","author":"Debray","year":"1989","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-7315(91)90100-N_BIB9","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/0743-7315(90)90065-W","article-title":"The allocation problem in parallel production systems","volume":"8","author":"Dixit","year":"1990","journal-title":"J. Parallel Distrib. Comput."},{"issue":"1","key":"10.1016\/0743-7315(91)90100-N_BIB10","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","article-title":"Rete: A fast algorithm for the many pattern\/many object pattern match problem","volume":"19","author":"Forgy","year":"1982","journal-title":"Artificial Intelligence"},{"year":"1989","series-title":"Strand: New Concepts in Parallel Programming","author":"Foster","key":"10.1016\/0743-7315(91)90100-N_BIB11"},{"issue":"1","key":"10.1016\/0743-7315(91)90100-N_BIB12","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Trans. Programming Languages Systems"},{"year":"1989","series-title":"Blackboard Architectures and Applications","author":"Jagannathan","key":"10.1016\/0743-7315(91)90100-N_BIB13"},{"key":"10.1016\/0743-7315(91)90100-N_BIB14","series-title":"Proc. ACM OOPSLA ECOOP 90","first-page":"57","article-title":"Actors as a special case of concurrent constraint (logic) programming","volume":"25","author":"Kahn","year":"1990"},{"year":"1987","series-title":"Concurrent Prolog: Collected Papers","author":"Shapiro","key":"10.1016\/0743-7315(91)90100-N_BIB15"},{"year":"1987","series-title":"The Art of Prolog","author":"Sterling","key":"10.1016\/0743-7315(91)90100-N_BIB16"},{"key":"10.1016\/0743-7315(91)90100-N_BIB17","series-title":"Proc. IFIP Information Processing '86","first-page":"415","article-title":"Partial evaluation of Prolog programs and its application to metaprogramming","author":"Takeuchi","year":"1986"},{"year":"1989","series-title":"Parallel Logic Programming Techniques","author":"Taylor","key":"10.1016\/0743-7315(91)90100-N_BIB18"},{"key":"10.1016\/0743-7315(91)90100-N_BIB19","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF03037142","article-title":"A partial evaluation system for Prolog: Some practical considerations","volume":"6","author":"Venken","year":"1988","journal-title":"New Genera. Comput."}],"container-title":["Journal of Parallel and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074373159190100N?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074373159190100N?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T14:30:19Z","timestamp":1757514619000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/074373159190100N"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,12]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1991,12]]}},"alternative-id":["074373159190100N"],"URL":"https:\/\/doi.org\/10.1016\/0743-7315(91)90100-n","relation":{},"ISSN":["0743-7315"],"issn-type":[{"type":"print","value":"0743-7315"}],"subject":[],"published":{"date-parts":[[1991,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Static analysis of a parallel logic language based on the blackboard model","name":"articletitle","label":"Article Title"},{"value":"Journal of Parallel and Distributed Computing","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0743-7315(91)90100-N","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1991 Published by Elsevier Inc.","name":"copyright","label":"Copyright"}]}}