{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:03Z","timestamp":1749124083930},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512844"},{"type":"electronic","value":"9783540461838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3540512845_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:50:25Z","timestamp":1330203025000},"page":"286-305","source":"Crossref","is-referenced-by-count":11,"title":["A Functional Programming environment supporting execution, partial execution and transformation"],"prefix":"10.1007","author":[{"given":"John","family":"Darlington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hessam","family":"Khoshnevisan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lee","family":"McLoughlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nigel","family":"Perry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helen","family":"Pull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Reeve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Sephton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lyndon","family":"While","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sue","family":"Wright","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"issue":"8","key":"18_CR1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J.W. Backus","year":"1978","unstructured":"Backus, J.W., Can Programming Be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs, CACM, 21(8), August 1978, pp. 613\u2013641.","journal-title":"CACM"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Backus, J.W., The Algebra of Functional Programs, Function Level Reasoning, Linear Equations and Extended Definitions, Springer-Verlag, Volume 107, 1981, pp. 1\u201343.","DOI":"10.1007\/3-540-10699-5_91"},{"key":"18_CR3","series-title":"Internal Report","volume-title":"HOPE: An Experimental Applicative Language","author":"R. M. Burstall","year":"1980","unstructured":"Burstall, R. M., MacQueen, D. B. and Sannella, D. T., HOPE: An Experimental Applicative Language, Internal Report CSR-62-80, University of Edinburgh, U.K., 1980."},{"issue":"3","key":"18_CR4","first-page":"541","volume":"5","author":"P. Broughton","year":"1987","unstructured":"Broughton, P., Thomson, C. M., Leunig, S. R. and Prior, S., Designing System Software for Parallel Declarative Systems, ICL Technical Journal 5(3), May 1987, pp. 541\u2013554.","journal-title":"ICL Technical Journal"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"Burstall, R. M. and Darlington, J., A Transformation System for Developing Recursive Programs, J. ACM, 24(1), January 1977, pp. 44\u201367.","journal-title":"J. ACM"},{"key":"18_CR6","unstructured":"Cripps, M. D., Darlington, J., Field, A. J., Harrison, P. G. and Reeve, M. J., The Design and Implementation of ALICE: A Parallel Graph Reduction Machine, Selected Reprints on Dataflow and Reduction Architectures, ed. S. S. Thakkar, IEEE Computer Society Press, 1987."},{"key":"18_CR7","volume-title":"Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment","author":"P. Coscia","year":"1988","unstructured":"Coscia, P., Franceschi, P., Levi, G., Sardu, G. and Torre, L., Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment, Proceedings of the Fifth International Conference and Symposium on Logic Programming, Volume 1, Kowalski, K. A. (eds), The MIT Press, London, 1988."},{"issue":"3","key":"18_CR8","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/2166.2167","volume":"5","author":"N. H. Cohen","year":"1983","unstructured":"Cohen, N. H., Eliminating Redundant Recursive Calls, ACM Transactions on Programming Languages and Systems, 5(3), July 1983, pp. 265\u2013299.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR9","series-title":"Internal Report","volume-title":"Narrowing and Unification in Functional Programming","author":"J. Darlington","year":"1988","unstructured":"Darlington, J. and Guo, Y. E., Narrowing and Unification in Functional Programming, Internal Report, Functional Programming Section, Department of Computing, Imperial College, London, October, 1988."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Darlington, J. and Reeve, M. J., ALICE: A Multiprocessor Reduction Machine for the Parallel Evaluation of Applicative Languages, ACM\/MIT Conference on Functional Programming Languages and Computer Architecture, 1981.","DOI":"10.1145\/800223.806764"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Darlington, J. and While, R. L., Controlling the Behaviour of Functional Language Systems, Proceedings of the International Conference on Functional Programming and Computer Architecture, Portland., Oregon, 1987.","DOI":"10.1007\/3-540-18317-5_16"},{"key":"18_CR12","unstructured":"Darlington, J., Field A. J., and Pull, H.M., The Unification of Functional and Logic Languages, Logic Programming: Functions, Relations and Equations, Degroot, D. and Lindstrom, G. (eds), Prentice-Hall, 1986."},{"key":"18_CR13","unstructured":"Darlington, J. and Pull, H.M., A Program Development Methodology Based on a Unified Approach to Execution, Partial Evaluation and Mixed Computation, Proceedings of the IFIP Workshop on Partial Evaluation and Mixed Computation, October 1987, eds. Bjorner, D., Ershov, A. P. and Jones, N. D., North Holland."},{"key":"18_CR14","unstructured":"Della Fera, T., Gettys, J. and Newman, R., Xlib-C Language X Interface Protocol Version 10, Digital Equipment Corporation, MIT\/Project Athena, January 1986."},{"key":"18_CR15","series-title":"Internal Report","volume-title":"Best-fit Pattern-matching","author":"A. J. Field","year":"1987","unstructured":"Field, A. J., Hunt L. S. and While, R. L., Best-fit Pattern-matching, Internal Report, Functional Programming Section, Department of Computing, Imperial College, London, December 1987."},{"key":"18_CR16","series-title":"Internal Report","volume-title":"Specification of Core DACTL1","author":"J. R. W. Glauert","year":"1987","unstructured":"Glauert, J. R. W., Kennaway, J. R., Sleep, M. R., Holt, N. P., Reeve, M. J., and Watson, I., Specification of Core DACTL1, Internal Report SYS-C87-09, University of East Anglia, U.K., 1987."},{"key":"18_CR17","unstructured":"Greenblatt, R. D., The LISP Machine, in Interactive Programming Environments, Barstow, D. R., Shrobe, H. E. and Sandewall, E. (eds), McGraw-Hill, 1984."},{"key":"18_CR18","unstructured":"Guo, Y. E., An Execution Mechanism for a Functional Language with Unfiication, BCS FACS Workshop on Term Rewriting, Bristol, September, 1988."},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Harrison, P. G. and Khoshnevisan, H., Efficient Compilation of Linear Recursive Functions into Object-level Loops, Proceedings 1986 SIGPLAN Symposium on Compiler Construction, Palo Alto, June 1986.","DOI":"10.1145\/12276.13332"},{"key":"18_CR20","series-title":"Internal Report","volume-title":"On the Synthesis of Function Inverses","author":"P. G. Harrison","year":"1988","unstructured":"Harrison, P. G. and Khoshnevisan, H., On the Synthesis of Function Inverses, Internal Report, Functional Programming Section, Department of Computing, Imperial College, London, April 1988."},{"key":"18_CR21","unstructured":"Harrison, P. G. and Khoshnevisan, H., The Mechanical Transformation of Data Types, Comp. J., 1989, to appear."},{"key":"18_CR22","unstructured":"Hewlett-Packard, Programming with the X-window System, Internal report, November 1986."},{"key":"18_CR23","unstructured":"Gordon, M., Milner, R. and Wadsworth, C., Edinburgh LCF, Report CSR-11-77, Computer Science Department, Edinburgh University, 1977."},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Keller, R. M. and Sleep, M. R., Applicative Caching: Programmer Control of Object Sharing and Lifetime in Distributed Implementations of Applicative Languages, ACM Conference on functional languages and computer architecture, Portsmouth, 1981, pp. 131\u2013140.","DOI":"10.1145\/800223.806772"},{"key":"18_CR25","volume-title":"Automatic Transformation Systems Based on Functional-Level Reasoning","author":"H. Khoshnevisan","year":"1987","unstructured":"Khoshnevisan, H., Automatic Transformation Systems Based on Functional-Level Reasoning, PhD thesis, Functional Programming Section, Department of Computing, Imperial College, London, 1987."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Khoshnevisan, H. and Sephton, K. M., InvX: An Automatic Function Inverter, Conference on Rewriting Techniques and Applications, Chapel Hill, North Carolina, April 1989.","DOI":"10.1007\/3-540-51081-8_139"},{"key":"18_CR27","volume-title":"Verification of Concurrent Programs: the Temporal Framework","author":"Z. Manna","year":"1981","unstructured":"Manna, Z. and Pnueli, A., Verification of Concurrent Programs: the Temporal Framework, Computer Science Department, Stanford University, U.S.A, 1981."},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Michie, D. \"Memo\" Functions and Machine Learning, Nature, No. 218, 1968, pp. 19\u201322.","DOI":"10.1038\/218019a0"},{"key":"18_CR29","series-title":"Internal Report","volume-title":"Hope+C A Continuation Extension for Hope+, IC\/FPR\/LANG\/2.5.1\/21","author":"N. Perry","year":"1987","unstructured":"Perry, N., Hope+C A Continuation Extension for Hope+, IC\/FPR\/LANG\/2.5.1\/21, Internal Report, Functional Programming Section, Department of Computing, Imperial College, London, 1987."},{"key":"18_CR30","series-title":"Internal Report","volume-title":"Functional Language I\/O, IC\/FPR\/LANG\/2.5.1\/29","author":"N. Perry","year":"1987","unstructured":"Perry, N., Functional Language I\/O, IC\/FPR\/LANG\/2.5.1\/29, Internal Report, Functional Programming Section, Department of Computing, Imperial College, London, 1987."},{"key":"18_CR31","series-title":"Internal Report","volume-title":"Hope+ Compiler, IC\/FPR\/LANG\/2.5.1\/14","author":"N. Perry","year":"1987","unstructured":"Perry, N. and Sephton, K. M., Hope+ Compiler, IC\/FPR\/LANG\/2.5.1\/14, Internal Report, Functional Programming Section, Department of Computing, Imperial College, London, 1987."},{"key":"18_CR32","unstructured":"Strachey, C. and Wadsworth, C. P., Continuations-A Mathematical Semantics for Handling Full Jumps, PRG-11, Programming Research Group, University of Oxford, 1974."},{"issue":"3","key":"18_CR33","first-page":"575","volume":"5","author":"P. Townsend","year":"1987","unstructured":"Townsend, P., Flagship Hardware and Implementation, ICL Technical Journal 5(3), May 1987, pp. 575\u2013594.","journal-title":"ICL Technical Journal"},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"Watson, I. and Watson, P., Graph Reduction in a Parallel Virtual Memory Environment, Proceedings of the MCC Graph Reduction Workshop, Santa Fe, New Mexico, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-18420-1_60"},{"key":"18_CR35","volume-title":"Behavioural Aspects of Term Rewriting Systems","author":"R. L. While","year":"1988","unstructured":"While, R. L., Behavioural Aspects of Term Rewriting Systems, PhD thesis, Functional Programming Section, Department of Computing, Imperial College, London, 1988."}],"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\/3540512845_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:35Z","timestamp":1605648035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540512845_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512844","9783540461838"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3540512845_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}