{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T08:10:50Z","timestamp":1698048650536},"reference-count":16,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2007,9,5]],"date-time":"2007-09-05T00:00:00Z","timestamp":1188950400000},"content-version":"vor","delay-in-days":6456,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp; Computers in Japan"],"published-print":{"date-parts":[[1990,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper proposes a new anomaly detection algorithm based on the global dataflow analysis, considering the first\u2010order functional program. The anomaly detection is made concerning two points: the irrelevant object which does not affect the result by evaluation; and the diverged object which will fall in an infinite loop without being terminated if an evaluation is made. The detection algorithm is based on the global functional analysis technique which determines the computation path arriving at the result of computation. Because of this property, the algorithm has a higher detection ability than the cross\u2010reference analysis, which simply traces the syntactic definition and reference relation. Using the proposed algorithm, the bug which may diverge the computation is detected effectively automatically, and is often produced in the program using a stream which is conceptually an infinite list.<\/jats:p>","DOI":"10.1002\/scj.4690210202","type":"journal-article","created":{"date-parts":[[2009,11,19]],"date-time":"2009-11-19T23:12:56Z","timestamp":1258672376000},"page":"11-22","source":"Crossref","is-referenced-by-count":0,"title":["Anomaly Detection of Functional Programs Based on Global Dataflow Analysis"],"prefix":"10.1002","volume":"21","author":[{"given":"Mizuhlto","family":"Ogawa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoshi","family":"Ono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,9,6]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Functional Programming: Application and Implementation","author":"Henderson P.","year":"1980"},{"key":"e_1_2_1_3_2","volume-title":"Compilers, Principles, Techniques and Tools","author":"Aho A. V.","year":"1986"},{"key":"e_1_2_1_4_2","volume-title":"Structure and Interpretation of Computer Programs","author":"Abelson H.","year":"1985"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/356674.356676"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010256"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09981-6_19"},{"key":"e_1_2_1_8_2","doi-asserted-by":"crossref","unstructured":"J.FairbairnandS. C.Wray Code generation techniques for functional languages. Proc. 1986 ACM Conf. LISP and Functional Programming pp.94\u2013104(1986).","DOI":"10.1145\/319838.319853"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15975-4_28"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","unstructured":"P.HudakandJ.Young Higher\u2010order strictness analysis in untyped lambda calculus. Proc. 13th ACM Symposium on Principles of Programming Languages pp.97\u2013109(1986).","DOI":"10.1145\/512644.512653"},{"key":"e_1_2_1_11_2","unstructured":"S.Ono Comparison among strictness\u2010related analyses for applicative languages. Tech. Report I.E.C.I.E. Japan COMP87\u201038 (Oct.1987)."},{"key":"e_1_2_1_12_2","first-page":"196","article-title":"Nonstrict Partial Computation with a Dataflow Machine","volume":"547","author":"Ono S.","year":"1985","journal-title":"Mem. Lab. Math. Anal., Kyoto Univ."},{"key":"e_1_2_1_13_2","unstructured":"S.Ono N.Takahashi andM.Amamiya Optimized demand\u2010driven evaluation of functional programs on a dataflow machine. IEEE Proc. 15th Inter. Conf. Parallel Processing pp.421\u2013428(1986)."},{"issue":"5","key":"e_1_2_1_14_2","first-page":"714","article-title":"Computation of dependency property set in system of recursive functions","volume":"69","author":"Ono S.","year":"1986","journal-title":"Trans. (D), I.E.C.E., Japan"},{"issue":"2","key":"e_1_2_1_15_2","first-page":"259","article-title":"Optimization for parallel processing of request\u2010driven evaluation in functional language. Trans. (D)","volume":"70","author":"Ono S.","year":"1987","journal-title":"I.E.C.I.E., Japan"},{"key":"e_1_2_1_16_2","unstructured":"M.OgawaandS.Ono Transformation of strictness\u2010related analyses based on abstract interpretation. Inter. Conf. Fifth Generation Computer Systems 1988 (1988)."},{"key":"e_1_2_1_17_2","unstructured":"M.OgawaandS.Ono Anomaly detection of functional program based on global dataflow analysis. Dataflow Workshop I.E.C.I.E. Japan pp.33\u201340(1987)."}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690210202","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690210202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T07:10:22Z","timestamp":1697958622000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690210202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["10.1002\/scj.4690210202"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690210202","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}