{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T06:42:30Z","timestamp":1750488150506},"reference-count":21,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1995,7,1]],"date-time":"1995-07-01T00:00:00Z","timestamp":804556800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6591,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1995,7]]},"DOI":"10.1016\/0304-3975(94)00185-l","type":"journal-article","created":{"date-parts":[[2003,4,25]],"date-time":"2003-04-25T10:09:04Z","timestamp":1051265344000},"page":"69-108","source":"Crossref","is-referenced-by-count":19,"title":["Properties of a first-order functional language with sharing"],"prefix":"10.1016","volume":"146","author":[{"given":"Zena M.","family":"Ariola","sequence":"first","affiliation":[]},{"family":"Arvind","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(94)00185-L_bib1","series-title":"Proc. RTA '93","article-title":"Relating graph and term rewriting via B\u00f6hm models","author":"Ariola","year":"1993"},{"key":"10.1016\/0304-3975(94)00185-L_bib2","series-title":"Proc. ACM Conf. on Functional Programming Languages and Computer Architecture","article-title":"P-TAC: a parallel intermediate language","author":"Ariola","year":"1989"},{"key":"10.1016\/0304-3975(94)00185-L_bib3","series-title":"Poc. ACM SIGPLAN Symp. on Partial Evaluation and Semantics Based Program Manipulation","article-title":"A syntactic approach to program transformations","author":"Ariola","year":"1991"},{"key":"10.1016\/0304-3975(94)00185-L_bib4","series-title":"Proc. 4th Workshop on Languages and Compilers for Parallel Computing","article-title":"Compilation of Id","volume":"Vol. 589","author":"Ariola","year":"1991"},{"key":"10.1016\/0304-3975(94)00185-L_bib5","author":"Ariola","year":"1993","journal-title":"Equational term graph rewriting, Tech. Report Draft"},{"key":"10.1016\/0304-3975(94)00185-L_bib6","series-title":"The Lambda Calculus: its Syntax and Semantics","author":"Barendregt","year":"1984"},{"key":"10.1016\/0304-3975(94)00185-L_bib7","series-title":"Proc. PARLE Conf.","article-title":"Towards in intermediate language based on graph rewriting","volume":"Vol. 259","author":"Barendregt","year":"1987"},{"key":"10.1016\/0304-3975(94)00185-L_bib8","series-title":"Proc. PARLE Conf.","article-title":"Term graph rewriting","volume":"Vol. 259","author":"Barendregt","year":"1987"},{"key":"10.1016\/0304-3975(94)00185-L_bib9","series-title":"Proc. ACM Conf. on Functional Programming Languages and Computer Architecture","article-title":"Clean \u2014a language for functional graph rewriting","volume":"Vol. 274","author":"Brus","year":"1987"},{"key":"10.1016\/0304-3975(94)00185-L_bib10","series-title":"Algebraic Theory of Processes","author":"Hennessy","year":"1988"},{"key":"10.1016\/0304-3975(94)00185-L_bib11","series-title":"Essays in Honor of Alan Robinson","article-title":"Computations in orthogonal rewriting systems 1 and 2","author":"Huet","year":"1991"},{"key":"10.1016\/0304-3975(94)00185-L_bib12","series-title":"Proc. Lisp and Functional Programming","article-title":"Spuer-combinators","author":"Hughes","year":"1982"},{"key":"10.1016\/0304-3975(94)00185-L_bib13","series-title":"Proc. Functional Programming Languages and Computer Architecture Conf.","article-title":"Lambda lilting: transforming programs to recursive equations","volume":"Vol. 201","author":"Johnsson","year":"1985"},{"key":"10.1016\/0304-3975(94)00185-L_bib14","article-title":"Optimal interpreters for Lambda-calculus based functional languages","author":"Kathail","year":"1990"},{"key":"10.1016\/0304-3975(94)00185-L_bib15","series-title":"Proc. RTA '91","article-title":"Transfinite reductions in orthogonal term rewriting systems","author":"Kennaway","year":"1991"},{"key":"10.1016\/0304-3975(94)00185-L_bib16","article-title":"Implementing term rewrite languages in Dactl","volume":"1","author":"Kennaway","year":"1990","journal-title":"Theoret. Computer Sci."},{"key":"10.1016\/0304-3975(94)00185-L_bib17","series-title":"Proc. ACM Conf. on Principles of Programming Languages","article-title":"An algorithm for optimal lambda calculus reduction","author":"Lamping","year":"1990"},{"key":"10.1016\/0304-3975(94)00185-L_bib18","article-title":"R\u00e9ductions correctes et optimales dans le lambda-calcul","author":"L\u00e9vy","year":"1978"},{"key":"10.1016\/0304-3975(94)00185-L_bib19","article-title":"Id (Version 90.0) Reference Manual","author":"Nikhil","year":"1990"},{"key":"10.1016\/0304-3975(94)00185-L_bib20","article-title":"Semantics and pragmatics of the lambda-calculus","author":"Wadsworth","year":"1971"},{"key":"10.1016\/0304-3975(94)00185-L_bib21","series-title":"\u03bb-calculus and Computer Science Theory","article-title":"Continuous semantics and inside-out reductions","volume":"Vol. 37","author":"Welch","year":"1975"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759400185L?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759400185L?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T12:28:22Z","timestamp":1555417702000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759400185L"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":21,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["030439759400185L"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(94)00185-l","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}