文件Open Access徽标

反展开问题及其启发式求解

作者 长岛Masanori Nagashima, 加藤富文, 酒井正彦, 西田直树



PDF格式
缩略图PDF

文件

OASIcs公司。WPTE.2014.27.pdf
  • 文件大小:0.51 MB
  • 12页

文件标识符

作者详细信息

长岛Masanori Nagashima
加藤富文
酒井正彦
西田直树

引用为获取BibTex

长岛Masanori Nagashima、加藤富美(Tomofumi Kato)、酒井正彦(Masahiko Sakai)和西田直树(Naoki Nishida)。反展开问题及其启发式求解。在第一次改写技术国际研讨会上为程序转换和评估。信息学开放获取系列(OASIcs),第40卷,第27-38页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2014)
https://doi.org/10.4230/OASIcs.WPTE.2014.27

摘要

展开/折叠变换在各种编程范式中都得到了广泛的研究,并被用于程序转换、定理证明等恢复一步展开并不容易,也就是说,这是一项具有挑战性的任务,因为展开所使用的一些规则可能会丢失。我们将一步程序转换视为一种关系来形式化这个问题。接下来,我们将讨论一个特定框架的一些问题,该框架称为pure-constructor系统,它构成了条件项重写系统的一个子类。我们证明,如果T保持重写关系和签名,则T的逆函数保持重写关系。我们提出了一种启发式方法来解决这个问题,并展示了它的成功例子。我们改进了程序,并举例说明了改进的效果。
关键词
  • 程序转换
  • 展开
  • 条件项重写系统

韵律学

工具书类

  1. 杰苏斯·曼努埃尔·阿曼德罗斯-吉梅内斯和热尔曼·维达尔。感应时序函数的自动部分反演。在佐尔坦·霍尔瓦思、维克托里亚·兹索克和安德鲁·巴特菲尔德,编辑,Proc。第18届函数语言实现与应用国际研讨会,《计算机科学讲义》第4449卷,第253-270页,2007年。谷歌学者
  2. 弗兰兹·巴德和托比亚斯·尼普科。术语重写和所有这些。剑桥大学出版社,1998年。谷歌学者
  3. 大卫·巴恩斯和托比·沃尔什。差异匹配。第11届自动演绎国际会议编辑迪帕克·卡普尔(Deepak Kapur),《计算机科学讲义》第607卷,第295-309页。施普林格,1992年。谷歌学者
  4. N.Bensaou和Irène Guessarian。转换约束逻辑程序。理论计算机科学,206(1-2):81-1251998。谷歌学者
  5. Jan A.Bergstra和Jan Willem Klop。条件重写规则:合并和终止。《计算机与系统科学杂志》,32(3):323-3621986。谷歌学者
  6. 罗德·M·伯斯托尔和约翰·达林顿。用于开发递归程序的转换系统。美国医学会杂志,24(1):44-671977。谷歌学者
  7. 桑德罗·埃塔利(Sandro Etalle)和毛里齐奥·加布里埃利(Maurizio Gabbrielli)。CLP模块的转换。理论计算机科学,166(1-2):101-1461996。谷歌学者
  8. 法比奥·菲奥拉万蒂(Fabio Fioravanti)、阿尔贝托·佩托罗西(Alberto Pettorossi)和毛里齐奥·普罗埃蒂(Maurizio Proietti)。局部分层约束逻辑程序的转换规则。《计算机科学讲义》第3049卷《计算逻辑程序开发》编辑莫里斯·布吕诺格(Maurice Bruynooghe)和刘功(Kung-Kiu Lau),第77-89页。斯普林格,2004年。谷歌学者
  9. 哈拉尔德·甘辛格(Harald Ganzinger)。订单排序完成:多种排序方式。理论计算机科学,89(1):3-321991。谷歌学者
  10. 罗伯特·格莱克和川本正彦。一种基于LR(0)解析的程序自动反转方法。信息学基础,66(4):367-3952005。谷歌学者
  11. Tadashi Kanamori和Kenji Horiuchi。基于广义展开/折叠规则构建逻辑程序。Jean-Louis Lassez主编,《第四届逻辑编程国际会议论文集》,第744-768页,1987年。谷歌学者
  12. 迈克尔·J·马赫。具有完美模型语义的演绎数据库模块转换系统。理论计算机科学,110(2):377-4031993。谷歌学者
  13. 阿尔特·米德尔多普和埃里克·哈蒙。基本窄化的完整性结果。《工程、通信和计算中的应用代数》,5:213-2531994年。谷歌学者
  14. Nagashima Masanori、Sakai Masahiko和Sakabe Toshiki。条件项重写系统的确定。理论计算机科学,464:72-892012。谷歌学者
  15. 西田直树、酒井正彦和酒井俊彦。构造函数项重写系统的部分反转。在Jürgen Giesl,编辑,Proc。第16届国际重写技术与应用大会,LNCS第3467卷,第264-278页。斯普林格,2005年。谷歌学者
  16. Naoki Nishida和Germanán Vidal。尾部递归函数的程序反演。Manfred Schmidt-Schauß,编辑,《第22届重写技术和应用国际会议论文集》,LIPIcs第10卷,第283-298页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik,2011年。谷歌学者
  17. Naoki Nishida和Germanán Vidal。计算条件重写系统的更具体版本。Elvira Albert,编辑,《第22届基于逻辑的国际研讨会论文修订选集》,《计算机科学讲义》第7844卷,第137-154页,2013年。谷歌学者
  18. Minami Niwa、Naoki Nishida和Masahiko Sakai。扩展语法程序中用于程序反转的匹配操作。Elvira Albert,编辑,第22届基于逻辑的程序合成和转换国际研讨会(LOPSTR 2012)非正式会议记录,第130-139页,2012年。谷歌学者
  19. Enno Ohlebusch公司。学期改写高级主题。Springer-Verlag,2002年。谷歌学者
  20. 阿尔贝托·佩托罗西(Alberto Pettorossi)、毛里齐奥·普罗埃蒂(Maurizio Proietti)和瓦莱里奥·塞尼(Valerio Senni)。逻辑程序转换的基于约束的正确性证明。计算的形式方面,24(4-6):569-5942012。谷歌学者
  21. Abhik Roychoudhury、K.Narayan Kumar、C.R.Ramakrishnan和I.V.Ramakrishnan。超越Tamaki-Sato风格,为常规逻辑程序展开/折叠转换。国际计算机科学基础杂志,13(3):387-4032002。谷歌学者
  22. Abhik Roychoudhury、K.Narayan Kumar、C.R.Ramakrishnan和I.V.Ramakrishnan。用于确定逻辑程序的展开/折叠转换框架。美国计算机学会程序设计语言与系统汇刊,26(3):464-5092004。谷歌学者
  23. 大卫·桑兹。通过功能程序转换中的局部改进实现完全正确性。ACM事务处理。编程语言和系统,18(2):175-2341996。谷歌学者
  24. 佐藤大辅。等效-保留一阶展开/折叠变换系统。理论计算机科学,105(1):57-841992。谷歌学者
  25. Hirohisa Seki。通用逻辑程序的展开/折叠转换,以实现良好的语义。逻辑程序设计杂志,16(1):5-231993。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件