{"title":"终止模式良好的程序","authors":"S. Etalle , A. Bossi , N. Cocco","doi":"10.1016/S0743-1066(98)10025-0","DOIUrl":null,"url":null,"abstract":"<div><p>We study the termination properties of <em>well-moded</em> programs, and we show that, under suitable conditions, for these programs there exists an algebraic characterization-in the style of Apt and Pedreschi, Studies in pure prolog: termination, in: J.W. Lloyd (Ed.), Proceedings of the Simposium in Computational Logic, Springer, Berlin, 1990, pp. 150–176-of the property of being terminating. This characterization enjoys the properties of being compositional and, to some extent, of being easy to check.</p></div>","PeriodicalId":101236,"journal":{"name":"The Journal of Logic Programming","volume":"38 2","pages":"Pages 243-257"},"PeriodicalIF":0.0000,"publicationDate":"1999-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0743-1066(98)10025-0","citationCount":"39","resultStr":"{\"title\":\"Termination of well-moded programs\",\"authors\":\"S. Etalle , A. Bossi , N. Cocco\",\"doi\":\"10.1016/S0743-1066(98)10025-0\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We study the termination properties of <em>well-moded</em> programs, and we show that, under suitable conditions, for these programs there exists an algebraic characterization-in the style of Apt and Pedreschi, Studies in pure prolog: termination, in: J.W. Lloyd (Ed.), Proceedings of the Simposium in Computational Logic, Springer, Berlin, 1990, pp. 150–176-of the property of being terminating. This characterization enjoys the properties of being compositional and, to some extent, of being easy to check.</p></div>\",\"PeriodicalId\":101236,\"journal\":{\"name\":\"The Journal of Logic Programming\",\"volume\":\"38 2\",\"pages\":\"Pages 243-257\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-02-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/S0743-1066(98)10025-0\",\"citationCount\":\"39\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"The Journal of Logic Programming\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0743106698100250\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Journal of Logic Programming","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0743106698100250","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 39
摘要
我们研究了良模规划的终止性质，并且我们证明，在适当的条件下，对于这些规划存在一个代数表征——在Apt和Pedreschi的风格下，在纯序:终止的研究中，见:J.W. Lloyd (Ed.)，计算逻辑研讨会论文集，Springer, Berlin, 1990, pp. 150 - 176——是终止的性质。这种特征具有组成性，在某种程度上也易于检验。
We study the termination properties of well-moded programs, and we show that, under suitable conditions, for these programs there exists an algebraic characterization-in the style of Apt and Pedreschi, Studies in pure prolog: termination, in: J.W. Lloyd (Ed.), Proceedings of the Simposium in Computational Logic, Springer, Berlin, 1990, pp. 150–176-of the property of being terminating. This characterization enjoys the properties of being compositional and, to some extent, of being easy to check.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
