{"id":"https://openalex.org/W1493507372","doi":"https://doi.org/10.1002/scj.4690190801","title":"Optimization algorithm for parallel demand\u2014driven computation of functional programs","display_name":"Optimization algorithm for parallel demand\u2014driven computation of functional programs","publication_year":1988,"publication_date":"1988-08-01","ids":{"openalex":"https://openalex.org/W1493507372","doi":"https://doi.org/10.1002/scj.4690190801","mag":"1493507372"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690190801","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690190801","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020600391","display_name":"Satoshi Ono","orcid":"https://orcid.org/0000-0001-9500-3068"},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]},{"id":"https://openalex.org/I55881946","display_name":"Eisai (Japan)","ror":"https://ror.org/04vvh7p27","country_code":"JP","type":"company","lineage":["https://openalex.org/I55881946"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Satoshi Ono","raw_affiliation_strings":["NTT Electrical Communications Laboratories, Musashino, Japan 180","Satoshi Ono graduated in 1977 from the Dept. Electronic Eng., Univ. of Tokyo. He obtained his Dr. of Eng. degree in 1982 and affiliated with NTT Musashino Elect. Comm. Lab. He is engaged in research on parallel computer and functional language. He is presently Chief Researcher, NTT Basic Res. Lab., and a member of the Inf. Proc. SOC. Japan,and I.E.E.E"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Electrical Communications Laboratories, Musashino, Japan 180","institution_ids":["https://openalex.org/I2251713219"]},{"raw_affiliation_string":"Satoshi Ono graduated in 1977 from the Dept. Electronic Eng., Univ. of Tokyo. He obtained his Dr. of Eng. degree in 1982 and affiliated with NTT Musashino Elect. Comm. Lab. He is engaged in research on parallel computer and functional language. He is presently Chief Researcher, NTT Basic Res. Lab., and a member of the Inf. Proc. SOC. Japan,and I.E.E.E","institution_ids":["https://openalex.org/I55881946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100992997","display_name":"Naohisa Takahashi","orcid":null},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]},{"id":"https://openalex.org/I2800381926","display_name":"Musashino Academia Musicae","ror":"https://ror.org/008bb2h75","country_code":"JP","type":"education","lineage":["https://openalex.org/I2800381926"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Naohisa Takahashi","raw_affiliation_strings":["NTT Electrical Communications Laboratories, Musashino, Japan 180","Naohisa Takahashi graduated in 1974 from the Dept. Appl. Electronics, Univ. Electrocommunications. He obtained his M.S. in 1976 and affiliated with NTT Musashino Elect. Comm. Lab. He is engaged in research on parallel computer and functional language. He is presently Chief Researcher, NTT Basic Res. Lab., and a member of the Inf. Proc. SOC. Japan, and ACM"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Electrical Communications Laboratories, Musashino, Japan 180","institution_ids":["https://openalex.org/I2251713219"]},{"raw_affiliation_string":"Naohisa Takahashi graduated in 1974 from the Dept. Appl. Electronics, Univ. Electrocommunications. He obtained his M.S. in 1976 and affiliated with NTT Musashino Elect. Comm. Lab. He is engaged in research on parallel computer and functional language. He is presently Chief Researcher, NTT Basic Res. Lab., and a member of the Inf. Proc. SOC. Japan, and ACM","institution_ids":["https://openalex.org/I2800381926"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020600391"],"corresponding_institution_ids":["https://openalex.org/I2251713219","https://openalex.org/I55881946"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05873402,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"8","first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.796622633934021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7696692943572998},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5377601981163025},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.49396592378616333},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49172332882881165},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48004233837127686},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.47642478346824646},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.45521658658981323},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.38386571407318115},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3533419072628021},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14334970712661743}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.796622633934021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7696692943572998},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5377601981163025},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.49396592378616333},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49172332882881165},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48004233837127686},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.47642478346824646},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.45521658658981323},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.38386571407318115},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3533419072628021},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14334970712661743},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690190801","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690190801","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W109993195","https://openalex.org/W646652210","https://openalex.org/W1491178396","https://openalex.org/W1538534706","https://openalex.org/W1604342352","https://openalex.org/W1986511746","https://openalex.org/W2044186451","https://openalex.org/W2063068243","https://openalex.org/W2075052434","https://openalex.org/W2093716079","https://openalex.org/W2160175950","https://openalex.org/W4231644456"],"related_works":["https://openalex.org/W2075768550","https://openalex.org/W3022218857","https://openalex.org/W2369178846","https://openalex.org/W2082716031","https://openalex.org/W2370289839","https://openalex.org/W2933494595","https://openalex.org/W1568049691","https://openalex.org/W1590096425","https://openalex.org/W2581850242","https://openalex.org/W2160325950"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"proposes":[3],"a":[4,55,83,109],"new":[5],"optimization":[6,22],"algorithm":[7],"for":[8,25,78],"the":[9,14,18,28,33,39,42,49,53,64,69,75,87,90,94,103,113,119],"demand\u2010driven":[10],"computation":[11,50,105],"suited":[12],"to":[13,67],"parallel":[15,118],"processing":[16],"of":[17,30,35,41,63,112],"functional":[19],"program.":[20],"The":[21],"is":[23,58,61],"performed":[24],"three":[26],"points:":[27],"preevaluation":[29],"requisite":[31],"parameters;":[32],"efficiency":[34],"demand":[36],"propagation;":[37],"and":[38,74],"analysis":[40,66,77],"partialvalue":[43],"dependent":[44],"attribute":[45],"set.":[46],"To":[47],"reduce":[48],"required":[51],"in":[52,72,93,117],"optimization,":[54],"hierarchical":[56],"approach":[57],"employed,":[59],"which":[60],"composed":[62],"interfunctional":[65],"process":[68],"whole":[70],"program":[71],"parallel,":[73],"intrafunctional":[76],"each":[79],"function":[80,92],"definition":[81],"as":[82],"separate":[84],"phase.":[85],"Using":[86],"proposed":[88],"method,":[89],"successive":[91],"discrete":[95],"domain":[96],"can":[97],"be":[98],"calculated":[99],"efficiently":[100],"based":[101],"on":[102],"fixed\u2010point":[104],"rule,":[106],"by":[107],"providing":[108],"certain":[110],"extension":[111],"data\u2010flow":[114],"machine":[115],"executing":[116],"data\u2010driven":[120],"computation.":[121]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}