{"id":"https://openalex.org/W2070392869","doi":"https://doi.org/10.1002/scj.4690210202","title":"Anomaly Detection of Functional Programs Based on Global Dataflow Analysis","display_name":"Anomaly Detection of Functional Programs Based on Global Dataflow Analysis","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2070392869","doi":"https://doi.org/10.1002/scj.4690210202","mag":"2070392869"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690210202","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690210202","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/A5012729508","display_name":"Mizuhlto Ogawa","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/I4210136517","display_name":"Department of Health","ror":"https://ror.org/03k6fqn53","country_code":"IE","type":"government","lineage":["https://openalex.org/I2800263200","https://openalex.org/I4210136517"]},{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["IE","JP"],"is_corresponding":true,"raw_author_name":"Mizuhlto Ogawa","raw_affiliation_strings":["Members NTT Software Laboratories, Musashino, Japan 180","Mizuhito Ogawa graduated in 1983 from the Dept. Math., Fac. Sci., University of Tokyo, and obtained a Master's degree from there in 1985. He then affiliated with NTT Musashino Elect. Comm. Lab. He is engaged in research on functional language. Presently, he is Research Chief, NTT Software Lab., and a member of the Inf. Proc. Soc, Japan; and ACM","Mizuhito Ogawa graduated in 1983 from the Dept. Math., Fac. Sci., University of Tokyo, and obtained a Master's degree from there in 1985. He then affiliated with NTT Musashino Elect. Comm. Lab. He is engaged in research on functional language. Presently, he is Research Chief, NTT Software Lab., and a member of the Inf. Proc. Soc, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Members NTT Software Laboratories, Musashino, Japan 180","institution_ids":["https://openalex.org/I2251713219"]},{"raw_affiliation_string":"Mizuhito Ogawa graduated in 1983 from the Dept. Math., Fac. Sci., University of Tokyo, and obtained a Master's degree from there in 1985. He then affiliated with NTT Musashino Elect. Comm. Lab. He is engaged in research on functional language. Presently, he is Research Chief, NTT Software Lab., and a member of the Inf. Proc. Soc, Japan; and ACM","institution_ids":["https://openalex.org/I4210136517"]},{"raw_affiliation_string":"Mizuhito Ogawa graduated in 1983 from the Dept. Math., Fac. Sci., University of Tokyo, and obtained a Master's degree from there in 1985. He then affiliated with NTT Musashino Elect. Comm. Lab. He is engaged in research on functional language. Presently, he is Research Chief, NTT Software Lab., and a member of the Inf. Proc. Soc, Japan","institution_ids":["https://openalex.org/I2251713219","https://openalex.org/I74801974"]}]},{"author_position":"last","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/I4210158820","display_name":"'s Heeren Loo","ror":"https://ror.org/05mf3wf75","country_code":"NL","type":"nonprofit","lineage":["https://openalex.org/I4210158820"]},{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP","NL"],"is_corresponding":false,"raw_author_name":"Satoshi Ono","raw_affiliation_strings":["Members NTT Software Laboratories, Musashino, Japan 180","Satoshi Ono graduated in 1977 from the Dept. Electronic Eng., Fac. Eng., University of Tokyo, where he obtained a Dr. of Eng. degree in 1982. He then affiliated with NTT Musashino Elect. Comm. Lab., where he is engaged in research on functional language and parallel computers. Presently, Chief Researcher, NTT Software Lab. He is a member of Inf. Proc. Soc, Japan; and ACM","Satoshi Ono graduated in 1977 from the Dept. Electronic Eng., Fac. Eng., University of Tokyo, where he obtained a Dr. of Eng. degree in 1982. He then affiliated with NTT Musashino Elect. Comm. Lab., where he is engaged in research on functional language and parallel computers. Presently, Chief Researcher, NTT Software Lab. He is a member of Inf. Proc. Soc, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Members NTT Software Laboratories, Musashino, Japan 180","institution_ids":["https://openalex.org/I2251713219"]},{"raw_affiliation_string":"Satoshi Ono graduated in 1977 from the Dept. Electronic Eng., Fac. Eng., University of Tokyo, where he obtained a Dr. of Eng. degree in 1982. He then affiliated with NTT Musashino Elect. Comm. Lab., where he is engaged in research on functional language and parallel computers. Presently, Chief Researcher, NTT Software Lab. He is a member of Inf. Proc. Soc, Japan; and ACM","institution_ids":["https://openalex.org/I4210158820"]},{"raw_affiliation_string":"Satoshi Ono graduated in 1977 from the Dept. Electronic Eng., Fac. Eng., University of Tokyo, where he obtained a Dr. of Eng. degree in 1982. He then affiliated with NTT Musashino Elect. Comm. Lab., where he is engaged in research on functional language and parallel computers. Presently, Chief Researcher, NTT Software Lab. He is a member of Inf. Proc. Soc, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012729508"],"corresponding_institution_ids":["https://openalex.org/I2251713219","https://openalex.org/I4210136517","https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22943281,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"2","first_page":"11","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9983000159263611,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/dataflow","display_name":"Dataflow","score":0.9514989256858826},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7992255687713623},{"id":"https://openalex.org/keywords/anomaly-detection","display_name":"Anomaly detection","score":0.777775228023529},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7775548696517944},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.5734262466430664},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.530641496181488},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4987599849700928},{"id":"https://openalex.org/keywords/anomaly","display_name":"Anomaly (physics)","score":0.48962026834487915},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4859989583492279},{"id":"https://openalex.org/keywords/loop","display_name":"Loop (graph theory)","score":0.48056915402412415},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4697079062461853},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.42825210094451904},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4222845435142517},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26023155450820923},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20553669333457947},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13834688067436218}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.9514989256858826},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7992255687713623},{"id":"https://openalex.org/C739882","wikidata":"https://www.wikidata.org/wiki/Q3560506","display_name":"Anomaly detection","level":2,"score":0.777775228023529},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7775548696517944},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5734262466430664},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.530641496181488},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4987599849700928},{"id":"https://openalex.org/C12997251","wikidata":"https://www.wikidata.org/wiki/Q567560","display_name":"Anomaly (physics)","level":2,"score":0.48962026834487915},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4859989583492279},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.48056915402412415},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4697079062461853},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.42825210094451904},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4222845435142517},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26023155450820923},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20553669333457947},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13834688067436218},{"id":"https://openalex.org/C26873012","wikidata":"https://www.wikidata.org/wiki/Q214781","display_name":"Condensed matter physics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690210202","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690210202","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W7136889","https://openalex.org/W18701537","https://openalex.org/W206348627","https://openalex.org/W250290266","https://openalex.org/W1491178396","https://openalex.org/W1512248102","https://openalex.org/W1604342352","https://openalex.org/W2037587902","https://openalex.org/W2064596811","https://openalex.org/W2071166391","https://openalex.org/W2123301443"],"related_works":["https://openalex.org/W2806741695","https://openalex.org/W4290647774","https://openalex.org/W3189286258","https://openalex.org/W3207797160","https://openalex.org/W3210364259","https://openalex.org/W4300558037","https://openalex.org/W2912112202","https://openalex.org/W2667207928","https://openalex.org/W4377864969","https://openalex.org/W3030345572"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"proposes":[3],"a":[4,87,127],"new":[5],"anomaly":[6,21],"detection":[7,22,59,89],"algorithm":[8,60,85],"based":[9,62],"on":[10,63],"the":[11,16,28,35,40,64,71,76,84,92,98,105,108,113,124],"global":[12,65],"dataflow":[13],"analysis,":[14,94],"considering":[15],"first\u2010order":[17],"functional":[18,66],"program.":[19],"The":[20,58],"is":[23,56,61,115,120,130],"made":[24],"concerning":[25],"two":[26],"points:":[27],"irrelevant":[29],"object":[30,42],"which":[31,43,69,95,110,129],"does":[32],"not":[33],"affect":[34],"result":[36,77],"by":[37],"evaluation;":[38],"and":[39,101,119],"diverged":[41],"will":[44],"fall":[45],"in":[46,123],"an":[47,54,132],"infinite":[48,133],"loop":[49],"without":[50],"being":[51],"terminated":[52],"if":[53],"evaluation":[55],"made.":[57],"analysis":[67],"technique":[68],"determines":[70],"computation":[72,114],"path":[73],"arriving":[74],"at":[75],"of":[78,81],"computation.":[79],"Because":[80],"this":[82],"property,":[83],"has":[86],"higher":[88],"ability":[90],"than":[91],"cross\u2010reference":[93],"simply":[96],"traces":[97],"syntactic":[99],"definition":[100],"reference":[102],"relation.":[103],"Using":[104],"proposed":[106],"algorithm,":[107],"bug":[109],"may":[111],"diverge":[112],"detected":[116],"effectively":[117],"automatically,":[118],"often":[121],"produced":[122],"program":[125],"using":[126],"stream":[128],"conceptually":[131],"list.":[134]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}