{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T00:10:11Z","timestamp":1742602211092,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625032"},{"type":"electronic","value":"9783540680529"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62503-8_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:40:06Z","timestamp":1330296006000},"page":"279-295","source":"Crossref","is-referenced-by-count":2,"title":["Parallel implementation of functional languages"],"prefix":"10.1007","author":[{"given":"R.","family":"Wilhelm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Alt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Raber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"13_CR1","first-page":"154","volume-title":"CONPAR 90-VAPP IV","author":"V. Bafna","year":"1990","unstructured":"V. Bafna A. Gupta, A. Banerjea, V. Jha and PCP Bhatt. Parallel implementation of logic languages. In CONPAR 90-VAPP IV, pages 154\u2013165, Berlin-Heidelberg-New York, 1990. Springer."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"R. Alverson, D. Callahan, D. Cummings, B. Koblenz, A. Porterfield, and B. Smith. The tera computer system. 1990 International Conf. on Super-computing, June 11\u201315 1990. Published as Computer Architecture News 18:3.","DOI":"10.1145\/77726.255132"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"I. Alouini and C. Kirchner. Toward the Concurrent Implementation of Computational Systems. In Algebraic and Logic Programming, volume 1139 of LNCS, pages 1\u201331. Springer-Verlag, September 1996.","DOI":"10.1007\/3-540-61735-3_1"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"F. Abolhassan, J. Keller, and W.J. Paul. On the Cost-Effectiveness of PRAMs. In SPDP, pages 2\u20139. IEEE Computer Society, 1991.","DOI":"10.1109\/SPDP.1991.218303"},{"key":"13_CR5","first-page":"822","volume-title":"21p: A highly parallel constraint logic programming language","author":"C. Atay","year":"1993","unstructured":"C. Atay, K. McAloon, and C. Tretkoff. 21p: A highly parallel constraint logic programming language. In Linda R. Petzold Richard F. Sincovec, David E. Keyes, Michael R. Leuze and Daniel A. Reed, editors, Proceedings of the 6th SIAM Conference on Parallel Processing for Scientific Computing, pages 822\u2013828, Norfolk, VI, March 1993. SIAM Press."},{"key":"13_CR6","unstructured":"Y. Ben-Asher and R. Wilhelm. Compiler support for fair execution of shared memory parallel programs on networks of workstations. in preparation."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"J. Blazewicz, K. H. Ecker, G. Schmidt, and J. Weglarz. Scheduling in Computer and Manufacturing Systems. Springer-Verlag, 1994. Second, Revised Edition.","DOI":"10.1007\/978-3-642-79034-8"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0167-8191(89)90127-0","volume":"9","author":"D.I. Bevan","year":"1989","unstructured":"D.I. Bevan. An efficient reference counting solution to the distributed garbage collection problem. Parallel Computing, 9(2):179\u2013192, 1989.","journal-title":"Parallel Computing"},{"key":"13_CR9","series-title":"Functional, Logic, Series in Parallel Computing","first-page":"101","volume-title":"Parallel Computers \u2014 Object-Oriented","author":"G. L. Burn","year":"1990","unstructured":"G. L. Burn. Implementing Lazy Functional Languages on Parallel Architectures. In P. C. Treleaven, editor, Parallel Computers \u2014 Object-Oriented, Functional, Logic, Series in Parallel Computing, chapter 5, pages 101\u2013140. John Wiley & Sons, Chichester, 1990."},{"key":"13_CR10","first-page":"227","volume-title":"Using Projection Analysis in Compiling Lazy Functional Programs","author":"G. L. Burn","year":"1990","unstructured":"G. L. Burn. Using Projection Analysis in Compiling Lazy Functional Programs. In LISP'90, Nice, France, pages 227\u2013241. ACM Press, 1990."},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science 201","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/3-540-15975-4_29","volume-title":"Functional Programming Languages and Computer Architecture","author":"G. Cousineau","year":"1985","unstructured":"G. Cousineau, P. L. Curien, and M. Mauny. The categorical abstract machine. In J.-P. Jouannaud, editor, Functional Programming Languages and Computer Architecture, pages 50\u201364. Springer-Verlag, Berlin, DE, 1985. Lecture Notes in Computer Science 201 Proceedings of. Conference at Nancy."},{"key":"13_CR12","unstructured":"M. M. T. Chakravarty. A self-scheduling, non-blocking, parallel abstract machine for lazy functional languages. Proceedings of the 6th International Workshop on the Implementation of Functional Languages, 1994."},{"key":"13_CR13","unstructured":"J. Feo, P. Miller, S. Skedzielewski, S. Denton, and C. Solomon. Sisal 90. In A. P. Wim Bohm and John T. Feo, editors, High Performance Functional Computing, pages 35\u201347, April 1995."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"J. Fairbairn and S. Wray. TIM: A simple, lazy abstract machine to execute supercombinators. In Functional Programming Languages and Computer Architecture, pages 34\u201345. Springer Verlag, September 1987. LNCS 274.","DOI":"10.1007\/3-540-18317-5_3"},{"key":"13_CR15","unstructured":"G. C. Fox, R. D. Williams, and P. C. Messina. Parallel Computing Works! Morgan Kaufmann, 1994."},{"key":"13_CR16","first-page":"287","volume-title":"Annals of Discrete Mathematics","author":"R. Graham","year":"1979","unstructured":"R. Graham, E. Lawler, J. Lenstra, and A. Rinnoy Kan. Optimization and approximation in deterministic sequencing and scheduling: A survey. In Annals of Discrete Mathematics, volume 5, pages 287\u2013326. North-Holland, Amsterdam, 1979."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"S. C. Goldstein, K. E. Schauser, and D. E. Culler. Lazy threads, stacklets, and synchronizers: Enabling primitives for compiling parallel languages. In Third Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers, 1995.","DOI":"10.1007\/978-1-4615-2315-4_12"},{"key":"13_CR18","series-title":"Technical Report QMW-DCS-1995-701","volume-title":"Phd Thesis","author":"J. M. D. Hill","year":"1995","unstructured":"J. M. D. Hill. Data-parallel lazy functional programming (Phd Thesis). Technical Report QMW-DCS-1995-701, Queen Mary and Westfield College, Department of Computer Science, Mile End Road, London, E1 4NS, UK, May 1995."},{"key":"13_CR19","volume-title":"The G-machine: An abstract machine for graph reduction","author":"T. Johnsson","year":"1983","unstructured":"T. Johnsson. The G-machine: An abstract machine for graph reduction. In Proceedings of the Joint SERC\/Chalmers Workshop on Declarative Programming, University College, London, UK, 1983."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Parallel evaluation of functional programs: The <\u03bd,G> approach (summary). In Parallel Architectures and Languages Europe PARLE, pages 406\u2013422. Springer-Verlag, 1991. LNCS 505.","DOI":"10.1007\/978-3-662-25209-3_1"},{"key":"13_CR21","volume-title":"PhD thesis","author":"M. Kesseler","year":"1996","unstructured":"M. Kesseler. The Implementation of Functional Languages on Parallel Machines with Distributed Memory. PhD thesis, \u201dKatholieke Universiteit Nijmegen, The Netherlands\u201d, April 1996."},{"key":"13_CR22","volume-title":"Technical Report 90-05, Technical University of Aachen","author":"H. Kuchen","year":"1990","unstructured":"H. Kuchen and A. Wagener. Comparison of dynamic load balancing strategies. Technical Report 90-05, Technical University of Aachen (RWTH Aachen), 1990."},{"key":"13_CR23","volume-title":"Technical Report 95","author":"R. D. Lins","year":"1991","unstructured":"R. D. Lins and R. E. Jones. Cyclic weighted reference counting. Technical Report 95, University of Kent, Canterbury, United Kingdom, December 1991."},{"key":"13_CR24","volume-title":"Technical Report No. 92","author":"R. D. Lins","year":"1991","unstructured":"R. D. Lins and M. A. Vasques. A comparative study of algorithms for cyclic reference counting. Technical Report No. 92, Computing Laboratory, University of Kent, Canterbury, UK, 1991. Submitted to Software\u2014Practice and Experience."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"D. Maurer. Strictness Computation Using Special Lambda-Expressions. In Harald Ganzinger and Neil D. Jones, editors, Programs as Data Objects, volume 217 of LNCS, pages 136\u2013155. Springer-Verlag, October 1986.","DOI":"10.1007\/3-540-16446-4_8"},{"key":"13_CR26","series-title":"volume 505 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-54152-7_66","volume-title":"PARLE '91, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms","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. Eekelen, and M. J. Plasmeijer. Concurrent Clean. In E. H. L. Aarts, J. van Leeuwen, and M. Rem, editors, PARLE '91, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, volume 505 of Lecture Notes in Computer Science, pages 202\u2013219, Eindhoven, The Netherlands, June 10\u201313, 1991. Springer, Berlin."},{"key":"13_CR27","volume-title":"Fifth Generation Computer Systems","author":"J. H. Nang","year":"1992","unstructured":"J. H. Nang, D. W. Shin, S. R. Maeng, and J. W. Cho. A parallel execution of functional logic language with lazy evaluation. In Fifth Generation Computer Systems. IOS Press, Amsterdam, NL, 1992."},{"key":"13_CR28","unstructured":"S. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall, 1987."},{"key":"13_CR29","unstructured":"M. Raber. Parallele Implementierung funktionaler Programmiersprachen. PhD thesis, Universit\u00e4t des Saarlandes, 1994."},{"key":"13_CR30","series-title":"Informatik Fachberichte 168","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/978-3-642-73451-9_16","volume-title":"'Architektur und Betrieb von Rechensystemen', 10. GI\/ITG-Fachtagung","author":"M. Raber","year":"1988","unstructured":"M. Raber, Th. Remmel, E. Hoffmann, D. Maurer, F. M\u00fcller, H.-G. Oberhauser, and R. Wilhelm. Compiled graph reduction on a processor network. In 'Architektur und Betrieb von Rechensystemen', 10. GI\/ITG-Fachtagung, pages 198\u2013212, Paderborn, FRG, March 1988. Informatik Fachberichte 168, Springer-Verlag."},{"key":"13_CR31","first-page":"879","volume-title":"Proceedings IEEE Region 10 Conference","author":"H. Seidl","year":"1989","unstructured":"H. Seidl and R. Wilhelm. Probabilistic load balancing for parallel graph reduction. In Proceedings IEEE Region 10 Conference, pages 879\u2013884, New York, 1989. IEEE."},{"key":"13_CR32","doi-asserted-by":"crossref","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 Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 79\u201388, Philadelphia, Pennsylvania, 21-May 1996.","DOI":"10.1145\/249069.231392"},{"key":"13_CR33","unstructured":"G. Tremblay. Parallel implementation of lazy functional languages using abstract demand propagation. PhD thesis, McGill University, November 1994."},{"key":"13_CR34","unstructured":"R. Wilhelm and D. Maurer. Compiler Design. International Computer Science Series. Addison-Wesley, 1995."}],"container-title":["Lecture Notes in Computer Science","Analysis and Verification of Multiple-Agent Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62503-8_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:29:36Z","timestamp":1742599776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62503-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625032","9783540680529"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-62503-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}