{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:33Z","timestamp":1725663033766},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16492-8_117","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:50:31Z","timestamp":1330195831000},"page":"671-685","source":"Crossref","is-referenced-by-count":2,"title":["Logic continuations"],"prefix":"10.1007","author":[{"given":"Christopher T.","family":"Haynes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"57_CR1","unstructured":"Abelson, H., and Sussman, G.J., with Sussman, J., Structure and Interpretation of Computer Programs, MIT Press, 1985."},{"key":"57_CR2","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1145\/359545.359566","volume":"21","author":"H.G. Baker Jr.","year":"1978","unstructured":"Baker, H.G., Jr., Shallow Binding in Lisp 1.5, C. ACM, 21:565\u2013569 (1978).","journal-title":"C. ACM"},{"key":"57_CR3","first-page":"83","volume-title":"Logic Programming","author":"M. Bruynooghe","year":"1982","unstructured":"Bruynooghe, M., The memory management of PROLOG implementations, in: K.L. Clark and S.-A. T\u00e4rnlund (eds.), Logic Programming, Academic Press, New York, pp. 83\u201398 (1982)."},{"key":"57_CR4","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF03037326","volume":"2","author":"M. Carlsson","year":"1984","unstructured":"Carlsson, M., On implementing Prolog in Functional Programming, New Generation Computing, 2:347\u2013359 (1984).","journal-title":"New Generation Computing"},{"key":"57_CR5","series-title":"Computer Science Department Technical Report","volume-title":"The Revised Revised Report on Scheme","year":"1985","unstructured":"Clinger, W.C., Ed., The Revised Revised Report on Scheme, Computer Science Department Technical Report No. 174, Indiana University, Bloomington, Indiana, 1985, and Artificial Intelligence Memo No. 848, MIT, Cambridge, Massachusetts, 1985."},{"key":"57_CR6","volume-title":"Programming in Prolog, Second Edition","author":"W.F. Clocksin","year":"1984","unstructured":"Clocksin, W.F. and Mellish, C.S., Programming in Prolog, Second Edition, Springer-Verlag, New York, 1984."},{"key":"57_CR7","unstructured":"Dybvig, R.K., and Smith B., The Scheme Programming Language, Prentice-Hall, 1986."},{"key":"57_CR8","series-title":"Computer Science Department Technical Report","volume-title":"Transliterating Prolog into Scheme","author":"M. Felleisen","year":"1985","unstructured":"Felleisen, M., Transliterating Prolog into Scheme, Computer Science Department Technical Report No. 182, Indiana University, Bloomington, Indiana, 1985."},{"key":"57_CR9","first-page":"245","volume-title":"Computer Science Department Technical Report No. 183","author":"D.P. Friedman","year":"1985","unstructured":"Friedman, D.P., and Haynes, C.T., Constraining control, Conf. Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, pp. 245\u2013254 (1985), revised in Computer Science Department Technical Report No. 183, Indiana University, Bloomington, Indiana, 1985."},{"key":"57_CR10","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-3-642-46490-4_23","volume-title":"Program Transformation and Programming Environments","author":"D.P. Friedman","year":"1984","unstructured":"Friedman, D.P., Haynes, C.T. and Kohlbecker, E., Programming with continuations, in: P. Pepper (ed.), Program Transformation and Programming Environments, Springer-Verlag, New York, pages 263\u2013274 (1984)."},{"key":"57_CR11","unstructured":"Hanson, C., and Lamping, J., Dynamic Binding in Scheme, unpublished manuscript, 1984."},{"key":"57_CR12","first-page":"117","volume-title":"Implementations of PROLOG","author":"K.M. Kahn","year":"1984","unstructured":"Kahn, K.M., and Carlsson, M., How to implement Prolog on a LISP Machine, in: J.A. Campbell (ed.), Implementations of PROLOG, Halstead Press, New York, pp. 117\u2013134 (1984)."},{"key":"57_CR13","unstructured":"Klu\u017aniak, F., and Szpakowicz, S., Prolog for Programmers, Academic Press, 1985."},{"key":"57_CR14","volume-title":"eu-Prolog, Computer Science Department Technical Report No. 155","author":"E. Kohlbecker","year":"1984","unstructured":"Kohlbecker, E., eu-Prolog, Computer Science Department Technical Report No. 155, Indiana University, Bloomington, Indiana, 1984."},{"key":"57_CR15","first-page":"315","volume-title":"Logic Programming","author":"H.J. Komorowski","year":"1982","unstructured":"Komorowski, H.J., QLOG\u2014the programming environment for Prolog, in: K.L. Clark and S.-A. T\u00e4rnlund (eds.), Logic Programming, Academic Press, New York, pp. 315\u2013324 (1982)."},{"key":"57_CR16","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/363744.363749","volume":"8","author":"P. Landin","year":"1965","unstructured":"Landin, P. A correspondence between ALGOL 60 and Church's lambda notation, C. ACM, 8:89\u2013101 and 158\u2013165 (1965).","journal-title":"C. ACM"},{"key":"57_CR17","first-page":"147","volume-title":"Implementations of PROLOG","author":"C. Mellish","year":"1984","unstructured":"Mellish, C., and Hardy, S., Integrating Prolog in the POPLOG environment, in: J.A. Campbell (ed.), Implementations of PROLOG, Halstead Press, New York, pp. 147\u2013162 (1984)."},{"key":"57_CR18","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C., Definitional interpreters for higher-order programming languages, Proceedings of the 25th ACM National Conference, pp. 717\u2013740 (1972).","DOI":"10.1145\/800194.805852"},{"key":"57_CR19","first-page":"299","volume-title":"Logic Programming","author":"J.A. Robinson","year":"1982","unstructured":"Robinson, J.A., and Sibert, E.E., LOGLISP: motivation, design and implementation, in: K.L. Clark and S.-A. T\u00e4rnlund (eds.), Logic Programming, Academic Press, New York, pp. 299\u2013314 (1982)."},{"key":"57_CR20","unstructured":"Srivastava, A., Oxley, D., and Srivastava, D., An(other) integration of logic and functional programming, Proceedings of The IEEE Symposium on Logic Programming, pp. 254\u2013260 (1985)."},{"key":"57_CR21","series-title":"Artificial Intelligence Memo","volume-title":"Scheme: an interpreter for extended lambda calculus\"","author":"G.J. Sussman","year":"1975","unstructured":"Sussman, G.J., and Steele, G.L., Jr., Scheme: an interpreter for extended lambda calculus\", Artificial Intelligence Memo No. 349, MIT, Cambridge, Massachusetts, 1975."},{"key":"57_CR22","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/322169.322183","volume":"27","author":"M. Wand","year":"1980","unstructured":"Wand, M., Continuation-based program transformation strategies, J. ACM, 27:164\u2013180 (1980).","journal-title":"J. ACM"},{"key":"57_CR23","series-title":"Computer Science Department Technical Report","volume-title":"A semantic algebra for logic programming","author":"M. Wand","year":"1983","unstructured":"Wand, M., A semantic algebra for logic programming, Computer Science Department Technical Report No. 134, Indiana University, Bloomington, Indiana, 1983."}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_117.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:04:43Z","timestamp":1619557483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_117","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}