{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:48Z","timestamp":1725456348146},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013536","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:44:01Z","timestamp":1132728241000},"page":"271-278","source":"Crossref","is-referenced-by-count":0,"title":["Processing functional definitions as declarative knowledge: A reduced bytecode implementation of a functional logic machine"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Bonzon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","first-page":"3","volume":"2","author":"P. Bonzon","year":"1990","unstructured":"Bonzon, P., A Metacircular Evaluator for a Logical Extension of Scheme, Lisp and Symbolic Computation, 2,3 (1990)","journal-title":"Lisp and Symbolic Computation"},{"key":"20_CR2","unstructured":"Bonzon, P., Reflection in objects: towards a uniform architecture, Internal Report HEC (Feb. 1991)"},{"key":"20_CR3","unstructured":"Bosco, P., Cecchi, C. and Moiso, C. An Extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing, Proc. 6th Intl. Conf. on Logic Programming, MIT Press (1989)"},{"key":"20_CR4","unstructured":"Chu, D., and McCabe, F., SWIFT \u2014 a New Symbolic Processor, Proc. 5th Intl. Conf. and Symp. on Logic Programming, MIT Press (1988)"},{"key":"20_CR5","unstructured":"De Groot, D. and Lindstrom, G. (eds), Logic Programming \/ Functions, Relations and Equations, Prentice Hall (1986)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Fairbarn, J., and Wray, S., TIM: a Simple, Lazy Abstract Machine to Execute Supercombinators, Proc. Functional Languages and Computer Architecture Conference (1987)","DOI":"10.1007\/3-540-18317-5_3"},{"key":"20_CR7","unstructured":"Jamsek, D., Greene, K., Chin, S.-H. and Humenn, P., WINTER: WAMS in TIM Expression Reduction, Proc. North Amer. Conf. on Logic Programming, MIT Press (1989)"},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. Landin","year":"1964","unstructured":"Landin, P., The Mechanical Evaluation of Expressions, Computer Journal, 6,4 (1964)","journal-title":"Computer Journal"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF01806100","volume":"3","author":"E. Ruf","year":"1990","unstructured":"Ruf, E., and Weise, D., LogScheme: Integrating Logic Programming into Scheme, Lisp and Symbolic Computation, 3,3 (1990)","journal-title":"Lisp and Symbolic Computation"},{"key":"20_CR10","unstructured":"Warren, D.H.D., An abstract Prolog Instruction Set, Technical Note 309, SRI International (1983)"},{"key":"20_CR11","unstructured":"Wirth, N., Algorithms + Data Structures=Programs, Prentice-Hall (1976)"}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013536.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:07:56Z","timestamp":1607353676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013536"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0013536","relation":{},"subject":[]}}