{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T09:49:26Z","timestamp":1658224166222},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540179450","type":"print"},{"value":"9783540471813","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17945-3_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:21:09Z","timestamp":1330197669000},"page":"141-158","source":"Crossref","is-referenced-by-count":123,"title":["Term graph rewriting"],"prefix":"10.1007","author":[{"given":"H. P.","family":"Barendregt","sequence":"first","affiliation":[]},{"given":"M. C. J. D.","family":"Eekelen","sequence":"additional","affiliation":[]},{"given":"J. R. W.","family":"Glauert","sequence":"additional","affiliation":[]},{"given":"J. R.","family":"Kennaway","sequence":"additional","affiliation":[]},{"given":"M. J.","family":"Plasmeijer","sequence":"additional","affiliation":[]},{"given":"M. R.","family":"Sleep","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"8_CR1","volume-title":"The Lambda Calculus: its Syntax and Semantics","author":"B. H.P","year":"1984","unstructured":"Barendregt, H.P. [1984] The Lambda Calculus: its Syntax and Semantics (revised edition), North-Holland, Amsterdam.","edition":"revised edition"},{"key":"8_CR2","unstructured":"Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer and M.R. Sleep [1986] Term graph rewriting, Report 87, Department of Computer Science, University of Nijmegen, and also as Report SYS-C87-01, School of Information Systems, University of East Anglia."},{"key":"8_CR3","unstructured":"[1987] Towards an intermediate language based on graph rewriting, these proceedings."},{"key":"8_CR4","unstructured":"van den Broek, P.M. and G.F. van der Hoeven [1986] Combinatorgraph reduction and the Church-Rosser theorem, preprint INF-86-15, Department of Informatics, Twente University of Technology."},{"key":"8_CR5","first-page":"1","volume-title":"Graph grammars and their Applications in Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H. [1979] Introduction to the algebraic theory of graph grammars, in: Graph grammars and their Applications in Computer Science and Biology, ed. V. Claus, H. Ehrig, and G. Rozenberg. Lecture notes in Computer Science 73, Springer, Berlin, 1\u201369."},{"key":"8_CR6","unstructured":"Glauert, J.R.W., J.R. Kennaway and M.R. Sleep [1987] Category theoretic concepts of graph rewriting and garbage collection, in preparation, School of Information Systems, University of East Anglia."},{"key":"8_CR7","unstructured":"Huet, G. and L\u00e9vy, J.J. [1979] Call-by-need computations in non-ambiguous term rewriting systems, Report 359, IRIA-Laboria, B.P. 105, 78150 Le Chesney, France."},{"key":"8_CR8","volume-title":"An outline of some results of Staples on optimal reduction orders in replacement systems, Report CSA\/19\/1984","author":"J. R. Kennaway","year":"1984","unstructured":"Kennaway, J.R. [1984] An outline of some results of Staples on optimal reduction orders in replacement systems, Report CSA\/19\/1984, School of Information Systems, University of East Anglia, Norwich, England."},{"key":"8_CR9","series-title":"Mathematical Centre Tracts","volume-title":"Combinatory Reduction Systems","author":"K. J.W","year":"1980","unstructured":"Klop, J.W. [1980] Combinatory Reduction Systems, Mathematical Centre Tracts n.127, Mathematical Centre, Kruislaan 413, 1098 SJ Amsterdam."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(84)90021-5","volume":"32","author":"J. C. Raoult","year":"1984","unstructured":"Raoult, J.C. [1984] On graph rewritings, Theor. Comput. Sci. 32, 1\u201324.","journal-title":"Theor. Comput. Sci."},{"key":"8_CR11","volume-title":"The Implementation of Functional Languages","author":"S. L. Peyton Jones","year":"1987","unstructured":"Peyton Jones, S.L. [1987] The Implementation of Functional Languages, Prentice-Hall, London, to appear."},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0304-3975(80)90013-4","volume":"10","author":"J. Staples","year":"1980","unstructured":"Staples, J. [1980a] Computation on graph-like expressions, Theor. Comput. Sci. 10, 171\u2013185.","journal-title":"Theor. Comput. Sci."},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0304-3975(80)90051-1","volume":"10","author":"J. Staples","year":"1980","unstructured":"[1980b] Optimal evaluations of graph-like expressions, Theor. Comput. Sci. 10, 297\u2013316.","journal-title":"Theor. Comput. Sci."},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0304-3975(80)90033-X","volume":"11","author":"J. Staples","year":"1980","unstructured":"[1980c] Speeding up subtree replacement systems, Theor. Comput. Sci. 11, 39\u201347.","journal-title":"Theor. Comput. Sci."},{"key":"8_CR15","first-page":"31","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"Turner, D.A. [1979a] A new implementation technique for applicative languages, in: Software: Practice and Experience 9, 31\u201349.","journal-title":"Software: Practice and Experience"},{"key":"8_CR16","unstructured":"[1979b] SASL Language Manual, \u201ccombinators\u201d version, University of St. Andrews, U.K."},{"key":"8_CR17","unstructured":"[1986] Miranda System Manual, Research Software Ltd., 1986."},{"key":"8_CR18","unstructured":"Wadsworth, C.P. [1971] Semantics and Pragmatics of the Lambda Calculus, D.Phil. thesis, Programming Research Group, Oxford University."}],"container-title":["Lecture Notes in Computer Science","PARLE Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17945-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:12:59Z","timestamp":1619557979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17945-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179450","9783540471813"],"references-count":18,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-17945-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1987]]}}}