{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:12Z","timestamp":1725467412183},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540558446"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-55844-6_125","type":"book-chapter","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T05:22:29Z","timestamp":1152768149000},"page":"24-38","source":"Crossref","is-referenced-by-count":1,"title":["Independent AND-parallel implementation of narrowing"],"prefix":"10.1007","author":[{"given":"Herbert","family":"Kuchen","sequence":"first","affiliation":[]},{"given":"Juan Jos\u00e9","family":"Moreno-Navarro","sequence":"additional","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"P. Bosco, C. Cecchi, C. Moiso, M. Porta, G. Sofi: Logic and Functional Programming on Distributed Memory Architectures, Proc. 7th ICLP, 325\u2013339,(1990)."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"S. Debray, N.-W. Lin, M. Hermenegildo: Task Granularity Analysis in Logic Programs, Proc. ACM Conf. on Programming Language Design and Implementation, 1990.","DOI":"10.1145\/93542.93564"},{"key":"2_CR3","unstructured":"D. DeGroot: Restricted And-parallelism, Conf. on 5th Generation Comp. Syst., 1984."},{"key":"2_CR4","unstructured":"G. Gupta, V. Santos Costa, R. Yang, M.V. Hermenegildo: IDIOM: A Model Integrating Dependent-, Independent-, and Or-parallelism, Proc. of the 1991 Int'l. Logic Programming Symposium, MIT press."},{"issue":"4","key":"2_CR5","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. Halstead","year":"1985","unstructured":"R. Halstead: Multilisp: A Language for Concurrent Symbolic Computation, ACM Trans. on Prog. Languages and Systems 7:4, October 1985, pp. 501\u2013538","journal-title":"ACM Trans. on Prog. Languages and Systems"},{"key":"2_CR6","first-page":"25","volume":"225","author":"M.V. Hermenegildo","year":"1986","unstructured":"M.V. Hermenegildo: An Abstract Machine for Restricted And Parallel Execution of Logic Programs, 3rd Int. Conf. on Logic Programming, LNCS 225, 25\u201339 (1986).","journal-title":"3rd Int. Conf. on Logic Programming, LNCS"},{"key":"2_CR7","first-page":"40","volume":"225","author":"M.V. Hermenegildo","year":"1986","unstructured":"M.V. Hermenegildo, R.I. Nasr: Efficient Management of Backtracking in And-parallelism, 3rd Int. Conf. on Logic Programming, LNCS 225, 40\u201350 (1986).","journal-title":"3rd Int. Conf. on Logic Programming, LNCS"},{"key":"2_CR8","unstructured":"M.V. Hermenegildo, M. Carro: Experimenting with Independent And-Parallel Prolog using Standard Prolog, Proc. PRODE'91, and Tech. Report, UP Madrid."},{"key":"2_CR9","unstructured":"M.V. Hermenegildo, K.J. Green: &-Prolog and its performance: Exploiting Independent And-Parallelism, Proc. 7th ICLP, 253\u2013268, (1990)."},{"key":"2_CR10","unstructured":"M. Hermenegildo, F. Rossi: Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions, Journal of Logic Programming, to appear (1992)."},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/3-540-52592-0_69","volume":"432","author":"H. Kuchen","year":"1990","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno Navarro, M. Rodr\u00edguez Artalejo: Graph-Based Implementation of a Functional Logic Language, ESOP, LNCS 432:271\u2013290 (1990).","journal-title":"ESOP, LNCS"},{"key":"2_CR12","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno Navarro, M. Rodr\u00edguez Artalejo: Graph-Narrowing to Implement a Functional Logic Language, Technical Report, UP Madrid (1992)."},{"key":"2_CR13","unstructured":"H. Kuchen, W. Hans: An And-Parallel Implementation of the Functional Logic Language Babel, Aachener Informatik-Bericht 91\/12:119\u2013139, RWTH Aachen (1991)."},{"key":"2_CR14","unstructured":"A. King and P. Soper, Granularity Analysis of Concurrent Logic Programs, 5th Int. Symp. on Computer and Information Sciences, Nevsehir, Turkey, 1990."},{"key":"2_CR15","first-page":"136","volume":"365","author":"R. Loogen","year":"1989","unstructured":"R. Loogen, H. Kuchen, K. Indermark, W. Damm: Distributed Implementation of Programmed Graph Reduction, PARLE, LNCS 365:136\u2013157(1989).","journal-title":"PARLE, LNCS"},{"key":"2_CR16","first-page":"335","volume":"528","author":"R. Loogen","year":"1991","unstructured":"R. Loogen, S. Winkler: Dynamic Detection of Determinism in Functional Logic Languages, 3rd PLILP, LNCS 528:335\u2013346 (1991).","journal-title":"3rd PLILP, LNCS"},{"key":"2_CR17","unstructured":"K. Muthukumar, M.V. Hermenegildo: The CDG, UDG and MEL methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-Parallelism, Proc. ICLP, (1989)."},{"key":"2_CR18","first-page":"298","volume":"456","author":"J.J. Moreno Navarro","year":"1990","unstructured":"J.J. Moreno Navarro, H. Kuchen, R. Loogen, M. Rodr\u00edguez-Artalejo: Lazy Narrowing in a Graph Machine, 2nd ALP, LNCS 456:298\u2013317 (1990).","journal-title":"2nd ALP, LNCS"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-50667-5_74","volume":"343","author":"J.J. Moreno Navarro","year":"1989","unstructured":"J.J. Moreno Navarro, M. Rodr\u00edguez-Artalejo: Babel: A Functional and Logic Programming Language Based on Constructor Discipline and Narrowing, Int. Conf. on Algebraic and Logic Programming (ALP), LNCS 343:223\u2013232 (1989).","journal-title":"Int. Conf. on Algebraic and Logic Programming (ALP), LNCS"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J.J. Moreno Navarro","year":"1992","unstructured":"J.J. Moreno Navarro, M. Rodr\u00edguez Artalejo: Logic Programming with Functions and Predicates: The Language Babel, J. of Logic Programming: 12: 191\u2013223 (1992).","journal-title":"J. of Logic Programming"},{"key":"2_CR21","unstructured":"U.S. Reddy: Narrowing as the Operational Semantics of Functional Languages, IEEE Int. Symp. on Logic Progr., IEEE Computer Society Press, 138\u2013151 (1985)."},{"key":"2_CR22","unstructured":"V. Santos Costa, D.H.D. Warren, R. Yang: Andorra-I: A Parallel Prolog system that transparently exploits both And-and Or-Parallelism, Proc. Principles and Practices of Parallel Programming, to appear."},{"key":"2_CR23","first-page":"1","volume":"201","author":"D.A. Turner","year":"1985","unstructured":"D.A. Turner: Miranda: A Non-Strict Functional Language with Polymorphic Types, ACM Conf. on Functional Languages and Computer Arch., LNCS 201:1\u201316 (1985).","journal-title":"ACM Conf. on Functional Languages and Computer Arch., LNCS"},{"key":"2_CR24","volume-title":"Technical Note 309","author":"D.H.D. Warren","year":"1983","unstructured":"D.H.D. Warren: An Abstract Prolog Instruction Set, Technical Note 309, SRI International, Menlo Park, California, October 1983"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55844-6_125.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:36:17Z","timestamp":1619559377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55844-6_125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540558446"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-55844-6_125","relation":{},"subject":[]}}