{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:41:24Z","timestamp":1725457284581},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633983"},{"type":"electronic","value":"9783540695370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0033847","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:27:37Z","timestamp":1134286057000},"page":"225-239","source":"Crossref","is-referenced-by-count":3,"title":["Implementation of term rewritings with the evaluation strategy"],"prefix":"10.1007","author":[{"given":"Kazuhiro","family":"Ogata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kokichi","family":"Futatsugi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"A\u00eft-Kaci, H.: Warren's Abstract Machine. A Tutorial Reconstruction. The MIT Press. 1991","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"15_CR2","unstructured":"CafeOBJ home page: http:\/\/ldl-www.jaist.ac.jp:8080\/cafeobj"},{"key":"15_CR3","unstructured":"Brus, T. H., van Eekelen, M. C. J. D., van Leer, M. O. and Plasmeijer, M. J.: Clean \u2014 A Language for Functional Graph Rewriting. Proc. of the Conference on Functional Programming Langugaes and Computer Architecture. LNCS 274 Springer-Verlag. (1987) 364\u2013384"},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00881866","volume":"10","author":"J. Christian","year":"1993","unstructured":"Christian, J.: Flatterms, Discrimination Nets, and Fast Term Rewriting. J. Automated Reasoning. 10 (1993) 95\u2013113","journal-title":"J. Automated Reasoning"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Dershowitz, N. and Jouannaud, J. P.: Rewrite Systems. In Handbook of Theoretical Computer Science. B (Ed. J. van Leeuwen). Elsevier Science Publishers. (1990) 243\u2013320","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"15_CR6","unstructured":"Fairbairn, J. and Wray, S.: Tim: A Simple, Lazy Abstract Machine to Execute Supercombinators. Proc. of the Conference on Functional Programming Langugaes and Computer Architecture. LNCS 274 Springer-Verlag. (1987) 34\u201345"},{"key":"15_CR7","unstructured":"Futatsugi, K., Goguen, J. A., Jouannaud, J. P. and Meseguer, J.: Principles of OBJ2. Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages. (1984) 52\u201366"},{"key":"15_CR8","unstructured":"Goguen, J., Kirchner, C. and Meseguer, J.: Concurrent Term Rewriting as a Model of Computation. Proc. of the Workshop on Graph Reduction. LNCS 279 Springer-Verlag. (1986) 53\u201393"},{"key":"15_CR9","unstructured":"Goguen, J. A., Winkler, T., Meseguer, J., Futatsugi, K. and Jouannaud, J. P. Introducing OBJ. Technical Report SRI-CSL-92-03. SRI International. 1992"},{"issue":"1","key":"15_CR10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/357153.357158","volume":"4","author":"C. M. Hoffmann","year":"1982","unstructured":"Hoffmann, C. M. and O'Donnell M. J.: Programming with Equations. ACM Trans. Prog. Lang. Syst. 4 1 (1982) 83\u2013112","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"15_CR11","unstructured":"Kamperman, J. F. Th. and Walters, H. R.: ARM Abstract Rewriting Machine. Tech. Rep. CS-9330. CWI. Amsterdam. Netherlands. 1993. Available as ftp:\/\/ftp.cwi.nl\/pub\/gipe\/reports\/KW93.ps.Z"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Kamperman, J. F. Th. and Waiters, H. R.: Lazy Rewriting and Eager Machinery. Proc. of the International Conference on Rewriting Techniques and Applications. LNCS 914 Springer-Verlag. (1995) 147\u2013162","DOI":"10.1007\/3-540-59200-8_54"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Kaplan, S.: A Compiler for Conditional Term Rewriting Systems. Proc. of the International Conference on Rewriting Techniques and Applications. LNCS 256 Springer-Verlag. (1987) 25\u201341","DOI":"10.1007\/3-540-17220-3_3"},{"key":"15_CR14","unstructured":"Kirchner, C., Kirchner, H. and Meseguer, J.: Operational Semantics of OBJ-3. Proc. of the 15th International Colloquium on Automata, Languages and Programming. LNCS 317 Springer-Verlag. (1988) 287\u2013301"},{"key":"15_CR15","unstructured":"Klop, J. W.: Term Rewriting Systems. In Handbook of Logic in Computer Science. 2 (Eds. S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum). Oxford University Press. (1992) 1\u2013116"},{"key":"15_CR16","unstructured":"Koopman, P. W. M., Smetsers, J. E. W., van Eekelen, M. C. J. D. and Plasmeijer, M. J.: Graph Rewriting Using the Annotated Functional Strategy. In Term Graph Rewriting: Theory and Practice (Eds. R. Sleep, R. Plasmeijer and M. van Eekelen). John Wiley & Sons Lts. 1993"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Ogata, K., Ohhara, K. and Futatsugi, K.: TRAM: An Abstract Machine for Order-Sorted Conditional Term Rewriting Systems. Proc. of the 8th International Conference on Rewriting Techniques and Applications. (1997) (to appear)","DOI":"10.1007\/3-540-62950-5_84"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Ogata, K., Kondo, M., Ioroi, S. and Futatsugi, K.: Design and Implementation of Parallel TRAM. Proc. of the Euro-Par'97. (1997) (to appear)","DOI":"10.1007\/BFb0002874"},{"issue":"2","key":"15_CR19","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"S. L. Peyton Jones","year":"1992","unstructured":"Peyton Jones, S. L.: Implementing Lazy Functional Languages on Stock Hardware: The Spinless Tagless G-machine. J. Functional Programming. 2 (2) (1992) 127\u2013202","journal-title":"J. Functional Programming"},{"key":"15_CR20","unstructured":"Plasmeijer, R. and van Eekelen, M.: Functional Programming and Parallel Graph Rewriting. Addison-Wesley. 1993"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0033847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:51:10Z","timestamp":1586613070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0033847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633983","9783540695370"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0033847","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}