{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T04:10:49Z","timestamp":1748405449397,"version":"3.41.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Parallel Programming"],"published-print":{"date-parts":[[2001,8]]},"DOI":"10.1023\/a:1011125419818","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T08:43:03Z","timestamp":1040632983000},"page":"433-460","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics"],"prefix":"10.1007","volume":"29","author":[{"given":"Isabelle","family":"Attali","sequence":"first","affiliation":[]},{"given":"Denis","family":"Caromel","sequence":"additional","affiliation":[]},{"given":"Yung-Syau","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Jean-Luc","family":"Gaudiot","sequence":"additional","affiliation":[]},{"given":"Andrew L.","family":"Wendelborn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"340702_CR1","volume-title":"Parallel Computers: Theory and Practice","author":"J.-L. Gaudiot","year":"1993","unstructured":"J.-L. Gaudiot and C. Kim, Data-Driven and Multi-Threaded Architectures for High-Performance Computing. In T. Casavant and P. Tvrdik, (eds.), Parallel Computers: Theory and Practice, Chap. 4, IEEE Computer Society Press, Washington, D.C. (1993)."},{"doi-asserted-by":"crossref","unstructured":"J. L. Gaudiot and Y. Wei, Token Relabeling in a Tagged-Token Data-Flow Architecture, IEEE Trans. Computers, 38(9) (September 1989).","key":"340702_CR2","DOI":"10.1109\/12.29463"},{"key":"340702_CR3","volume-title":"Para-Functional Programming in Haskell","author":"P. Hudak","year":"1991","unstructured":"P. Hudak. In B. Szymanski, (ed.), Para-Functional Programming in Haskell, ACM Press, New York (1991)."},{"issue":"3","key":"340702_CR4","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/72551.72554","volume":"21","author":"P. Hudak","year":"1989","unstructured":"P. Hudak, Functional Programming Languages, ACM Computing Surveys, 21(3):359\u2013411 (September 1989).","journal-title":"ACM Computing Surveys"},{"doi-asserted-by":"crossref","unstructured":"A. P. W. Bohm, R. R. Oldehoeft, D. C. Cann, and J. T. Feo, Sisal Reference Manual Language Version 2.0, Computer Science Department, Colorado State University, and Computing Research Group, Lawrence Livermore National Laboratory (1990).","key":"340702_CR5","DOI":"10.2172\/5688849"},{"unstructured":"Y. S. Chen and J. L. Gaudiot, Semantics Specifications of Extended Sisal 2.0 in the Centaur System, Proc. Eighth IASTED Int'l. Conf. Parallel and Distributed Computing Syst., pp. 410\u2013414 (October 1996).","key":"340702_CR6"},{"unstructured":"Y. S. Chen and J. L. Gaudiot, An Application of Extended Sisal, Proc. Int'l. Conf. Parallel and Distributed Processing Techniques and Applications, pp. 245\u2013251 (August 1996).","key":"340702_CR7"},{"doi-asserted-by":"crossref","unstructured":"I. Attali, D. Caromel, and A. Wendelborn, A Formal Semantics and an Interactive Environment for Sisal. In A. Zaky (ed.), Tools and Environments for Parallel and Distributed Systems, Kluwer Academic Publishers, pp. 231\u2013258 (February 1996).","key":"340702_CR8","DOI":"10.1007\/978-1-4615-4123-3_11"},{"unstructured":"I. Attali, D. Caromel, Y. S. Chen, J. L. Gaudiot, and A. Wendelborn, A Formal Semantics for Sisal Arrays, Proc. Joint Conf. Infor. Sci. (September 1995).","key":"340702_CR9"},{"doi-asserted-by":"crossref","unstructured":"S. Peyton Jones and P. Wadler, Imperative Functional Programming, ACM Principles of Progr. Lang. (1993).","key":"340702_CR10","DOI":"10.1145\/158511.158524"},{"unstructured":"J. Launchbury, Lazy Imperative Programming, Technical Report, Department of Computer Science, University of Glasgow (December 1993).","key":"340702_CR11"},{"doi-asserted-by":"crossref","unstructured":"P. Wadler, The Essence of Functional Programming, ACM Principles of Progr. Lang. (1992).","key":"340702_CR12","DOI":"10.1145\/143165.143169"},{"issue":"1","key":"340702_CR13","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1010051815785","volume":"11","author":"H. Abelson","year":"1998","unstructured":"H. Abelson, R. K. Dybvig, C. T. Haynes, G. J. Rozas, N. I. Adams IV, D. P. Friedman, E. Kohlbecker, G. L. Steele Jr., D. H. Bartley, R. Halstead, D. Oxley, G. J. Sussman, G. Brooks, C. Hanson, K. M. Pitman, and M. Wand, Revised5 Report on the Algorithmic Language Scheme, J. Higher Order and Symbolic Computation, 11(1):7\u2013105 (1998).","journal-title":"J. Higher Order and Symbolic Computation"},{"doi-asserted-by":"crossref","unstructured":"R. Milner, M. Tofte, R. Harper, and D. MacQueen, The Definition of Standard ML (Revised), MIT Press (1997).","key":"340702_CR14","DOI":"10.7551\/mitpress\/2319.001.0001"},{"unstructured":"R. S. Nikhil and Arvind, Id: A Language with Implicit Parallelism. In J. Feo, (ed.), Comparative Study of Parallel Programming Languages: The Salishan Problems, Elsevier Science Publishers (1990).","key":"340702_CR15"},{"issue":"4","key":"340702_CR16","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1145\/69558.69562","volume":"11","author":"Arvind","year":"1989","unstructured":"Arvind and R. Nikhil, I-structures: Data Structures for Parallel Computing, ACM Trans. Progr. Lang. Syst., 11(4):598\u2013632 (October 1989).","journal-title":"ACM Trans. Progr. Lang. Syst."},{"issue":"2","key":"340702_CR17","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0304-3975(91)90191-4","volume":"81","author":"K. Pingali","year":"1991","unstructured":"K. Pingali and K. Ekanadham, Accumulators: New Logic Variable Abstractions for Functional Languages, Theoret. Computer Sci., 81(2):201\u2013221 (April 1991).","journal-title":"Theoret. Computer Sci."},{"key":"340702_CR18","volume-title":"Proc. Fifth Conf. Functional Progr. Lang. Computer Architecture","author":"P. S. Barth","year":"1991","unstructured":"P. S. Barth, R. S. Nikhil, and Arvind, M-Structures: Extending a Parallel, Nonstrict, Functional Language with State, Proc. Fifth Conf. Functional Progr. Lang. Computer Architecture, Cambridge, Massachusetts, LNCS 523, Springer-Verlag (August 1991)."},{"unstructured":"S. Peyton Jones and L. Duponcheel, Composing Monads, Technical Report Research Report YALEU-DCS-RR-1004, Yale University (December 1993).","key":"340702_CR19"},{"doi-asserted-by":"crossref","unstructured":"P. Wadler, Comprehending Monads, Proc. ACM Conf. Lisp and Functional Progr., Nice (1990).","key":"340702_CR20","DOI":"10.1145\/91556.91592"},{"unstructured":"G. Almasi and A. Gottlieb, Highly Parallel Computing, Second Edition, Benjamin\/Cummings (1994).","key":"340702_CR21"},{"doi-asserted-by":"crossref","unstructured":"Burton Smith, The Tera Computer System, Proc. ACM Int'l. Conf. Supercomputing, pp. 1\u20137 (1990).","key":"340702_CR22","DOI":"10.1145\/255129.255132"},{"doi-asserted-by":"crossref","unstructured":"P. Borras, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual, Centaur: The System, Proc. SIGSOFT'88, Third Ann. Symp. Software Dev. Environments, Boston (1988).","key":"340702_CR23","DOI":"10.1145\/64135.65005"},{"key":"340702_CR24","volume-title":"IF1\u2013An Intermediate Form for Applicative Languages, Manual M-170","author":"S. Skedzielewski","year":"1985","unstructured":"S. Skedzielewski and J. Glauert, IF1\u2013An Intermediate Form for Applicative Languages, Manual M-170, Lawrence Livermore National Laboratory, Livermore (1985)."},{"key":"340702_CR25","volume-title":"An Applicative Language Intermediate Form Explicit Memory Management, Manual M-195","author":"M. L. Welcome","year":"1986","unstructured":"M. L. Welcome, B. K. Szymanski, R. K. Yates, J. E. Ranelletti, An Applicative Language Intermediate Form Explicit Memory Management, Manual M-195, Lawrence Livermore National Laboratory, Livermore (1986)."},{"unstructured":"G. Kahn, Natural Semantics, Proc. Symp. Theoretical Aspects of Computer Science, Passau, Germany, LNCS 247 (February 1987).","key":"340702_CR26"},{"unstructured":"I. Attali, D. Caromel, M. Oudshoorn, A Formal Definition of the Dynamic Semantics of the Eiffel Language, 16th Australian Computer Sci. Conf. (ACSC-16), Brisbane, Australia, 1993, also Research Report I3S 92.52.","key":"340702_CR27"},{"doi-asserted-by":"crossref","unstructured":"A. Berstein, Analysis of Programs for Parallel Processing, IEEE Trans. Computers, pp. 746\u2013757 (1966).","key":"340702_CR28","DOI":"10.1109\/PGEC.1966.264565"},{"unstructured":"Y. S. Chen and J. L. Gaudiot, Parallelism Detection Algorithm for Extended Sisal Programs in Centaur, Proc. Eight ISCA Int'l. Conf. Parallel and Distributed Computing Systems, pp. 628\u2013633 (September 1995).","key":"340702_CR29"},{"unstructured":"Y. S. Chen and J. L. Gaudiot, Extending Functional Languages with Stateful Computa-tions, Proc. Eight IEEE Symp. Parallel and Distributed Processing, pp. 542\u2013549 (October 1996).","key":"340702_CR30"},{"unstructured":"T. DeBoni, J. Feo, and D. Peters, Integrating Imperative and Functional Programming in Real World Applications, Proc. High Performance Functional Computing (April 1995).","key":"340702_CR31"},{"unstructured":"D. Engelhardt and A. Wendelborn, Investigating the Memory Performance of the Optimizing Sisal Compiler. In J. Feo, C. Frerking, and P. Miller, (eds.), Proc. Second Sisal Users' Conf., Lawrence Livermore National Laboratory, pp. 257\u2013270 (December 1992).","key":"340702_CR32"},{"unstructured":"S. M. Fitzgerald, Copy Elimination for True Multidimensional Arrays in Sisal 2.0, Proc. Third Sisal Users and Dev. Conf., San Diego, California (October 1993).","key":"340702_CR33"},{"issue":"6","key":"340702_CR34","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1109\/TC.1986.5009426","volume":"35","author":"J.-L. Gaudiot","year":"1986","unstructured":"J.-L. Gaudiot, Structure Handling in Data-Flow Systems, IEEE Trans. Computers, 35(6):489\u2013502 (June 1986).","journal-title":"IEEE Trans. Computers"},{"key":"340702_CR35","volume-title":"Fundamentals of Data Structures in Pascal","author":"E. Horowitz","year":"1989","unstructured":"E. Horowitz and S. Sahni, Fundamentals of Data Structures in Pascal, Computer Science Press, New York (1989)."},{"key":"340702_CR36","volume-title":"Advanced Computer Architecture with Parallel Programming","author":"K. Hwang","year":"1993","unstructured":"K. Hwang, Advanced Computer Architecture with Parallel Programming, McGraw-Hill Publishing Company, Inc., New York (1993)."},{"unstructured":"C. Kim, J.-L. Gaudiot, and W. Proskurowski, Programmability and Performance Issues: Case of an Iterative Partial Differential Equation Solver, Proc. Sisal '93, San Diego, California (October 1993).","key":"340702_CR37"},{"key":"340702_CR38","volume-title":"Introduction to the Theory of Programming Languages","author":"B. Meyer","year":"1991","unstructured":"B. Meyer, Introduction to the Theory of Programming Languages, Prentice-Hall, Inc., Englewood Cliffs, New Jersey (1991)."},{"doi-asserted-by":"crossref","unstructured":"P. Wadler, Monads for Functional Programming, Lecture Notes for Marktoberdorf Summer School on Program Design Calculi, Springer-Verlag (August 1992).","key":"340702_CR39","DOI":"10.1007\/978-3-662-02880-3_8"},{"key":"340702_CR40","first-page":"283","volume-title":"IFIP Transactions: Architectures and Compilation Techniques for Fine and Medium Grain Parallelism","author":"A. Wendelborn","year":"1993","unstructured":"A. Wendelborn and H. Garsden, Exploring the Stream Data Type in Sisal and Other Languages. In M. Cosnard, K. Ebcioglu, and J.-L. Gaudiot, (eds.), IFIP Transactions: Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, IFIP, North-Holland, pp. 283\u2013294 (January 1993)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011125419818.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011125419818\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011125419818.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:26:22Z","timestamp":1748334382000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011125419818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,8]]}},"alternative-id":["340702"],"URL":"https:\/\/doi.org\/10.1023\/a:1011125419818","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}