{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:05:26Z","timestamp":1725494726966},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662297"},{"type":"electronic","value":"9783540485155"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48515-5_4","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:25:55Z","timestamp":1194971155000},"page":"54-71","source":"Crossref","is-referenced-by-count":2,"title":["Towards an Operational Semantics for a Parallel Non-strict Functional Language"],"prefix":"10.1007","author":[{"given":"Jon G.","family":"Hall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clem","family":"Baker-Finch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Trinder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David J.","family":"King","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"4_CR1","unstructured":"J. C. Peterson, K. Hammond, L. Augustsson, B. Boutel, F. W. Burton, J. Fasel, A. D. Gordon, R. J. M. Hughes, P. Hudak, T. Johnsson, M. P. Jones, E. Meijer, S. L. Peyton Jones, A. Reid, and P. L. Wadler. Report on the Non-Strict Functional Language, Haskell, Version 1.4, Yale University, 1997. Available at http:\/\/haskell.org ."},{"key":"4_CR2","unstructured":"S. Abramsky. The Lazy Lambda Calculus. In D.A. Turner, editor, Declarative Programming. Addison-Wesley, 1990."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"G.E. Blelloch, S. Chatterjee, J.C. Hardwick, J. Spielstein, and M. Zagha. Implementation of a portable nested data-parallel language. In Proc. Fourth ACM Conference on Principles & Practice of Parallel Programming (PPoPP\u2019 93), pages 102\u2013111. San Diego, CA, May 1993.","DOI":"10.21236\/ADA270524"},{"key":"4_CR4","unstructured":"S. Breitinger, R. Loogen, Y. Ortega-Mall\u00e9n, and R. Pe\u00f1a. The Eden Coordination Model for Distributed Memory Systems. In Proc. HIPS\u2019 97-High-Level Parallel Programming Models and Supportive Environments. IEEE Press, 1997."},{"issue":"1\u20132","key":"4_CR5","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0167-6423(97)00010-5","volume":"30","author":"M.M.T. Chakravarty","year":"1998","unstructured":"M.M.T. Chakravarty, Y. Guo, M. K\u00f6hler, and H.C.R. Lock. Goffin: Higher-Order Functions Meet Concurrent Constraints. Science of Computer Programming, 30(1\u20132):157\u2013199, 1998.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1109\/12.21127","volume":"38","author":"D. L. Eager","year":"1989","unstructured":"D. L. Eager, J. Zahorjan, and E.D. Lazowska. Speedup Versus Efficiency in Parallel Systems. IEEE Transactions on Computers, 38(3):408\u2013423, March 1989.","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR7","unstructured":"J. Feo, P. Miller, S. Skedziewlewski, S. Denton, and C. Soloman. Sisal 90. In Proc. HPFC\u2019 95 \u2014 High Performance Functional Computing, pages 35\u201347, April 1995. Denver, CO."},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. Halstead","year":"1998","unstructured":"R. Halstead. MultiLisp: a Language for Concurrent Symbolic Computation. ACM Transactions on Programming Languages and Systems, 7(4):501\u2013538, 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR9","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"4_CR10","unstructured":"M. Hennessy. The Semantics of Programming Languages: An Elementary Introduction using Structural Operational Semantics. Wiley, 1990."},{"key":"4_CR11","unstructured":"J.M. Kewley and K. Glynn. Evaluation Annotations for Hope+. In Proc. 1989 Glasgow Workshop on Functional Programming, pages 329\u2013337, Springer-Verlag WiCS, August 1989."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"J. Launchbury. A Natural Semantics for Lazy Evaluation. In Proc. 20th. ACM Symposium on Principles of Programming Languages (POPL\u2019 93), pages 144\u2013154, Charleston, South Carolina, January 1993.","DOI":"10.1145\/158511.158618"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"R. Mirani and P. Hudak. First-Class Schedules and Virtual Maps. In Proc. Conference on Functional Programming and Computer Architecture (FPCA\u2019 95), pages 78\u201385, June 1995.","DOI":"10.1145\/224164.224185"},{"key":"4_CR14","unstructured":"A.J.R.G. Milner. Communication and Concurrency. Prentice-Hall International, 1989."},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1017\/S0956796800001398","volume":"5","author":"G. Michaelson","year":"1995","unstructured":"G. Michaelson and N. Scaife. Prototyping a Parallel Vision System in Standard ML. Journal of Functional Programming, 5(3):345\u2013382, 1995.","journal-title":"Journal of Functional Programming"},{"key":"4_CR16","unstructured":"R.S. Nikhil, Arvind, and J. Hicks. pH Language Proposal. Technical report, DEC Cambridge Research Lab, 1993."},{"key":"4_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-54152-7_66","volume-title":"Concurrent Clean","author":"E.G.J.M.H. N\u00f6cker","year":"1991","unstructured":"E.G.J.M.H. N\u00f6cker, J.E.W. Smetsers, M.C.J.D. van Eekelen, and M.J. Plasmeijer. Concurrent Clean. In Proc. PARLE\u2019 91 \u2014 Parallel Architectures and Reduction Languages Europe, volume 505\/506 of LNCS, pages 202\u2013220. Springer Verlag, 1991."},{"key":"4_CR18","unstructured":"G.D. Plotkin. Structured Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"4_CR19","unstructured":"P.W. Trinder, K. Hammond, J.S. Mattson Jr., A.S. Partridge, and S.L. Peyton Jones. GUM: a Portable Parallel Implementation of Haskell. In Proc. 1996 ACM Conference on Programming Language Design and Implementation (PLDI\u2019 96), Philadelphia, pages 78\u201388, May 1996."},{"issue":"1","key":"4_CR20","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P.W. Trinder","year":"1998","unstructured":"P.W. Trinder, K. Hammond, H.-W. Loidl, and S.L. Peyton Jones. Algorithm + Strategy = Parallelism. Journal of Functional Programming, 8(1):23\u201360, January 1998.","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48515-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T06:52:13Z","timestamp":1556952733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48515-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662297","9783540485155"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48515-5_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}