{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:28:12Z","timestamp":1746289692882,"version":"3.40.3"},"publisher-location":"London","reference-count":13,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_20","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"310-324","source":"Crossref","is-referenced-by-count":1,"title":["Sequentializing Parallel Programs"],"prefix":"10.1007","author":[{"given":"Mark","family":"Korsloot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evan","family":"Tick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Compilers, Principles, Techniques, and Tools","author":"A Aho","year":"1985","unstructured":"A. Aho, R. Sethi, and J. Ullman. Compilers, Principles, Techniques, and Tools. Addison-Wesley, Reading MA, 1985."},{"key":"20_CR2","first-page":"171","volume-title":"Conference on Functional Programming Languages and Computer Architecture","author":"KL Clark","year":"1981","unstructured":"K. L. Clark and S. Gregory. A Relational Language for Parallel Programming. In Conference on Functional Programming Languages and Computer Architecture, pages 171\u2013178. ACM, Portsmouth NH, October 1981."},{"key":"20_CR3","volume-title":"Implementation of Committed-Choice Logic Languages on Shared-Memory Multiprocessors. PhD thesis","author":"JA Crammond","year":"1988","unstructured":"J. A. Crammond. Implementation of Committed-Choice Logic Languages on Shared-Memory Multiprocessors. PhD thesis, Heriot-Watt University, Endinburgh, May 1988."},{"key":"20_CR4","first-page":"174","volume-title":"Sigplan 90 Conference on Programming Language Design and Implementation","author":"SK Debray","year":"1990","unstructured":"S. K. Debray, N.-W. Lin, and M. Hermenegildo. Task Granularity Analysis in Logic Programs. In SIGPLAN \u201980 Conference on Programming Language Design and Implementation, pages 174\u2013188, June 1990."},{"key":"20_CR5","volume-title":"Parallel Logic Programming in PARLOG: The Language and its Implementation. Addison-Wesley Ltd.","author":"S Gregory","year":"1987","unstructured":"S. Gregory. Parallel Logic Programming in PARLOG: The Language and its Implementation. Addison-Wesley Ltd., Wokingham, England, 1987."},{"key":"20_CR6","unstructured":"A. Harsat and R. Ginosar. CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog. In International Conference on Fifth Generation Computer Systems,pages 962\u2013969, Tokyo, November 1988. ICOT."},{"key":"20_CR7","first-page":"468","volume-title":"International Symposium on Logic Programming","author":"Y Kimura","year":"1987","unstructured":"Y. Kimura and T. Chikayama. An Abstract KL1 Machine and its Instruction Set. In International Symposium on Logic Programming, pages 468\u2013477. San Francisco, August 1987."},{"key":"20_CR8","first-page":"463","volume-title":"International Conference on Logic Programming, number 225 in Lecture Notes in Computer Science","author":"CS Mellish","year":"1986","unstructured":"C. S. Mellish. Abstract Interpretation of Prolog Programs. In International Conference on Logic Programming, number 225 in Lecture Notes in Computer Science, pages 463\u2013475. Imperial College, Springer-Verlag, July 1986."},{"volume-title":"Concurrent Prolog: Collected Papers, volume 1,2","year":"1987","key":"20_CR9","unstructured":"E.Y. Shapiro, editor. Concurrent Prolog: Collected Papers, volume 1,2. MIT Press, Cambridge MA, 1987."},{"key":"20_CR10","volume-title":"Parallel Logic Programming Techniques","author":"S Taylor","year":"1989","unstructured":"S. Taylor. Parallel Logic Programming Techniques. Prentice Hall, Englewood Cliffs, NJ, 1989."},{"issue":"2","key":"20_CR11","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF03037210","volume":"7","author":"E Tick","year":"1990","unstructured":"E. Tick. Compile-Time Granularity Analysis of Parallel Logic Programming Languages. New Generation Computing, 7 (2): 325\u2013337, January 1990.","journal-title":"New Generation Computing"},{"key":"20_CR12","volume-title":"Personal communication","author":"K Ueda","year":"1990","unstructured":"K. Ueda. personal communication, November 1990."},{"key":"20_CR13","first-page":"3","volume-title":"International Conference on Logic Programming","author":"K Ueda","year":"1990","unstructured":"K. Ueda and M. Morita A New Implementation Technique for Flat GHC. In International Conference on Logic Programming, pages 3\u201317. Jerusalem, MIT Press, June 1990."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T22:15:22Z","timestamp":1675980922000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_20","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}