{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:29:40Z","timestamp":1767929380616,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540183174","type":"print"},{"value":"9783540478799","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18317-5_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:32:24Z","timestamp":1330180344000},"page":"364-384","source":"Crossref","is-referenced-by-count":57,"title":["Clean \u2014 A language for functional graph rewriting"],"prefix":"10.1007","author":[{"given":"T. H.","family":"Brus","sequence":"first","affiliation":[]},{"given":"M. C. J. D.","family":"Eekelen","sequence":"additional","affiliation":[]},{"given":"M. O.","family":"Leer","sequence":"additional","affiliation":[]},{"given":"M. J.","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"20_CR1","first-page":"122","volume":"224","author":"H. P. Barendregt","year":"1986","unstructured":"Barendregt, H.P., Leeuwen, M. van, \"Functional Programming and the Language Tale\", (Eds. J.W. de Bakker, W.-P. de Roever and G. Rozenberg), Springer LNCS 224, pp 122\u2013207, (1986).","journal-title":"LNCS"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R., \"Towards an Intermediate Language based on Graph Rewriting\", University of East-Anglia and University of Nijmegen, Proceedings of the PARLE conference on Parallel Architectures and Languages, Einhoven, the Netherlands, June 1987.","DOI":"10.1007\/3-540-17945-3_9"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R., \"Term Graph Reduction\", University of East-Anglia and University of Nijmegen, Proceedings of the PARLE conference on Parallel Architectures and Languages\", Eindhoven, the Netherlands, June 1987.","DOI":"10.1007\/3-540-17945-3_8"},{"key":"20_CR4","unstructured":"Barendregt, H.P., Eekelen, M.C.J.D. van, Plasmeijer, M.J., University of Nijmegen; Hartel, P.H., Hertzberger, L.O., Vree, W.G., University of Amsterdam, \"The Dutch Parallel Reduction Machine Project\", to appear."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Cousineau, G., Curien, P.L., Mauny, M., \"The Categorical Abstract Machine\", Proc. Conf. on Functional Languages and Computer Architecture, Nancy, pp. 50\u201364, September 1985.","DOI":"10.1007\/3-540-15975-4_29"},{"key":"20_CR6","unstructured":"De Groot, D. & Lindstrom G. (eds), \"Logic Programming: Functions, Relations and Equations\", Prentice Hall 1986."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Eekelen, M.C.J.D. van, Plasmeijer, M.J., \"Specification of rewriting strategies in Term Rewriting Systems\", University of Nijmegen, to appear in the LNCS proceedings of the Workshop on Graph Reduction, Santa Fe, New Mexico, 1986.","DOI":"10.1007\/3-540-18420-1_57"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"K.Futatsugi, J. Goguen, J.-P. Jouannaud, J. Mesequer, \"Principles of OBJ2\", Proc. of the 12th ACM POPL Conf., New-Orleans, 1985.","DOI":"10.1145\/318593.318610"},{"key":"20_CR9","unstructured":"J.R.W. Glauert, J.R.Kennaway, and M.R. Sleep, \"Dactl0: a computational model and compiler target language\", Report SYS-C87-03, School of Information Systems, University of East Anglia, to appear, ICL Journal, 1987."},{"key":"20_CR10","unstructured":"Goos, J., Van Latum, F., \"Complete specification of practical rewriting strategies\", Master Thesis, University of Nijmegen, March 1987."},{"key":"20_CR11","unstructured":"Hartel, P., Vree, W., \"A Load Distribution Network for a Multi Processor Reduction Machine\", Internal Report D-6, Dutch Parallel Reduction Machine project, University of Amsterdam, April 1986."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Hudak, P., and Smith, L., \"Para-Functional Programming: A Paradigm for Programming Multi-Processor Systems\", 12th A.C.M. Symp. on Principles of Programming Languages, Jan. 1986, pp. 243\u2013254.","DOI":"10.1145\/512644.512667"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Johnsson, T., \"Efficient Compilation of Lazy Evaluation\", Proc. of the ACM Sigplan '84, Sigplan Notice, Vol. 19, No 6, June 1984.","DOI":"10.1145\/502874.502880"},{"key":"20_CR14","unstructured":"Koopman, P.W.M., Nocker, E.G.J.M.H., \"Compiling Functional Languages to Functional Graph Rewriting Systems\", University of Nijmegen, Internal report, to appear."},{"key":"20_CR15","unstructured":"Klop, J.W., \"Term rewriting systems\", Notes for the Seminar on Reduction Machines, Ustica 1985, to appear."},{"key":"20_CR16","unstructured":"O'Donnell, M.J., \"Equational Logic as a Programming Language\", Foundations of Computing Series, MIT Press, 1985."},{"key":"20_CR17","unstructured":"Odijk, E.A.M., \"DOOM: a Decentralized Object-Oriented Machine\", Doc. Nr. 0125, Esprit 415 internal report, Philips, Eindhoven, 1985."},{"key":"20_CR18","unstructured":"Peyton Jones, S. L., \"FLIC \u2014 a Functional Language Intermediate Code\", Dept. of Comp. Sc., University College London, internal working paper."},{"issue":"1","key":"20_CR19","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"Turner, D.A., \"A new Implementation Technique for Applicative Languages\", Softw. Pract. and Experience, Vol. 9 (1), pp. 31\u201349, January 1979.","journal-title":"Softw. Pract. and Experience"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Turner, D.A., \"Miranda: A non-strict functional language with polymorphic types\", Proc. Conf. on Functional Languages and Computer Architecture, Nancy, pp. 1\u201316, September 1985.","DOI":"10.1007\/3-540-15975-4_26"}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18317-5_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:14:39Z","timestamp":1605626079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18317-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183174","9783540478799"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-18317-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]}}}