{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:17:58Z","timestamp":1725765478465},"publisher-location":"London","reference-count":24,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_13","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"188-203","source":"Crossref","is-referenced-by-count":0,"title":["A Systematic Method for Designing Abstract Narrowing Machines"],"prefix":"10.1007","author":[{"given":"Hendrik C. R.","family":"Lock","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"The WAM: a real tutorial. Technical report","author":"H Ait-Kaci","year":"1990","unstructured":"Hassan Ait-Kaci. The WAM: a real tutorial. Technical report, DEC research center, Paris, 1990."},{"key":"13_CR2","volume-title":"Addison-Wesley","author":"AV Aho","year":"1986","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers - Principles, Techniques and Tools. Addison-Wesley, 1986."},{"key":"13_CR3","volume-title":"Poceedings of the 6th Int. Conf. on Logic Programming","author":"PG Bosco","year":"1989","unstructured":"P.G. Bosco, C. Cecchi, and C. Moiso. An extension of WAM for K-LEAF: a WAMbased compilation of conditional narrowing. In Poceedings of the 6th Int. Conf. on Logic Programming, 1989."},{"key":"13_CR4","first-page":"312","volume-title":"PULP 91, LNCS 528","author":"MT Chakravarty","year":"1991","unstructured":"Manuel M.T. Chakravarty and Hendrik C.R. Lock. The implementation of lazy narrowing. In PULP \u201981, LNCS 528, pages 312\u2013333, Aug 1991."},{"key":"13_CR5","volume-title":"proceedings of the First Int. Logic Progr. Conf.","author":"MH Emden","year":"1982","unstructured":"M.H. van Emden. An interpreting algorithm for Prolog programs. In proceedings of the First Int. Logic Progr. Conf., 1982."},{"key":"13_CR6","volume-title":"Addison Wesley","author":"J Fields","year":"1988","unstructured":"Anthony J. Fields and Peter G. Harrison. Functional Programming. Int. Computer Science Series. Addison Wesley, 1988."},{"key":"13_CR7","first-page":"274","volume-title":"Conference on Functional Programming Languages and Computer Architecture, LNCS","author":"J Fairbairn","year":"1987","unstructured":"Jon Fairbairn and Stuart Wray. TIM - A Simple Machine to Execute Supercombinators. In Conference on Functional Programming Languages and Computer Architecture, LNCS 274, 1987."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Michael Hanus. Compiling logic programs with equality. In PLILP, LNCS 348, Springer Verlag, pages 387\u2013401, 1990.","DOI":"10.1007\/BFb0024197"},{"key":"13_CR9","volume-title":"Toernooiveld","author":"P Koopman","year":"1990","unstructured":"P. Koopman, M. van Eekelen, E. Nocker, J. Smetsers, and M. Plasmeijer. The ABC-machine: A sequential stack-based abstract machine for graph rewriting. Technical Report 90\u201322, University of Nijmegen, Toernooiveld 1, Nijmegen, The Netherlands, Dec. 1990."},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"J Peter","year":"1964","unstructured":"Peter J. Landin. The mechanical evaluation of expressions. Computer Journal, 6: 308\u2013320, 1964.","journal-title":"Computer Journal"},{"key":"13_CR11","first-page":"505","volume-title":"Microprocessing and Microprogramming, volume 32","author":"CR Lock","year":"1991","unstructured":"Hendrik C.R. Lock and Anamaria Martins. Issues in the implementation of Prolog, and their optimization. In Microprocessing and Microprogramming, volume 32, pages 505\u2013514. North Holland, Sept 1991."},{"key":"13_CR12","unstructured":"Hendrik C.R. Lock. The implementation of functional logic programming languages, 1991. forthcoming dissertation."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Rita Loogen. From reduction machines to narrowing machines. In CCPSD, TAPSOFT, LNCS 494, pages 438\u2013454, 1991.","DOI":"10.1007\/3540539816_80"},{"key":"13_CR14","unstructured":"Erik Meijer. unbuplished notes, 1985."},{"key":"13_CR15","unstructured":"Erik Meijer. A taxonomy of function evaluating machines. In Proceedings of a Workshop on Implementations of Lazy Functional Languages,Aspenas, Sept. 1988. Report 53, PMG, Univ. of G\u00f6teborg, Sweden."},{"key":"13_CR16","unstructured":"Erik Meijer. Calculating Compilers. PhD thesis, University of Nijmegen, Toernooiveld, Nijmegen, The Netherlands, 1992."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Juan J. Moreno-Navarro, Herbert Kuchen, Rita Loogen, and Mario Rodriguez-Artalejo. Lazy narrowing in a graph machine. In Con! on Algebraic and Logic Programming,LNCS 463, 1990. also appeared as report N\u00b0 90\u201311 at RWTH Aachen.","DOI":"10.1007\/3-540-53162-9_47"},{"key":"13_CR18","unstructured":"Erik Meijer and Ross Paterson. Down with a-lifting. University of Nijmegen and Imperial College, London, Sept. 1990. unpublished manuscript."},{"key":"13_CR19","unstructured":"Hugh Osborne. Update plans. In Susan L. Graham and Robert Giegerich, editors, Proceedings of Code `91,1991. to appear."},{"key":"13_CR20","unstructured":"Ross Paterson. A non-deterministic a-calculus. Imperial College, London, Sept. 1990. manuscript."},{"key":"13_CR21","unstructured":"Nigel Perry. FPM2. In Workshop on Implementations of Lazy Functional Languages, Aspenas,Sweden, Sept. 1988."},{"key":"13_CR22","volume-title":"Prentice-Hall","author":"L Simon","year":"1987","unstructured":"Simon L. Peyton-Jones. The Implementation of Functional Programming Languages Series in Computer Science. Prentice-Hall, 1987."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Simon L. Peyton-Jones and J. Salkild. The Spineless Tagless G-Machine. In Workshop on Implementations of Lazy Functional Languages,Aspenas,Sweden, Sept. 1988. appeared also in 1989 ACM Conf. on Functional Progr. Languages and Computer Architecture.","DOI":"10.1145\/99370.99385"},{"key":"13_CR24","volume-title":"Note","author":"DHD Warren","year":"1983","unstructured":"D.H.D Warren. An abstract Prolog instruction set. Techn. Note 309, SRI International,Menlo Park, Calif., October 1983."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T04:31:27Z","timestamp":1564979487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}