×
Masanori长岛;Masahiko酒井;酒边，Toshiki

条件项重写系统的确定。 （英语） Zbl 1253.68199号

西奥。计算。科学。 464，72-89（2012年）.
摘要：本文讨论了使用定向构造函数规则确定条件项重写系统。我们提出了一个基于规则的转换系统，该系统将非确定性转换为确定性，并提供了转换示例。我们证明了该转换系统具有良好的仿真效果和完整的仿真。通过引入变换系统的策略，我们还证明了某些类的变换系统是完备的。

引用于6文件

MSC公司：

2012年第68季度 语法和重写系统
68甲18 函数编程和lambda演算

关键词：

确定性条件项重写系统;功能程序;基于规则的变换

软件：

LRinv公司;InvX公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Nagashima}等人，Theor。计算。科学。464，72-89（2012；Zbl 1253.68199）
全文： 内政部

参考文献：

[1] Ganzinger，H.，《有序完成：多种方式》，《理论计算机科学》，89，1，3-32（1991）·Zbl 0736.68050号
[2] 卢卡斯，S。；马奇，C。；Meseguer，J.，条件项重写系统的操作终止，《信息处理快报》，95，446-453（2005）·Zbl 1185.68374号
[3] Bergstra，J.A。；Klop，J.W.，《条件重写规则：汇合与终止》，《计算机与系统科学杂志》，32，3，323-362（1986）·Zbl 0658.68031号
[4] 米德尔多普，A。；Hamoen，E.，基本窄化的完备性结果，工程、通信和计算中的应用代数，5，213-253（1994）·兹伯利0810.68088
[5] Nishida，N。；Vidal，G.，尾部递归函数的程序反演，（Schmidt-Schauß，M.，《第22届重写技术和应用国际会议论文集》，LIPIcs，第10卷（2011），Schloss Dagstuhl，Leibniz-Zentrum für Informatik），283-298·Zbl 1236.68144号
[6] B.Gramlich，《关于条件方程逻辑和条件重写中最小不动点的（非）存在性》，载于：I.Guessarian（Ed.），第二届计算机科学不动点国际研讨会论文集，FICS 2000-扩展摘要，2000年，第38-40页。；B.Gramlich，《关于条件方程逻辑和条件重写中最小不动点的（非）存在性》，载于：I.Guessarian（Ed.），《第二届计算机科学中不动点国际研讨会论文集》，FICS 2000-扩展摘要，2000年，第38-40页。
[7] 巴德，F。；Nipkow，T.，《术语改写和所有这些》（1998年），剑桥大学出版社
[8] Ohlebusch，E.，《学期改写高级主题》（2002年），斯普林格-Verlag·Zbl 0999.68095号
[9] Almendros-Jiménez，J.M。；Vidal，G.，《感应序列函数的自动部分反演》（Horváth，Z.；Zsók，V。；巴特菲尔德，A.，第18届函数语言实现与应用国际研讨会论文集。第18届函数语言实现与应用国际研讨会论文集，《计算机科学讲义》，第4449卷（2007），第253-270页·Zbl 1226.68024号
[10] Giesl，J。；Arts，T.，通过依赖对验证Erlang过程，工程、通信和计算中的应用代数，12，1/2，39-72（2001）·Zbl 0973.68101号
[11] H.Tamaki，T.Sato，逻辑程序的展开/折叠转换，in：S-Å。Tärnlund（Ed.），《第二届逻辑编程国际会议论文集》，1984年，第127-138页。；H.Tamaki，T.Sato，逻辑程序的展开/折叠转换，in：S-Å。Tärnlund（Ed.），《第二届逻辑编程国际会议论文集》，1984年，第127-138页。
[12] Dershowitz，N.，术语重写系统的排序，理论计算机科学，17279-301（1982）·Zbl 0525.68054号
[13] 艺术，T。；Giesl，J.，使用依赖对终止术语重写，理论计算机科学，236，1-2133-178（2000）·兹比尔0938.68051
[14] N.Nishida，M.Sakai，T.Sakabe，纯无树函数逆项重写系统的生成，Y.Toyama（Ed.），《证明与计算重写国际研讨会论文集》，2001年，第188-198页。；N.Nishida，M.Sakai，T.Sakabe，纯无树函数逆项重写系统的生成，Y.Toyama（Ed.），《证明与计算重写国际研讨会论文集》，2001年，第188-198页。
[15] Kurihara，M。；Ohuchi，A.，带共享构造函数的简单终止项重写系统的模块化，理论计算机科学，103，2，273-282（1992）·Zbl 0753.68053号
[16] Nishida，N。；酒井，M。；Sakabe，T.，构造器项重写系统的部分倒置，（Giesl，J.，《第16届重写技术和应用国际会议论文集》，《第十六届重写技术与应用国际会议文献集》，计算机科学讲义，第3467卷（2005）），264-278·Zbl 1078.68662号
[17] J.McCarthy，《图灵机器定义的函数反演》，载于：《自动化研究》，普林斯顿大学，1956年，第177-181页。；J.McCarthy，《图灵机器定义的函数反演》，载于：《自动化研究》，普林斯顿大学，1956年，第177-181页。
[18] Harrison，P.G.，函数反演，（IFIP TC2部分评估和混合计算研讨会论文集（1988），北荷兰），153-166
[19] Romanenko，A.，《Refal中反函数的生成》，（IFIP TC2部分评估和混合计算研讨会论文集（1988），北荷兰人），427-444
[20] Khoshnevisan，H。；Sephton，K.M.，《Invx：自动功能逆变器》（Dershowitz，N.，《第三届改写技术与应用国际会议论文集》，《第3届改写技巧与应用国际大会论文集》计算机科学讲义，第355卷（1989）），564-568
[21] Romanenko，A.，倒置和元计算，（部分评估和基于语义的程序操作研讨会论文集（1991），ACM），12-22
[22] 吕克，R。；Kawabe，M.，《具有等式和构造器的函数语言的程序反相器》，（Ohori，A.，《编程语言和系统》，第一届亚洲研讨会。《编程语言与系统》，第1届亚洲研讨会，计算机科学讲义，第2895卷（2003），斯普林格），246-264·Zbl 1254.68057号
[23] 吕克，R。；Kawabe，M.，基于LR（0）解析的自动程序反转方法，信息学基础，66，4，367-395（2005）·Zbl 1098.68025号
[24] 川贝，M。；Glück，R.，《程序反相器lrinv及其结构》（The program inverter lrinv and its structure），（Hermenegildo，M.V.；Cabeza，D.，《声明语言的实用方面》，第七届国际研讨会，《计算机科学讲义》，第3350卷（2005），斯普林格出版社），219-234
[25] Marchiori，M.，《展开与超属性》，（Hanus，M.；Rodríguez-Artalejo，M，《代数与逻辑编程》，第五届国际会议，《代数和逻辑编程》第五届世界会议，《计算机科学讲稿》，第1139卷（1996），斯普林格），107-121·Zbl 1355.68142号
[26] Nishida，N。；Sakai，M。；Sakabe，T.，通过与线性相关的超属性对条件项重写系统进行解展开的合理性，计算机科学中的逻辑方法，8，3，1-49（2012）·Zbl 1252.68161号
[27] Gmeiner，K。；Gramlich，B。；Schernhammer，F.，《关于解构确定性条件重写系统的稳健性条件》，（Tiwari，A.，第23届重写技术和应用国际会议，第23次重写技术和运用国际会议，LIPIcs，第15卷（2012），Schloss Dagstuhl，Leibniz Zentrum Für Informatik），193-208·Zbl 1437.68081号
[28] R.M.伯斯托尔。；Darlington，J.，开发递归程序的转换系统，ACM杂志，24，1，44-67（1977）·Zbl 0343.68014号
[29] Pettorossi，A。；Proietti，M.，转换功能和逻辑程序的规则和策略，ACM计算调查，28，2，360-414（1996）
[30] T.Kanamori，K.Horiuchi，基于广义展开/折叠规则的逻辑程序构造，J.-L.Lassez（编辑），《第四届逻辑程序设计国际会议论文集》，1987年，第744-768页。；T.Kanamori，K.Horiuchi，基于广义展开/折叠规则的逻辑程序构造，J.-L.Lassez（Ed.），《第四届逻辑程序设计国际会议论文集》，1987年，第744-768页。
[31] Sato，T.，保留等价的一阶展开/折叠变换系统，理论计算机科学，105，1，57-84（1992）·Zbl 0798.68101号
[32] Seki，H.，《基础良好语义的通用逻辑程序的展开/折叠变换》，《逻辑程序设计杂志》，16，1，5-23（1993）·Zbl 0776.68031号
[33] Roychoudhury，A。；Kumar，K.N。；罗马克里希南，C.R。；Ramakrishnan，I.V.，《超越Tamaki-Sato风格的常规逻辑程序展开/折叠变换》，《国际计算机科学基础杂志》，13，3，387-403（2002）·兹比尔1066.68016
[34] Roychoudhury，A。；Kumar，K.N。；罗马克里希南，C.R。；Ramakrishnan，I.V.，《确定逻辑程序的展开/折叠转换框架》，《程序设计语言和系统的ACM事务》，26，3，464-509（2004）
[35] Pettorossi，A。；Proietti，M。；Senni，V.，逻辑程序转换的基于约束的正确性证明，计算的形式方面，24，4-6，569-594（2012）·Zbl 1259.68036号
[36] Maher，M.J.，具有完美模型语义的演绎数据库模块转换系统，理论计算机科学，110，2，377-403（1993）·Zbl 0780.68022号
[37] 埃塔利，S。；Gabbrielli，M.，《CLP模块的转换》，《理论计算机科学》，166，1-2，101-146（1996）·Zbl 0872.68021号
[38] Bensaou，N。；Guessarian，I.，《转换约束逻辑程序》，理论计算机科学，206，1-2，81-125（1998）·Zbl 0913.68042号
[39] Fioravanti，F。；Pettorossi，A。；Proietti，M.，局部分层约束逻辑程序的转换规则，（Bruynooghe，M.；Lau，K.-K.，计算逻辑程序开发，计算机科学讲义，第3049卷（2004），Springer），77-89·Zbl 1051.68004号
[40] Sands，D.，通过功能程序转换中的局部改进实现完全正确性，ACM编程语言和系统事务，18，2，175-234（1996）
[41] Alpunte，M。；法拉斯基，M。；莫雷诺，G。；Vidal，G.，《转换惰性函数逻辑程序的规则+策略》，《理论计算机科学》，311,1-3479-525（2004）·Zbl 1070.68018号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。