{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,2,17]]，“日期时间”：“2024-02-17T10:42:11Z”，“时间戳”：1708166531173}，“出版商位置”：“柏林，海德堡”，“参考计数”：24，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540442356”，“类型”：“打印”}，{“值”：“9783540457893”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2002]]}，”DOI“：”10.1007\/3-540-45789-5_35“，”type“：”book-capter“，”created“：”{“date-part”：[2007,8,11]]，“date-time”：“2007-08-11T13:50:1 0Z”，“时间戳”：1186840210000}，“页面”：“509-525”，“源”：“Crossref”，“is-referenced-by-count”：4，“title”：[“检测逻辑程序的最佳终止条件”]，“prefix”：“10.1007”，”author“：[{“给定”：“Fred”，“family”：“Mesnard”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Etiene”，“家族”：“Payet”，“序列”：“additional”，“从属关系”：[]}，“givent”：“Ulrich”，“家庭”：“Neumerkel”，“serquence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2002,9,5]]}，“reference”：[{“key”：“35_CR1”，“unstructured”：“K.R.Apt.From Logic Programming to Prolog。Prentice Hall，1997。”}，{“key”：。佩德莱斯基。逻辑和纯Prolog程序的模块化终止证明。在G.Levi编辑的《逻辑编程理论进展》中，第183\u2013229页。牛津大学出版社，1994.“，”DOI“：”10.1093\/oso\/9780198538530.003.0004“}，{”issue“：”3“，”key“：”35_CR3“，“DOI-asserted-by”：“publisher”，“first page”：“841”，“DOI”：“10.1145\/322326.32239”，“volume”：”29“，”author“：”K.R.Apt“，”year“：”1982“，”unstructured“：”K.R.Apt and M.H。范埃姆登。对逻辑程序设计理论的贡献。美国计算机学会期刊，29（3）：841\u20138621982.“，“期刊标题”：“美国计算机学会期刊”，{“键”：“35_CR4”，“系列标题”：“Lect Notes Comput Sci”，“卷标题”：“逻辑程序综合与转换”，“作者”：“T.Arts”，“年份”：“1996”，“非结构化”：“T.Arts与H。赞特马。使用语义统一终止逻辑程序。《计算机科学讲义》第1048卷逻辑程序综合与转换。Springer-Verlag，Berlin，1996.“}，{”key“：”35_CR5“，”series-title“：”博士论文“，”volume-title“：“逻辑编程中的循环检查”，“author”：“R.Bol”，“year”：“1991”，“unstructured”：“逻辑程序中的R.Bol.循环检查”博士论文，CWI，阿姆斯特丹，1991。“}”，{“issue”：“1”，“key”：“35_CR6”，“doi-asserted-by”：“publisher”，“first-page”：“47”，“doi”：“”10.1007 \/BF03037527“，“卷”：“11”，“作者”：“M.Bruynooghe”，“年份”：“1992”，“非结构化”：“M Bruyneoghe，D.De Schreye，and B.Martens。在部分演绎过程中避免无限展开的一般准则。新一代计算，11（1）：47\u201379，1992。“，”journal-title“：”New Generation Computing“}，{“issue”：“1”，“key”：“35_CR7”，“doi-asserted-by”：“publisher”，“first page”：”103“，”doi“：”10.1016\/S0743-1066（99）00006-0“，”volume“：”41“，”author“：”M.Codish“，“year”：“1999”，“unstructured”：“M.Codish and C。塔博克。逻辑程序终止分析的语义基础。《逻辑程序设计杂志》，41（1）：103\u2013123，1999.“，“Journal-title”：“Journal of Logic Programming”}，{“key”：“35_CR8”，“doi-asserted-by”：“publisher”，“first-pages”：“237”，“doi”：“10.1016\/0004-3702（89）90012-X”，“volume”：《41》，“author”：“D.Schreye De”，”“year”：“1989”，“unstructured”：“D.De Schreyee，M.Bruynoghe，and K。Verschaetse。关于限制类Prolog-clauses的非终止查询的存在性。人工智能，41:237\u20132481989。“，”journal-title“：”Artificial Intelligence“}，{“key”：“35_CR9”，“doi-asserted-by”：“publisher”，“first-page:”199“，”doi“：”10.1016\/0743-1066（94）90027-2“，”volume“：”19“，”author“：”D.Schreye De“。解码。逻辑程序的终结：永无止境的故事。《逻辑编程杂志》，19\u201320:1992\u20132601994年。“，”Journal-title“：”Journal of Logic Programming“}，{“issue”：“1\/2”，“key”：“35_CR10”，“doi-asserted-by”：“publisher”，“first page”：”117“，“doi”：“10.1007\/s002000100065”，“volume”：《12》，“author”：“N.Dershowitz”，“year”：“2001”，“unstructured”：“N.Dershawitz，N.Lindenstrauss，Y.Sagiv，and A。塞雷布雷尼克。逻辑程序自动终止分析的一般框架。工程、通信和计算中的适用代数，12（1/2）：117\u2013156，2001。”，“期刊标题”：“工程、通信与计算中的应用代数”}，{“关键字”：“35_CR11”，“首页”：“48”，“卷”：“665”，“作者”：“P.Devienne”，“年份”：“1993”，“非结构化”：“P.Devienne，P.Leb\u00e9gue，和J-C。Routier公司。一个二进制Horn子句的停止问题是不可判定的。在LNCS中，第665卷，第48\u201357页。Springer-Verlag，1993年。程序。STACS\u201993。”，“journal-title”：“LNCS”}，{“key”：“35_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Gabbrielli和R.Giacobazzi.逻辑程序分析中的目标独立性和调用模式。《ACM应用计算研讨会论文集》，第394\u2013399页。ACM出版社，1994年。“，”DOI“：”10.1145\/326619.326789“}，{”key“：”35_CR13“，”series-title“：”Lect Notes Compute Sci“，”volume-title“：“Programming，Artificial intelligence and Reasoning的逻辑程序”，“author”：“S.Genaim”，“year”：“2001”，“unstructured”：“S.Genaim and M。科迪什。使用反向分析推断逻辑程序的终止条件。《程序设计、人工智能和推理逻辑程序集》，计算机科学讲义。Springer-Verlag，柏林，2001年。TerminWeb可以从http://www.cs.bgu.ac.il~codish在线使用。“}，{”issue“：”6“，”key“：”35_CR14“，”doi-asserted-by“：”publisher“，”首页“：”753“，”doi“：”10.1093\/logcom\/7.6.753“，”volume“：“7”，”author“：”R.Gori“，”year“：”1997“，”unstructured“：”R.Gori和G.Levi.有限失败是和复合的。《逻辑与计算杂志》，7（6）：753\u20137761997。“，”Journal-title“：”Journal of Logic and计算“}，{”key“：”35_CR15“，”doi-asserted-by“：”crossref“，”unstructured“：”H.J.Komorowski“。部分求值作为在应用语言中推断数据结构的一种方法：Prolog的理论和实现。程序中。第九届POPL，第255\u2013267页，1982年。“，”DOI“：”10.1145\/582153.582181“}，{”key“：”35_CR16“，”DOI-asserted-by“：”crossref“，”unstructured“：”N.Lindenstrauss.TermiLog:检查逻辑程序查询终止的系统，1997年。http://www.cs.huji.ac.il\u00f1aomil。“，”DOI“：”10.1007\/3-540-6316-6_44“｝，｛”key“：”35_CR17“，”nonstructured“：”F.Mesnard。通过近似法推断约束逻辑程序的左端查询类。在M.J.Maher，编辑，《1996年国际联合会议和逻辑编程研讨会论文集》，第7页\u201321。麻省理工学院出版社，1996年。“}，{“key”：“35_CR18”，“unstructured”：“F.Mesnard和U.Neumerkel.cTI:推断ISO-Prolog终止条件的工具，2000年4月。网址：http://www.complang.tuwien.ac.at\cti。“}，{”key“：”35_CR19“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”publisher“，”first page“：“93”，“doi”：“10.1007\/3-540-47764-0_6”，“volume-title”：“静态分析研讨会”，“author”：“F.Mesnard”，“year”：“2001”，“unstructured”：“F Mesnard and U。纽默克尔。应用静态分析技术来推断逻辑程序的终止条件。《静态分析研讨会》编辑P.Cousot，《计算机科学讲稿》第2126卷，第93页\u2013110。Springer-Verlag，Berlin，2001.“}，{”key“：”35_CR20“，”unstructured“：”R.O\u2019Keefe.The Craft Of Prolog.MIT Press，1990.“}”，{“key”：“35_CR21”，“series-title”：“LNAI”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/3-540-52837-7”，”volume-title“：”逻辑程序的终止证明“，”author“：”L.Pl\u00fcmer“，”“year”：“1990”，“非结构化”：“L。请参阅第\u00f页。逻辑程序的终止证明。LNAI中的446号。Springer-Verlag，Berlin，1990.“}，{”issue“：”1\u20132“，”key“：”35_CR22“，”doi-asserted-by“：”publisher“，”first page“：“441”，“doi”：“10.1016\/S0304-3975（00）00197-3”，“volume”：“266”，“author”：“Y.-D.Shen”，“year”：“2001”，“unstructured”：“Y-D.Shen，L-Y.Y.Yuan，and J-H.”。你。循环检查带函数的逻辑程序。理论计算机科学，266（1\u20132）：441\u2013 461，2001.“，“journal-title”：“理论计算机科学”}，{“key”：“35_CR23”，“doi-asserted-by”：“crossref”，“first-page”：“195”，”doi“：”10.3233\/FI-1997-31207“，”volume“：”31“，”author“：”D.Skordev“，”year“：”1997“，”unstructured“：”D。斯科尔德夫。一些环路检测问题的抽象方法。Fundamental Informaticae，31:195\u2013212，1997.“，”journal-title“：”Fundamenta Informaticae“}，{“key”：“35_CR24”，“series-title”：“Lect Notes Compute Sci”，“first page”：”160“，“volume-title”：”Proc.of the International Static Analysis Symposium“，”author“：”C.Speirs“，”year“1997”，“unstructured”：“C.Spiers，Z.Somogyi，and H.”。S\u00f8ndergaard公司。汞的终止分析。在P.Van Hentenryck，编辑，Proc。国际静态分析研讨会，LNCS第1302卷，第160\u2013171页。Springer-Verlag，1997.“}”，“container-title”：[“静态分析”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/3-540-45789-5_35”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“日期-部件”：[2024,2,17]]，“”date-time“：”2024-02-17T10:21:06Z“，”timestamp“：1708165266000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/3-540-45789-5_35”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[[2002]]}，《ISBN》：[“9783540442356”，“9783547893”]，“references-count”：24，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-45789-5_35”，“关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”value“：”0302-7743“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[[2002]]}}