{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T13:28:20Z","timestamp":1774877300308,"version":"3.50.1"},"reference-count":59,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"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":[[2003,4]]},"DOI":"10.1023\/a:1022664724413","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T21:55:36Z","timestamp":1049493336000},"page":"77-105","source":"Crossref","is-referenced-by-count":3,"title":["Non-Strict Execution in Parallel and Distributed Computing"],"prefix":"10.1007","volume":"31","author":[{"given":"Alfredo","family":"Cristobal-Salas","sequence":"first","affiliation":[]},{"given":"Andrei","family":"Tchernykh","sequence":"additional","affiliation":[]},{"given":"Jean-Luc","family":"Gaudiot","sequence":"additional","affiliation":[]},{"given":"Wen-Yen","family":"Lin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"461670_CR1","unstructured":"A.M.Stepanov,Parallel Computation on Associative Networks, Preprint,AS USSR. Institute of Precise Mechanics and Computer Technology,Vol.2,Moscow,p.53 (1991) (In Russian)."},{"issue":"2","key":"461670_CR2","doi-asserted-by":"crossref","first-page":"l42","DOI":"10.1093\/comjnl\/32.2.142","volume":"32","author":"S. Wray","year":"1989","unstructured":"S.Wray and J.Fairbaim,Non-Strict Languages-Programming and Implementation, Comput.J.\n32(2:l42-151 (1989).","journal-title":"Comput.J."},{"key":"461670_CR3","unstructured":"Y.-H. Wei and J.-L.Gaudiot,Lazy Evaluation of FP Programs:A Data-Flow Approach, Proc.of the Int 'l.Conf.on Fifth Generation Computer Systems (1988)."},{"key":"461670_CR4","unstructured":"G.Tremblay and G.R.Gao,The Impact of Laziness on Parallelism and the Limits of Strictness Analysis.In Proceedings High Performance Functional Computing, W. Bohm and J.T. Feo (eds.),pp.119-133 (April 1995)."},{"key":"461670_CR5","unstructured":"R.Bird,Introduction to Functional Programming using Haskell,2nd edn.,Prentice Hall Press,460 pp.(1998)."},{"key":"461670_CR6","unstructured":"R.Nikhil and M. Arvind,Implicit Parallel Programming in pH,Morgan Kaufmann Publishers,p.400 (2001)."},{"issue":"2","key":"461670_CR7","first-page":"105","volume":"2","author":"M. Amamiya","year":"1984","unstructured":"M. Amamiya and R. Hasegawa,Data-Flow Computing and Eager and Lazy Evaluations, Computing\n2(2):105-129 (1984).","journal-title":"Computing"},{"key":"461670_CR8","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-11980-9_22","volume":"147","author":"M. Amamiya","year":"1983","unstructured":"M.Amamiya, R. Hasegawa,and H. Mikami,List Processing with a Data-Flow Machine, Lecture Notes in Comput.Sci.147:165-190 (1983).","journal-title":"Lecture Notes in Comput.Sci"},{"issue":"3","key":"461670_CR9","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1145\/243439.243447","volume":"28","author":"N. Jones","year":"1996","unstructured":"N.Jones, An Introduction to Partial Evaluation, ACMComput.Surv. 28(3):480-503 (1996).","journal-title":"ACMComput.Surv"},{"key":"461670_CR10","unstructured":"T. Mogensen and P. Sestoft, Partial Evaluation,An Article for Encyclopedia of Computer Science and Technology,FTP version (1996)."},{"key":"461670_CR11","doi-asserted-by":"crossref","unstructured":"A.P.Ershov,Mixed Computation:Potential Applications and Problems for Study, Theoret.Comput.Sci.18 (1982).","DOI":"10.1016\/0304-3975(82)90111-6"},{"issue":"2","key":"461670_CR12","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0020-0190(89)90113-0","volume":"30","author":"I. Bjorner","year":"1989","unstructured":"I.Bjorner, A. Ershov,and N. Jones, Partial Evaluation and Mixed Computational Evaluation of Pattern Matching in String, Inform. Process.Lett.30(2):79-86 (1989).","journal-title":"Inform. Process.Lett"},{"key":"461670_CR13","doi-asserted-by":"crossref","unstructured":"C. Consel and O. Danvy,Static and Dynamic Semantic Processing, ACM Symposium on Principles of Programming Languages,pp.14-23 (1991).","DOI":"10.1145\/99583.99588"},{"key":"461670_CR14","doi-asserted-by":"crossref","unstructured":"J. J\u00f8rgensen,Generating a Compiler for a Lazy Language by Partial Evaluation, ACM Symposium on Principles of Programming Languages,pp.258-268 (1992).","DOI":"10.1145\/143165.143220"},{"key":"461670_CR15","unstructured":"N.Jones, C. Gomard,and P. Sestoft, Partial Evaluation and Automatic Program Genera-tion,Prentice-Hall (1993)."},{"issue":"3","key":"461670_CR16","volume":"8","year":"1995","unstructured":"P. Sesyoft and H. Sondergaard (eds.), Special Issue on Partial Evaluation and Semantic-Based Program Manipulation (PEPM '94) (Lisp and Symbolic Computation, Vol.8, No.3)(1995).","journal-title":"Special Issue on Partial Evaluation and Semantic-Based Program Manipulation (PEPM '94)"},{"key":"461670_CR17","first-page":"8087","volume-title":"PASCO '97: Second Int 'l.Symposium on Parallel Symbolic Computation","author":"M. Sperber","year":"1997","unstructured":"M. Sperber, H. Klaeren,and P. Thiemann,Distributed Partial Evaluation.In PASCO '97: Second Int 'l.Symposium on Parallel Symbolic Computation,Erich Kaltofen (ed.), p.8087,Maui,Hawaii, World Scientific Publishing Company (1997)."},{"key":"461670_CR18","unstructured":"http:\/\/www.diku.dk\/research-groups\/topps\/activities\/cmix\/"},{"key":"461670_CR19","unstructured":"http:\/\/compose.labri.fr\/prototypes\/tempo\/"},{"key":"461670_CR20","unstructured":"P. Kumar, J.P. Gupta,and S.C. Winter,CTDNET III-An Eager Reduction Model with Laziness Features.In Abstract Machine Models for Highly Parallel Computers,J.R. Davy and P.M. Dew (eds.),pp.103-117 (1995)."},{"key":"461670_CR21","doi-asserted-by":"crossref","first-page":"1357","DOI":"10.1109\/32.41329","volume":"15","author":"J.P. Gupta","year":"1989","unstructured":"J.P. Gupta, S.C. Winter,and D.R. Wilson,CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs,IEEE Trans.Soft.Eng.15:1357-1367 (1989).","journal-title":"IEEE Trans.Soft.Eng"},{"key":"461670_CR22","unstructured":"J.Jaakko,Tuples and multiple return values in C++,TUCS Technical report No.249, Turku Centre for Computer Science (March 1999).ISBN 952-12-0401."},{"issue":"4","key":"461670_CR23","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1145\/69558.69562","volume":"11","author":"Arvind","year":"1989","unstructured":"Arvind, R.S. Nikhil,and K.K. Pingali,I-Structures:Data Structures for Parallel Comput-ing,ACMTransaction on Programming Languages and Systems\n11(4):598-632 (Oct.1989).","journal-title":"ACMTransaction on Programming Languages and Systems"},{"key":"461670_CR24","unstructured":"P.S.Barth,Using Atomic Data Structures for Parallel Simulation.In Proceedings of the Scalable High Performance Computing Conference,Williamsburg,VA,April 27 (1992)."},{"key":"461670_CR25","unstructured":"S. Sur and W. B\u00f6hm,Efficient Declarative Programs:Experience in Implementing NAS Benchmark FT,Technical Report CS-93-128,Colorado State University (October 1993)."},{"key":"461670_CR26","unstructured":"X. Shen and B.S. Ang,Implementing I-Structures at Cache Coherence Level,Proceedings on the 5th Annual MIT Student Workshop on Scalable Computing,MIT (1995)."},{"key":"461670_CR27","unstructured":"W.-Y. Lin and J.-L. Gaudiot,I-Structure Software Cache-A Split-Phase Transaction Runtime Cache System,Proceedings of PACT '96 Boston,MA,Oct. 20-23 (1996)."},{"key":"461670_CR28","doi-asserted-by":"crossref","unstructured":"M. Sato, Y. Kodama, S. Sakai, Y. Yamaguchi,and S. Sekiguti,Distributed Data Struc-ture in Thread-Based Programming for a Highly Parallel Dataflow Machine,EM-4.Proc. of ISCA 92 Dataflow Workshop (1992).","DOI":"10.1145\/139669.139712"},{"key":"461670_CR29","doi-asserted-by":"crossref","unstructured":"P. Wadler,Monads for Functional Programming.In Advanced Functional Programming, J. Jeuring and E. Meijer (eds.),Springer Verlag,LNCS 925 (1995).","DOI":"10.1007\/3-540-59451-5_2"},{"key":"461670_CR30","unstructured":"P.S. Barth, R.S. Nikhil,and Arvind,M-Structures:Extending a Parallel,Non-strict.-Computation Structures,Proceedings on Functional Programming and Computer Architec-ture,Cambridge,MA,August 28-30 (1991)."},{"key":"461670_CR31","unstructured":"S. Sur and W. B\u00f6hm,Functional,I-Structure,and M-Structure Implementations of NAS Benchmark FT,Proceedings of the Int 'l.Conf.on Parallel Architecture and Compilation Techniques (PACT '94)(August 1994)."},{"key":"461670_CR32","doi-asserted-by":"crossref","unstructured":"I. Attali, D. Caromel, Y.-S. Chen, J.-L. Gaudiot,and A.L. Wendelbom,Enhanced Functional and Irregular Parallelism:Stateful Fucntions and Their Semantics,Int.J. Parallel Progr.29(4)(August 2001),in press.","DOI":"10.1023\/A:1011125419818"},{"key":"461670_CR33","unstructured":"D. Kranz, B.-H. Lim, A. Agarwal,and D. Yeoung,Low-Cost Support for Fine-Grain Synchronization in Multiprocessors.In Multithreaded Computer Architecture:A Summary of the State of the Art,R.A. Iannucci, G.R. Gao,and R.H. Halstead,Jr.(eds.),Kluwer Academic Publishers (1992)."},{"key":"461670_CR34","doi-asserted-by":"crossref","unstructured":"A. Agarwal, R. Bianchini, D.Chiken,K. Johnson, D. Kranz, J. Kubiatowicz, B.-H. Lim, K. Mackenzie,and D. Yeung,The MIT Alewife Machine:Architecture and Performance, Proceedings of the 22nd Annual Int 'l.Symposium on Computer Architecture,ISCA '95, June 22-24,Santa Margherita Ligure,Italy,pp.2-13 (1995).","DOI":"10.1145\/223982.223985"},{"key":"461670_CR35","unstructured":"A.M. Stepanov, A.N. Tchernykh, A.I. Lupenko,and N.G. Tchernykh,Parallel Com-putation on Associative Network.In Proceedings of MPCS '96 MFCS '96 Second Int 'l.Conf.on Massively Parallel Computing Systems,IEEE Computer Society Press, pp.190-197 (1996)."},{"key":"461670_CR36","unstructured":"A. Tchernykh, A. Stepanov, A. Rodr\u00fdguez,and I.Scherson,Parallel Computation in Abstract Network Machina,Revista Iberoamericana de Investigacion ''Computacion y Sistemas ''v.TV,No.4,pp.143-157 (2000)."},{"issue":"6","key":"461670_CR37","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1093\/comjnl\/33.6.494","volume":"33","author":"K. Ueda","year":"1990","unstructured":"K. Ueda and T. Chikayama,Design of the Kernel Language for the Parallel Inference Machine,Comput.J.33(6):494-500 (1990).","journal-title":"Comput.J"},{"key":"461670_CR38","unstructured":"K.Ueda,Guarded Horn Clauses.In Concurrent Prolog:Collected Papers,E.Shapiro (ed.),MIT Press,Vol.1,pp.140-156 (1987)."},{"key":"461670_CR39","unstructured":"K. Ueda,Designing a Concurrent Programming Language.In Proceedings of an Int 'l. Conf.organized by the IPSJ to Commemorate the 30th Anniversary (InfoJapan '90), Information Processing Society of Japan,pp.87-94 (October 1990)."},{"key":"461670_CR40","unstructured":"W.-Y. Lin, J.N. Amaral, J.-L. Gaudiot,and G.R. Gao,Caching Single-Assignment Structures to Build a Robust Fine-Grain Multi-Threading System,Technical report,Dept. of E.E.-Systems,University of Southern California (July 1999)."},{"key":"461670_CR41","unstructured":"W.-Y. Lin, J.-L. Gaudiot, J.N. Amaral,and G.R. Gao,Performance Analysis of the I-Structure Software Cache on Multi-Threading Systems,19th IEEE Int 'l.Performance, Computing and Communication Conference,IPCCC2000,Phoenix,Arizona,Feb.20-22 (2000)."},{"key":"461670_CR42","unstructured":"W.-Y. Lin, J.N. Amaral, J.-L. Gaudiot,and G.R. Gao,Caching Single-Assignment Structures to Build a Robust Fine-Grain Multi-Threading System,Int 'l.Parallel and Dis-tributed Processing Symposium,IPDPS2000,Cancun,Mexico May 1-5 (2000)."},{"key":"461670_CR43","doi-asserted-by":"crossref","unstructured":"J.N. Amaral, W.-Y. Lin, J.-L. Gaudiot,and G.R. Gao,Exploiting Locality in Single Assignment Data Structures Updated Through Split-Phase Transactions,Cluster Comput. J.4(4)(October 2001).","DOI":"10.1023\/A:1011808526481"},{"key":"461670_CR44","doi-asserted-by":"crossref","unstructured":"H. Ogawa and S. Matsuoka,OMPI:Optimizing MPI Programs Using Partial Evaluation, Proceedings of the 1996 IEEE\/ACM Supercomputing Conference,Pittsburgh (November 1996).","DOI":"10.1145\/369028.369106"},{"key":"461670_CR45","doi-asserted-by":"crossref","unstructured":"T. von Eicken, D.E. Culler, S.C. Goldstein,and K.E. Schauser,Active Messages: A Mechnisim for Integrated Communication and Computation,Proceedings of the 19th Int 'l.Symposium on Computer Architecture,pp.256-266 (May 1992).","DOI":"10.1109\/ISCA.1992.753322"},{"issue":"4","key":"461670_CR46","first-page":"32","volume":"1","author":"A.M. Stepanov","year":"1997","unstructured":"A.M. Stepanov, A.N. Tchernykh,A.I. Lupenko,and N.G. Tchernykh,Dynamic Partial Evaluations as Declarative Program Parallelization and Optimization Technique, Information Technology and Computer Systems\n1(4):32-41 (1997).","journal-title":"Information Technology and Computer Systems"},{"key":"461670_CR47","doi-asserted-by":"crossref","unstructured":"A.N. Tchernykh, A.M. Stepanov, A.I. Lupenko,and N.G. Tchernykh,Extraction and Optimization of the Implicit Program Parallelism by Dynamic Partial Evaluation, pAs '97 The Second Aizu Int 'l.Symposium on Parallel Algorithms\/Architecture Synthesis, pp.332-339,IEEE Computer Society Press (1997).","DOI":"10.1109\/AISPAS.1997.581687"},{"key":"461670_CR48","first-page":"53","volume":"3","author":"A. Stepanov","year":"1991","unstructured":"A. Stepanov and A. Lupenko,Programming for ANM,Institute of Precise Mechanics and Computer Technology RAS;3,p.53,Moscow (1991).","journal-title":"Programming for ANM,Institute of Precise Mechanics and Computer Technology RAS"},{"key":"461670_CR49","unstructured":"J.B. Dennis and G.R. Gao,On Memory Models and Cache Management for Shared-Memory Multiprocessors,CSG MEMO 363,Laboratory for Computer Science,MIT (March 1995)."},{"key":"461670_CR50","unstructured":"D.E. Culler, S.C. Goldstein, K.E. Schauser,and T. von Eicken,Empirical Study of a Dataflow Language on the CM-5.In Advanced Topics in Dataflow Computing and Multi-threading,G.R. Gao, L. Bic,and J.-L. Gaudiot (eds.),pp.187-210,IEEE press (1994)."},{"key":"461670_CR51","doi-asserted-by":"crossref","unstructured":"R. Govindarajan, S. Nemawarkar,and P. LeNir, Design and Performance Evaluation of a Multithreaded Architecture.In Proceedings of the First Int 'l.Symposium on High-Per-formance Computer Architecture,Raliegh,pp.298-307 (1995).","DOI":"10.1109\/HPCA.1995.386533"},{"key":"461670_CR52","unstructured":"W.-Y. Lin and J.-L. Gaudiot,Exploiting Global Data Locality in Non-Blocking Multi-threading Architectures,Proceedings of ISPAN '97,Taipei,Taiwan (December 1997)."},{"key":"461670_CR53","unstructured":"W.-Y. Lin and J.-L. Gaudiot,The Design of an I-Structure Software Cache System, Proceedings of MTEAC '98,Las Vegas, February 1-4."},{"key":"461670_CR54","unstructured":"H.-S. Kim, S. Ha,and C.S. Jhon,Performance Impacts of Caching I-Structure Data on Frame-Based Multithreaded Processing,Proceedings of the High-performance Computing on the Information Superhighway,HPC-Asia '97 (1997)."},{"key":"461670_CR55","doi-asserted-by":"crossref","unstructured":"K.M. Kavi, A.R. Hurson, P. Patadia, E. Abraham,and P. Shanmugam,Design of Cache Memories for Multithreaded Dataflow Architecture.In ISCA 95,pp.253264 (1995).","DOI":"10.1145\/223982.224436"},{"key":"461670_CR56","unstructured":"J. Darlington, M. Cripps, T. Field, P. Harrison,and M. Reeve,The Design and Imple-mentation of ALICE:A Parallel Graph Reduction Machine.In Selected Reprints on Dataflow and Reduction Architectures,S.S. Trakkan (ed.),IEEE Computer Society Press (1987)."},{"key":"461670_CR57","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/3-540-18317-5_7","volume":"274","author":"J. Peyton","year":"1987","unstructured":"J. Peyton, C. Clark, J. Salkild,and M. Hardie,GRID-A High-Performance Architecture for Parallel Graph Reduction,Processing of 1987 Functional Programming Languages and Computer Architecture Conference,Springer-Verlag LNCS 274,pp.98-112 (1987).","journal-title":"Processing of 1987 Functional Programming Languages and Computer Architecture Conference"},{"key":"461670_CR58","unstructured":"P. Sesyoft,Deriving a Lazy Abstract Machine,J.Functioning Programming\n1(1) (1993)."},{"key":"461670_CR59","unstructured":"R. Surati and A. Berlin,Exploiting the Parallelism Exposed by Partial Evaluation,MIT A.I.Memo No.1414a (May 1994)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022664724413.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022664724413\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022664724413.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:29:05Z","timestamp":1748334545000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022664724413"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":59,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["461670"],"URL":"https:\/\/doi.org\/10.1023\/a:1022664724413","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}