{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:18Z","timestamp":1725663018086},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183174"},{"type":"electronic","value":"9783540478799"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18317-5_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:32:17Z","timestamp":1330180337000},"page":"278-300","source":"Crossref","is-referenced-by-count":6,"title":["Controlling the behaviour of functional language systems"],"prefix":"10.1007","author":[{"given":"John","family":"Darlington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lyndon","family":"While","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., MacQueen, D.B. and Sanella, D.T., 1980; \"Hope: An Experimental Applicative Language\", Proc. 1980 LISP conference, Stanford California. 136\u2013143.","DOI":"10.1145\/800087.802799"},{"key":"16_CR2","unstructured":"Cripps, M.D., Darlington, J., Field, A.J., Harrison, P.G. and Reeve, M.J., 1987; \"The Design and Implementation of ALICE: A Parallel Graph Reduction Machine\", Dataflow and Reduction Architectures, ed. S.S. Thakkar, IEEE publications."},{"key":"16_CR3","unstructured":"Gabbay, D., 1986; \"Executable Temporal Logic for Interactive Systems\", Internal Report, Department of Computing, Imperial College."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Henderson, P., 1982; \"Purely Functional Operating Systems\", Functional Programming and its Applications, eds. J. Darlington, P. Henderson and D.A. Turner, Cambridge University Press. 177\u2013189.","DOI":"10.1145\/800068.802148"},{"key":"16_CR5","volume-title":"Communicating Sequential Processes","author":"C. A. R. R. Hoare","year":"1985","unstructured":"Hoare, C.A.R., 1985; \"Communicating Sequential Processes\", Prentice-Hall International, Englewood Cliffs, New Jersey."},{"key":"16_CR6","unstructured":"Hughes, R.J.M., 1983; \"The Design and Implementation of Programming Languages\", Ph.D. thesis, Oxford University Computing Laboratory, Programming Research Group. 75\u201391."},{"key":"16_CR7","volume-title":"'Nebula: A Functional Operating System', Laboratory for Programming Methodology","author":"K. Karlsson","year":"1981","unstructured":"Karlsson, K., 1981; 'Nebula: A Functional Operating System', Laboratory for Programming Methodology, Chalmers University of Technology and University of Goteborg, Sweden (draft paper)."},{"issue":"4","key":"16_CR8","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/948176.948183","volume":"18","author":"D. May","year":"1983","unstructured":"May, D., 1983; \u2018Occam', ACM Sigplan Notices, Vol. 18, No. 4, 69\u201379.","journal-title":"ACM Sigplan Notices"},{"key":"16_CR9","series-title":"Internal Report","volume-title":"Executing Temporal Logic Programs","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski, B., 1985; \u2018Executing Temporal Logic Programs', Internal Report, Computer Laboratory, Cambridge."},{"issue":"3","key":"16_CR10","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0167-6423(86)90028-6","volume":"6","author":"W. Stoye","year":"1986","unstructured":"Stoye, W., 1986; \u2018Message-based Functional Operating Systems', Science of Computer Programming, Vol. 6, No. 3 (Mag). 291\u2013311.","journal-title":"Science of Computer Programming"},{"key":"16_CR11","unstructured":"While, R.L., 1987; \u2018Behavioural Aspects of Term-rewriting Systems', Ph.D thesis, Functional Programming Research Group, Imperial College (in preparation)."}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:14:37Z","timestamp":1605626077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18317-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183174","9783540478799"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-18317-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}