{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:03:54Z","timestamp":1726412634867},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634409"},{"type":"electronic","value":"9783540695493"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0002871","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T12:29:42Z","timestamp":1132748982000},"page":"1181-1190","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Improving distributed unification through type analysis"],"prefix":"10.1007","author":[{"given":"Evelina","family":"Lamma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cesare","family":"Stefanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Van Hentenryck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"159_CR1","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci: Warren's Abstract Machine. The MIT Press (1991).","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"159_CR2","doi-asserted-by":"crossref","unstructured":"A. Ciampolini, E. Lamma, P. Mello and C. Stefanelli: Multilevel Copying for Unification in Parallel Architectures. Proc. Second Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society Press (1994) 518\u2013525.","DOI":"10.1109\/EMPDP.1994.592536"},{"key":"159_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot: Abstract Interpretation and Application to Logic Programs. Journal of Logic Programming, 13 (1992) 103\u2013180.","journal-title":"Journal of Logic Programming"},{"key":"159_CR4","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0141-9331(89)90065-3","volume":"13","author":"G. Frosini","year":"1989","unstructured":"G. Frosini, P. Corsini and L. Rizzo: Implementing a parallel Prolog interpreter by using Occam and Transputers. Microprocessors and Microsystems, 13 (1989) 271\u2013279.","journal-title":"Microprocessors and Microsystems"},{"key":"159_CR5","volume-title":"Tree Automata","author":"F. Gecseg","year":"1984","unstructured":"F. Gecseg and M. Steinby: Tree Automata. Akademiai Kiado, Budapest (1984)."},{"key":"159_CR6","unstructured":"N. Heintze and J. Jaffar: A Finite Presentation Theorem for Approximating Logic Programs. Proc. 17th ACM Symp. on Principles of Programming Languages (1990) 197\u2013209."},{"key":"159_CR7","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, D. Cabeza and M. Carro: Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. Proc. Int'l Conf. on Logic Programming ICLP95, The MIT Press (1995).","DOI":"10.7551\/mitpress\/4298.003.0062"},{"issue":"2-3","key":"159_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1992","unstructured":"G. Janssens and M. Bruynooghe: Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. Journal of Logic Programming, 13 (2-3) (1992) 205\u2013258.","journal-title":"Journal of Logic Programming"},{"key":"159_CR9","unstructured":"P. Kacsuk and M. Wise (eds.): Implementations of Distributed Prolog. J. Wiley and Sons (1992)."},{"key":"159_CR10","unstructured":"E. Lamma, P. Mello, C. Stefanelli and P. Van Hentenryck: Consumption-based Distributed Unification in parallel architectures. Proc. APPIA-GULP-PRODE96, M. Martelli and M. Navarro eds., San Sebastian (S) (1996)."},{"key":"159_CR11","doi-asserted-by":"crossref","unstructured":"S. Le Huitouze: A New Data Structure for Implementing Extensions to Prolog. P. Deransart and J. Maluszunski eds, Proc. Programming Language Implementation and Logic Programming, Springer-Verlag (1990) 136\u2013150.","DOI":"10.1007\/BFb0024181"},{"key":"159_CR12","unstructured":"K. Nakajima, N. Ichiyoshi, K. Rokusawa and Y. Inamura: A new external reference management and distributed unification for KL1. ICOT editor, Proc. Int'l Conf. FGCS-88 (1988) 904\u2013913."},{"key":"159_CR13","unstructured":"L. Sterling, E. Shapiro: The Art of Prolog, MIT Press (1986)."},{"key":"159_CR14","unstructured":"Swedish Institute of Computer Science, SICStus Prolog User's Guide, S. Kista (1990)."},{"key":"159_CR15","unstructured":"S. Taylor: Parallel Logic Programming Techniques. Prentice-Hall International Editions (1989)."},{"key":"159_CR16","unstructured":"E. Tick: Parallel Logic Programming. MIT Press (1991)."},{"key":"159_CR17","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, A. Cortesi, and B. Le Charlier: Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22 (3) (1995).","DOI":"10.1016\/0743-1066(94)00021-W"},{"key":"159_CR18","unstructured":"D.H.D. Warren: An abstract Prolog instruction set. Technical Report TR 309, SRI International (1983)."}],"container-title":["Lecture Notes in Computer Science","Euro-Par'97 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0002871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T02:43:19Z","timestamp":1706755399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002871"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0002871","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"26 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}