{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T06:10:25Z","timestamp":1697868625679},"reference-count":17,"publisher":"Wiley","issue":"8","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":6806,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp;amp; Computers in Japan"],"published-print":{"date-parts":[[1988,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper proposes a new optimization algorithm for the demand\u2010driven computation suited to the parallel processing of the functional program. The optimization is performed for three points: the preevaluation of requisite parameters; the efficiency of demand propagation; and the analysis of the partialvalue dependent attribute set. To reduce the computation required in the optimization, a hierarchical approach is employed, which is composed of the interfunctional analysis to process the whole program in parallel, and the intrafunctional analysis for each function definition as a separate phase. Using the proposed method, the successive function in the discrete domain can be calculated efficiently based on the fixed\u2010point computation rule, by providing a certain extension of the data\u2010flow machine executing in parallel the data\u2010driven computation.<\/jats:p>","DOI":"10.1002\/scj.4690190801","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T16:18:09Z","timestamp":1183825089000},"page":"1-12","source":"Crossref","is-referenced-by-count":0,"title":["Optimization algorithm for parallel demand\u2014driven computation of functional programs"],"prefix":"10.1002","volume":"19","author":[{"given":"Satoshi","family":"Ono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naohisa","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/356869.356873"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(74)80048-6"},{"key":"e_1_2_1_4_2","volume-title":"Mathematical Theory of Computation","author":"Manna Z.","year":"1974"},{"key":"e_1_2_1_5_2","volume-title":"Application and Implementation","author":"Henderson P.","year":"1980"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15975-4_28"},{"key":"e_1_2_1_7_2","unstructured":"R.JagannathanandE. A.Ashcroft. Eazyflow A hybrid model for parallel processing Proc. 13th International Conference on Parallel Processing I.E.E.E. pp.514\u2013523(1984)."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3318.3480"},{"issue":"10","key":"e_1_2_1_9_2","first-page":"1115","article-title":"Optimization for compiling time for functional langauge ASL\/F","volume":"67","author":"Seki","year":"1984","journal-title":"Trans. (D), I.E.C.E., Japan"},{"key":"e_1_2_1_10_2","unstructured":"J.TanakaOptimized Concurrent Execution of an Applicative Language Ph.D. Thesis Univ. of Utah (1984)."},{"key":"e_1_2_1_11_2","first-page":"196","volume-title":"Mem. Math. An. Res.","author":"Ono S.","year":"1985"},{"key":"e_1_2_1_12_2","first-page":"714","article-title":"Computation of dependent property set in recursive function systemm","volume":"69","author":"Ono S.","year":"1986","journal-title":"Trans. (D), I.E.C.E., Japan"},{"key":"e_1_2_1_13_2","unstructured":"S.OnoandN.Takahashi. Optimum demand\u2010driven computation for functional program in data\u2010flow machine Data\u2010flow Workshop pp.39\u201348(1986)"},{"key":"e_1_2_1_13_3","unstructured":"Pr. Gr. Data\u2010flow Arch. Parallel Proc. I.E.C.E. Japan(1986)."},{"key":"e_1_2_1_14_2","volume-title":"Compilers, Principles, Techniques and Tools","author":"Aho A. V.","year":"1986"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037098"},{"key":"e_1_2_1_16_2","doi-asserted-by":"crossref","unstructured":"Y.Yamaguchi K.TodaandT.Yuba. A performance evaluation of a lisp\u2010based data\u2010driven machine (EM\u20103) Proc. 10th Int. Symp. Computer Architecture pp.363\u2013369(1983).","DOI":"10.1145\/1067651.801675"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090105"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690190801","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690190801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T23:20:57Z","timestamp":1697844057000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690190801"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,8]]},"references-count":17,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1988,8]]}},"alternative-id":["10.1002\/scj.4690190801"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690190801","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,8]]}}}