{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T04:48:22Z","timestamp":1648874902141},"reference-count":15,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2016,4]]},"abstract":"<jats:p> Mode analysis in logic programs has been used mainly for code optimization. The mode analysis in this paper supports the program construction process. It is applied to partially complete logic programs. The program construction process is based on schema refinements and refinements by data type operations. Refinements by data type operations are at the end of the refinement process. This mode analysis supports the proper application of refinements by data type operations. In addition, it checks that the declared modes as defined by the Data Type (DT) operations are consistent with the inferred runtime modes. We have implemented an algorithm for mode analysis based on minimal function graphs. An overview of our logic program development method and the denotational semantics of the analysis framework are presented in this paper. <\/jats:p>","DOI":"10.1142\/s0218213016500019","type":"journal-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T00:47:15Z","timestamp":1446684435000},"page":"1650001","source":"Crossref","is-referenced-by-count":0,"title":["Mode Analysis During Program Development"],"prefix":"10.1142","volume":"25","author":[{"given":"Emmanouil","family":"Marakakis","sequence":"first","affiliation":[{"name":"Department of Informatics Engineering, Technological Educational Institute of Crete, Heraklion, GR-71410, Greece"}]},{"given":"Haridimos","family":"Kondylakis","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Foundation for Research &amp; Technology \u2013 Hellas (FORTH), N. Plastira 100, V. Vouton, GR-70013, Heraklion, Greece"}]}],"member":"219","published-online":{"date-parts":[[2016,4,21]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.3233\/KES-140294"},{"key":"p_3","first-page":"296","author":"Jones N.","year":"1986","journal-title":"New York"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90033-Y"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037167"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921553"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)80001-T"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(88)90010-6"},{"key":"p_20","first-page":"327","author":"S\u00f8ndergaard H.","year":"1986","journal-title":"Saarbr\u00fccken"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1145\/151646.151650"},{"key":"p_24","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(85)90004-4"},{"key":"p_27","first-page":"1","author":"Hill P.","year":"1992","journal-title":"Cambridge Massachusetts"},{"key":"p_28","first-page":"421","author":"Hill P. M.","year":"1988","journal-title":"Oxford"},{"key":"p_30","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"p_31","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(85)90017-2"},{"key":"p_32","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213016500019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T12:29:27Z","timestamp":1565180967000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213016500019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":15,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2016,4,21]]},"published-print":{"date-parts":[[2016,4]]}},"alternative-id":["10.1142\/S0218213016500019"],"URL":"https:\/\/doi.org\/10.1142\/s0218213016500019","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4]]}}}