{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T20:27:31Z","timestamp":1672691251828},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1007\/bf03037945","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T20:08:12Z","timestamp":1240603692000},"page":"385-422","source":"Crossref","is-referenced-by-count":11,"title":["The abstract machine and implementation of parallel Parlog"],"prefix":"10.1007","volume":"10","author":[{"given":"Jim","family":"Crammond","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"BF03037945_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"Clark, K. L. and Gregory, S., \u201cParlog: Parallel Programming in Logic,\u201dACM Transactions Programming Languages & Systems, 8, 1, pp. 1\u201349, Jan. 1986.","journal-title":"ACM Transactions Programming Languages & Systems"},{"key":"BF03037945_CR2","series-title":"Research Report PAR 88\/4","volume-title":"Implementation of Committed Choice Logic Languages of Shared Memory Multiprocessors","author":"J. A. Crammond","year":"1988","unstructured":"Crammond, J. A., \u201cImplementation of Committed Choice Logic Languages of Shared Memory Multiprocessors,\u201dResearch Report PAR 88\/4, Dept. of Computing, Imperial College, London, May 1988.Ph. D. Thesis, Heriot-Watt University, Edinburgh."},{"issue":"6","key":"BF03037945_CR3","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/BF01407816","volume":"17","author":"J. A. Crammond","year":"1988","unstructured":"Crammond, J. A., \u201cA Garbage Collection Algorithm for Shared Memory Parallel Processors,\u201dInternational Journal of Parallel Programming, 17, 6, pp. 497\u2013522, Dec. 1988.","journal-title":"International Journal of Parallel Programming"},{"key":"BF03037945_CR4","unstructured":"Crammond, J. A., \u201cScheduling and Variable Assignment in the Parallel Parlog Implementation,\u201d inProc. of the North American Conference on Logic Programming, Austin, TX, MIT Press, pp. 642\u2013657, Oct. 1990."},{"key":"BF03037945_CR5","volume-title":"The Parallel Parlog User Manual","author":"J. A.. Crammond","year":"1990","unstructured":"Crammond, J. A.. Davison, A., Burt, A. D., Huntbach, M. M. and Lam, M. Y. C.,The Parallel Parlog User Manual, Dept. of Computing Imperial College, London, June 1990."},{"key":"BF03037945_CR6","first-page":"576","volume-title":"Proc. of the fourth International Conference on Logic Programming","author":"T. Disz","year":"1987","unstructured":"Disz, T., Lusk, E. and Overbeek, R., \u201cExperiments with OR-Parallel Logic Programs,\u201d inProc. of the fourth International Conference on Logic Programming, Melbourne, MIT Press, pp. 576\u2013600, May 1987."},{"key":"BF03037945_CR7","doi-asserted-by":"crossref","unstructured":"Gabriel, R. P.,Performance and Evaluation of Lisp Systems, MIT Press, 1985.","DOI":"10.7551\/mitpress\/5298.001.0001"},{"key":"BF03037945_CR8","unstructured":"Gregory, S.,Parallel Logic Programming in PARLOG, Addison-Wesley, 1987."},{"key":"BF03037945_CR9","doi-asserted-by":"crossref","unstructured":"Houri, A. and Shapiro, e., \u201cThe Sequential Abstract Machine for Flat Concurrent Prolog,\u201dJournal of Logic Programming, 7, 2, pp. 85\u2013123, Sept. 1989.","DOI":"10.1016\/0743-1066(89)90011-3"},{"key":"BF03037945_CR10","unstructured":"Inamura, Y. and Onishi, S., \u201cA Detection Algorithm of Perpetual Suspension in KL1,\u201d inProc. of the Seventh International Conference on Logic Programming, Jerusalem, MIT Press, pp. 18\u201330, June 1990."},{"key":"BF03037945_CR11","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-16492-8_83","volume-title":"Proc. of the Third International Conference on Logic Programming","author":"J. Levy","year":"1986","unstructured":"Levy, J., \u201cShared Memory Execution of Committed-Choice Languages,\u201d inProc. of the Third International Conference on Logic Programming, London, Springer-Verlag, pp. 298\u2013312, July 1986."},{"issue":"3","key":"BF03037945_CR12","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E., \u201cThe Family of Concurrent Logic Programming Languages,\u201dComputing Surveys, 21, 3, pp. 412\u2013510, Sept. 1989.","journal-title":"Computing Surveys"},{"key":"BF03037945_CR13","first-page":"452","volume-title":"Proc. of the Sixth International Conference on Logic Programming","author":"E. Tick","year":"1989","unstructured":"Tick, E., \u201cA Performance Comparison of AND-and OR-Parallel Logic Programming Architectures,\u201d inProc. of the Sixth International Conference on Logic Programming, Lisbon, Portugal, MIT Press, pp. 452\u2013467, June 1989."},{"key":"BF03037945_CR14","unstructured":"Tick, E. and Crammond, J. A., \u201cComparison of Two Shared-Memory Emulators for Flat Committed Choice Logic Programs,\u201d inProc. of the International Conference on Parallel Processing, St. Charles, IL, Penn State Press, Aug. 1990."},{"key":"BF03037945_CR15","series-title":"Technical Note","volume-title":"An Abstract Prolog Instruction Set","author":"D. H. D. Warren","year":"1983","unstructured":"Warren D. H. D., \u201cAn Abstract Prolog Instruction Set,\u201dTechnical Note 309, SRI International, Menlo Park, CA, Oct. 1983."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037945.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037945\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:41Z","timestamp":1558558361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["BF03037945"],"URL":"https:\/\/doi.org\/10.1007\/bf03037945","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}