{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:29Z","timestamp":1725663689177},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_33","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:52:14Z","timestamp":1330185134000},"page":"55-72","source":"Crossref","is-referenced-by-count":3,"title":["Dataflow analysis of term graph rewriting systems"],"prefix":"10.1007","author":[{"given":"R.","family":"Banach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","unstructured":"S. Abramsky, C. Hankin (eds.) 1987, Abstract Interpretation of Declarative Languages, Ellis Horwood."},{"key":"5_CR2","unstructured":"A.V. Aho, R. Sethi, J.D. Ullman 1986, Compilers, Principles Techniques and Tools, Addison Wesley."},{"key":"5_CR3","unstructured":"R. Banach, P. Watson 1988, Dealing with State on Flagship: The MONSTR Computational Model, in: Proceedings of the CONPAR 88 Conference, UMIST, U.K."},{"key":"5_CR4","unstructured":"R. Banach, J. Sargeant, I. Watson, P. Watson, V. Woods 1988, The Flagship Project, in: Proceedings of the Alvey Technical Conference, Swansea, U.K."},{"key":"5_CR5","unstructured":"R. Banach 1988, Implementing Term Graph Rewriting on a Loosely Synchronised Architectural Model, in preparation."},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-17945-3_8","volume":"259","author":"H.P. Barendregt","year":"1987","unstructured":"H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, M.R. Sleep 1987, Term Graph Rewriting, in: Parallel Architectures and Languages Europe, L.N.C.S. 259, 141\u2013158.","journal-title":"Parallel Architectures and Languages Europe, L.N.C.S."},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-17945-3_9","volume":"259","author":"H.P. Barendregt","year":"1987","unstructured":"H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, M.R. Sleep 1987, Towards an Intermediate Language based on Graph Rewriting, in: Parallel Architectures and Languages Europe, L.N.C.S. 259, 159\u2013175.","journal-title":"Parallel Architectures and Languages Europe, L.N.C.S."},{"key":"5_CR8","series-title":"Technical Report","volume-title":"Program Transformation and Synthesis: Present Capabilities","author":"J. Darlington","year":"1977","unstructured":"J. Darlington 1977, Program Transformation and Synthesis: Present Capabilities, Technical Report 77\/43, Dept. of Computer Science, Imperial College, U.K."},{"key":"5_CR9","volume-title":"Final Specification of DACTL","author":"J.R.W. Glauert","year":"1987","unstructured":"J.R.W. Glauert, J.R. Kennaway, M.R. Sleep 1987, Final Specification of DACTL, School of Information Systems, University of East Anglia, Norwich, U.K."},{"key":"5_CR10","volume-title":"DACTL: Some Introductory Papers","author":"J.R.W. Glauert","year":"1988","unstructured":"J.R.W. Glauert, K. Hammond, J.R. Kennaway, G.A. Papadopoulos, M.R. Sleep, 1988, DACTL: Some Introductory Papers. School of Information Systems, University of East Anglia, Norwich, U.K."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D.A. Turner","year":"1979","unstructured":"D.A. Turner 1979, A New Implementation Technique for Applicative Languages, Software Practise and Experience 9, 31\u201349.","journal-title":"Software Practise and Experience"},{"key":"5_CR12","volume-title":"Semantics and Pragmatics of the Lambda Calculus","author":"C.P. Wadsworth","year":"1971","unstructured":"C.P. Wadsworth 1971, Semantics and Pragmatics of the Lambda Calculus, D. Phil. thesis, Programming Research Group, Oxford University, U.K."},{"key":"5_CR13","first-page":"80","volume":"274","author":"P. Watson","year":"1987","unstructured":"P. Watson, I. Watson 1987, Evaluating Functional Programs on the Flagship Machine, in: Functional Languages and Computer Architecture, L.N.C.S. 274, 80\u201397.","journal-title":"Functional Languages and Computer Architecture, L.N.C.S."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"I. Watson, V. Woods, P. Watson, R. Banach, M. Greenberg, J. Sargeant 1988, Flagship: A Parallel Architecture for Declarative Programming, in: 15th Annual International Symposium on Computer Architecture, Hawaii.","DOI":"10.1109\/ISCA.1988.5221"}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:02:24Z","timestamp":1619557344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}