{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:34Z","timestamp":1725663454226},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540510819"},{"type":"electronic","value":"9783540461494"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51081-8_122","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:37:12Z","timestamp":1330184232000},"page":"404-418","source":"Crossref","is-referenced-by-count":6,"title":["Transforming strongly sequential rewrite systems with constructors for efficient parallel execution"],"prefix":"10.1007","author":[{"given":"R. C.","family":"Sekar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaunak","family":"Pawagi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I. V.","family":"Ramakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"28_CR1","unstructured":"Hoffman, C. and O'Donnell, M., Programming with Equations, ACM Transactions on Programming Languages and Systems (1982) pp. 83\u2013112."},{"key":"28_CR2","series-title":"Tech. Rep.","volume-title":"Computations in Nonambiguous Linear Term Rewriting Systems","author":"G. Huet","year":"1979","unstructured":"Huet, G. and Levy, J.J., Computations in Nonambiguous Linear Term Rewriting Systems, Tech. Rep. No. 359(1979), INRIA, Le Chesney, France."},{"key":"28_CR3","unstructured":"Klop, J.W. and Middeldorp, A, Strongly Sequential Term Rewriting Systems, Report CS-R8730, Centre for Mathematics and Computer Science, Amsterdam."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, and Jose Meseguer, Principles of OBJ2, Proc. 12th ACM Symposium on Principles of Programming Languages (1985).","DOI":"10.1145\/318593.318610"},{"key":"28_CR5","unstructured":"O'Donnell, M.J., Term-Rewriting Implementation of Equational Logic Programming, Rewriting Techniques and Applications (1987) pp. 1\u201312."},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"O'Donnell, M.J., Computing in Systems described by Equations, Springer LNCS 58 (1977).","DOI":"10.1007\/3-540-08531-9"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"O'Donnell. M.J., Equational Logic as a Programming Language, MIT Press (1985).","DOI":"10.1007\/3-540-15648-8_20"},{"key":"28_CR8","unstructured":"Joseph Goguen, Claude Kirchner and Jose Meseguer, A Rewrite Rule Machine: Models of Computation for the Rewrite Rule Machine, SRI International, July 1986."},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Satish Thatte, A Refinement of Strong Sequentiality for Term Rewriting With Constructors, Information and Computing 72(1), 1987.","DOI":"10.1016\/0890-5401(87)90050-2"},{"issue":"2","key":"28_CR10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0020-0190(85)90068-7","volume":"20","author":"T. Satish","year":"1985","unstructured":"Satish Thatte, On the correspondence between two classes of Reduction systems, Information Processing Letters 20 (2), pp. 83\u201385 (1985).","journal-title":"Information Processing Letters"},{"key":"28_CR11","unstructured":"Shaunak Pawagi, R. Ramesh and I.V. Ramakrishnan, R2M: A Reconfigurable Rewrite Machine, Second International Workshop on Unification, June 1988."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51081-8_122.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T21:43:33Z","timestamp":1640900613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51081-8_122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540510819","9783540461494"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-51081-8_122","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}