{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:16Z","timestamp":1761611116670},"reference-count":13,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Computing"],"published-print":{"date-parts":[[1989,1]]},"DOI":"10.1016\/0167-8191(89)90126-9","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:52:02Z","timestamp":1062611522000},"page":"163-177","source":"Crossref","is-referenced-by-count":7,"title":["LEAN: An intermediate language based on graph rewriting"],"prefix":"10.1016","volume":"9","author":[{"given":"H.P","family":"Barendregt","sequence":"first","affiliation":[]},{"given":"M.C.J.D","family":"Van Eekelen","sequence":"additional","affiliation":[]},{"given":"M.J","family":"Plasmeijer","sequence":"additional","affiliation":[]},{"given":"J.R.W","family":"Glauert","sequence":"additional","affiliation":[]},{"given":"J.R","family":"Kennaway","sequence":"additional","affiliation":[]},{"given":"M.R","family":"Sleep","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-8191(89)90126-9_BIB1","series-title":"Proc. Parallel Architectures and Languages Europe (PARLE)","first-page":"141","article-title":"Term graph reduction","volume":"259","author":"Barendregt","year":"1987"},{"key":"10.1016\/0167-8191(89)90126-9_BIB2","series-title":"Proc. Parallel Architectures and Languages Europe (PARLE)","first-page":"159","article-title":"Towards an intermediate language based on graph rewriting","volume":"259","author":"Barendregt","year":"1987"},{"key":"10.1016\/0167-8191(89)90126-9_BIB3","series-title":"Proc. 3rd International Conference on Functional Programming Languages and Computer Architecture (FPCA'87)","first-page":"364","article-title":"Clean\u2014A language for functional graph rewriting","volume":"274","author":"Brus","year":"1987"},{"key":"10.1016\/0167-8191(89)90126-9_BIB4","series-title":"Proc. Graph Reduction Workshop","first-page":"215","article-title":"Specification of reduction strategies in term rewriting systems","volume":"279","author":"van Eekelen","year":"1986"},{"key":"10.1016\/0167-8191(89)90126-9_BIB5","article-title":"DACTL: A computational model and compiler target language based on graph reduction","author":"Glauert","year":"1987","journal-title":"ICL Tech. J."},{"key":"10.1016\/0167-8191(89)90126-9_BIB6","article-title":"Specification of Core Dactll","author":"Glauert","year":"1987","journal-title":"University of East Anglia Report SYS-C87-09"},{"key":"10.1016\/0167-8191(89)90126-9_BIB7","series-title":"Extensions to Core Dactll","author":"Glauert","year":"1987"},{"key":"10.1016\/0167-8191(89)90126-9_BIB8","article-title":"Interpreting Lean","author":"Jansen","year":"1987"},{"key":"10.1016\/0167-8191(89)90126-9_BIB9","article-title":"Term rewriting systems","author":"Klop","year":"1985"},{"key":"10.1016\/0167-8191(89)90126-9_BIB10","series-title":"Foundations of Computing Series","article-title":"Equational Logic as a Programming Language","author":"O'Donnell","year":"1985"},{"key":"10.1016\/0167-8191(89)90126-9_BIB11","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0304-3975(80)90013-4","article-title":"Computation on graph-like expressions","volume":"10","author":"Staples","year":"1980","journal-title":"Theoret. Comput. Sci."},{"issue":"12","key":"10.1016\/0167-8191(89)90126-9_BIB12","doi-asserted-by":"crossref","DOI":"10.1109\/TC.1984.1676387","article-title":"A survey of proposed architectures for the execution of functional languages","volume":"33","author":"Vegdahl","year":"1984","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0167-8191(89)90126-9_BIB13","series-title":"Proc. IFIP 3rd International Conference on Functional Programming and Computer Architecture","first-page":"88","article-title":"Evaluating functional programs on the flagship machine","volume":"274","author":"Watson","year":"1987"}],"container-title":["Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167819189901269?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167819189901269?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T09:24:29Z","timestamp":1551086669000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167819189901269"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,1]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,1]]}},"alternative-id":["0167819189901269"],"URL":"https:\/\/doi.org\/10.1016\/0167-8191(89)90126-9","relation":{},"ISSN":["0167-8191"],"issn-type":[{"value":"0167-8191","type":"print"}],"subject":[],"published":{"date-parts":[[1989,1]]}}}