{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:40Z","timestamp":1725663520218},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:08:28Z","timestamp":1330254508000},"page":"424-428","source":"Crossref","is-referenced-by-count":4,"title":["Generalized partial computation using disunification to solve constraints"],"prefix":"10.1007","author":[{"given":"Akihiko","family":"Takano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"32_CR1","unstructured":"H. Comon. Disunification: a survey. In J.-L. Lassez and G. Plotkin, eds., Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991."},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"H. Comon, M. Haberstrau and J.-P. Jouannaud. Decidable Problems in Shallow Equational Theories. In Proc. 7th IEEE Symp. Logic in Computer Science, June 1992.","DOI":"10.1109\/LICS.1992.185538"},{"key":"32_CR3","unstructured":"Y. Futamura and K. Nogi. Generalized Partial Computation. In D. BJ\u00f8rner, A. P. Ershov and N. D. Jones, eds., Partial Evaluation and Mixed Computation, 133\u2013151, North-Holland, 1988."},{"key":"32_CR4","unstructured":"Y. Futamura and K. Nogi. Program Evaluation and Generalized Partial Computation. In Proceedings of the International Conf. on Fifth Generation Computer Systems, 685\u2013692, Tokyo, 1988."},{"key":"32_CR5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0304-3975(91)90299-H","volume":"90","author":"Y. Futamura","year":"1991","unstructured":"Y. Futamura, K. Nogi and A. Takano. Essence of Generalized Partial Computation. Theoretical Computer Science, 90: 61\u201379, 1991.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"32_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"N.D. Jones, P. Sestoft and H. S\u00f8ndergaard. MIX: An Self-applicable Partial Evaluator for Experiments in Compiler Generation. LISP and Symbolic Computation, 2 (1): 9\u201350, 1989.","journal-title":"LISP and Symbolic Computation"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"J. Launchbury. Projection Factorizations in Partial Evaluation. Cambridge University Press, 1991.","DOI":"10.1017\/CBO9780511569814"},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1145\/322186.322198","volume":"27","author":"G. Nelson","year":"1980","unstructured":"G. Nelson and D. C. Oppen. Fast decision procedures based on congruence closure. J. ACM, 27: 356\u2013364, 1980.","journal-title":"J. ACM"},{"issue":"9","key":"32_CR9","first-page":"1","volume":"26","author":"A. Takano","year":"1991","unstructured":"A. Takano. Generalized Partial Computation for a Lazy Functional Language. In Proc. ACM Symp. on Partial Evaluation and Semantics-Based Program Manipulation. ACM SIGPLAN Notices, 26 (9): 1\u201311, June 1991.","journal-title":"Proc. ACM Symp. on Partial Evaluation and Semantics-Based Program Manipulation. ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:50:24Z","timestamp":1619571024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}