{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:27Z","timestamp":1725663027528},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:33:05Z","timestamp":1330198385000},"page":"446-470","source":"Crossref","is-referenced-by-count":18,"title":["Evaluation transformers \u2014 A model for the parallel evaluation of functional languages (extended abstract)"],"prefix":"10.1007","author":[{"given":"Geoffrey L.","family":"Burn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Strictness Analysis and Polymorphic Invariance, Workshop on Programs as Data Objects, DIKU, Denmark, 17\u201319 October, 1985, Ganzinger, H., and Jones, N.D., (eds.) Springer-Verlag LNCS 217, pp. 1\u201323.","DOI":"10.1007\/3-540-16446-4_1"},{"key":"24_CR2","unstructured":"Abramsky, S., Abstract Interpretation, Logical Relations and Kan Extensions, Draft Manuscript, Imperial College,University of London, October, 1985."},{"key":"24_CR3","unstructured":"Bevan, D.I., Burn, G.L., Karia, R.J., and Robson, J.D., Design Principles of a Distributed Memory Architecture for Parallel Graph Reduction, Draft Manuscript, January, 1987."},{"key":"24_CR4","unstructured":"Burn, G.L., Abstract Interpretation and the Parallel Evaluation of Functional Languages, PhD Thesis, Department of Computing, Imperial College of Science and Technology, University of London, 1987."},{"key":"24_CR5","unstructured":"Burn, G.L., Head-strictness and its Determination Using Abstract Interpretation, In Preparation, June 1987."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Burn, G.L., Hankin, C.L., and Abramsky, S., Strictness Analysis for Higher-Order Functions, Science of Computer Programming, 7, November 1986, pp.249\u2013278.","DOI":"10.1016\/0167-6423(86)90010-9"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Clack, C., and Peyton Jones, S.L., The Four-Stroke Reduction Engine, Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, Cambridge, Massachusetts, 4\u20136 August, 1986, pp. 220\u2013232.","DOI":"10.1145\/319838.319865"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Cousot, R., Systematic Design of Program Analysis Frameworks, Conference Record of the 6th ACM Symposium on Principles of Programming Languages, pp. 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Hall, C.V., and Wise, D.S., Compiling Strictness into Streams, 14th ACM Symposium on Principles of Programming Languages, pp. 132\u2013143, January, 1987.","DOI":"10.1145\/41625.41637"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Hankin, C.L., Burn, G.L., and Peyton Jones, S.L., A Safe Approach to Parallel Combinator Reduction (Extended Abstract), Proceedings ESOP 86 (European Symposium on Programming), Saarbrucken, Federal Republic of Germany, March 1986, Robinet, B., and Wilhelm, R. (eds.), Springer-Verlag LNCS 213, pp. 99\u2013110.","DOI":"10.1007\/3-540-16442-1_7"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Hudak, P., and Young, J., Higher-Order Strictness Analysis in Untyped \u03bb-Calculus, 12th ACM Symposium on Principles of Programming Languages, pp. 97\u2013109, January, 1985.","DOI":"10.1145\/512644.512653"},{"key":"24_CR12","volume-title":"Strictness Detection in Non-Flat Domains Workshop on Programs as Data Objects","author":"J. Hughes","year":"1985","unstructured":"Hughes, J., Strictness Detection in Non-Flat Domains Workshop on Programs as Data Objects, DIKU, Denmark, 17\u201319 October, 1985, Ganzinger, H., and Jones, N.D., (eds.) Springer-Verlag LNCS 217, pp. 112\u2013135."},{"key":"24_CR13","unstructured":"Johnsson, T., Compiling Lazy Functional Languages, PhD Thesis, Department of Computer Sciences, Chalmers University of Technology, 1987."},{"key":"24_CR14","unstructured":"Karia, R.J., An Investigation of Combinator Reduction on Multiprocessor Architectures, PhD Thesis, University of London, 1987."},{"key":"24_CR15","unstructured":"Peyton Jones, S.L., The Implementation of Functional Programming Languages, Prentice-Hall International Series in Computer Science, 1987."},{"key":"24_CR16","unstructured":"Mycroft, A., Abstract Interpretation and Optimising Transformations for Applicative Programs, PhD. Thesis, University of Edinburgh, 1981."},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Mycroft, A., and Nielson, F., Strong Abstract Interpretation Using Power Domains (Extended Abstract) Proc. 10th International Colloquium on Automata, Languages and Programming: Springer Verlag LNCS 154, Diaz, J. (ed.), Barcelona, Spain, 18th\u201322nd July, 1983, 536\u2013547.","DOI":"10.1007\/BFb0036935"},{"issue":"3","key":"24_CR18","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D., Data Types as Lattices, SIAM J.Comput. 5 3 (Sept 1976), 522\u2013587.","journal-title":"SIAM J.Comput."},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Turner, D.A., Miranda: A non-strict functional language with polymorphic types, Functional Programming Languages and Computer Architecture, September 1985, Nancy, Jouannaud, J.-P., (ed.), Springer-Verlag LNCS 201, pp. 1\u201316.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"24_CR20","unstructured":"Wadler, P., Strictness Analysis on Non-Flat Domains (by Abstract Interpretation over Finite Domains), in Abramsky, S., and Hankin, C., (eds), Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987. (Originally distributed on the FP mailboard November, 1987.)"},{"key":"24_CR21","unstructured":"Wadler, P., and Hughes, R.J.M., Projections for Strictness Analysis, In this volume."}],"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_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:08:23Z","timestamp":1640916503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18317-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183174","9783540478799"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-18317-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}