×

基于规则的语言的反模式。 (英语) Zbl 1192.68563号

小结:否定是人类思维的本质,在大多数情况下,当我们寻找事物时,我们的模式是基于积极和消极的条件。这应该自然地反映在提供基于模式搜索的软件中。例如,我们希望指定搜索不是旅行车的白色汽车,或者搜索不包含两个相同元素的对象列表。
在本文中,我们将模式的概念扩展到反模式的概念,即可能包含补码符号的模式。这个概念适用于为基于模式的编程语言设计强大的扩展,如M、A、Stratego、Maude、Elan或Tom,我们展示了如何使用它来扩展Tom语言的表达能力和可用性。我们进一步对反模式的语义进行了形式化定义,这两种语义都是在句法情况下,即当符号没有特定的相关理论时,以及模任意等式理论时。然后,我们将模式和基本项之间的匹配的经典概念扩展到反模式和基本术语之间的匹配。
解决这些问题可以使用一般技术,如不统一,我们在句法案例中举例说明,也可以使用更为量身定做和有效的方法,我们选择在结合性的具体和非常有用的案例中说明,可能是统一的。这使得我们能够足够泛化,在这个框架中给出一个非常简单和自然的表达式,例如约束编程的AllDiff标准谓词。

MSC公司:

68吨10 模式识别、语音识别
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Adi,M.,Kirchner,C.,1992年。基于ac理论的句法性的联想交换匹配。摘自:Baader,F.、Siekmann,J.、Snyder,W.(编辑),《第六届国际统一研讨会论文集》,德国达格斯图尔。达格斯图尔研讨会。;Adi,M.,Kirchner,C.,1992年。基于ac理论的句法性的联想交换匹配。摘自:Baader,F.、Siekmann,J.、Snyder,W.(编辑),《第六届国际统一研讨会论文集》,德国达格斯图尔。达格斯图尔研讨会。
[2] 艾肯,A。;Kozen,D。;Wimmers,E.,负约束集约束系统的可判定性,信息与计算,122,1,30-44(1995)·Zbl 0834.68105号
[3] 艾肯,A。;Wimmers,E.L.,求解集合约束系统(扩展摘要),(第七届IEEE计算机科学逻辑研讨会论文集。第七届EEE计算机科学逻辑会议论文集,LICS(1992),IEEE计算机学会),329-340
[4] 艾特·卡奇,H。;Podelski,A。;Smolka,G.,《含蕴涵逻辑程序设计的特征约束系统》,《理论计算机科学》,122,1-2,263-283(1994)·Zbl 0801.68023号
[5] 巴德,F。;Bürckert,H.-J。;Nebel,B。;纳特·W。;Smolka,G.,《关于带否定、函数不确定性和排序方程的特征逻辑的表达性》,《逻辑、语言和信息杂志》,2,1-18(1993)·Zbl 0788.68131号
[6] 巴德,F。;Nipkow,T.,术语重新写作和所有这些(1998),剑桥大学出版社
[7] 巴科芬,R。;Smolka,G.,《一个完整的递归特征理论》,《理论计算机科学》,146,1-2,243-268(1995)·Zbl 0873.68024号
[8] 巴拉德,E。;Brauner,P。;科佩兹,R。;莫罗,P.-E。;Reilles,A.,Tom:Piggybacking rewriting on java,(第18届重写技术和应用会议论文集。第18届改写技术和应用大会论文集,计算机科学讲义,第4533卷(2007),Springer-Verlag),36-47
[9] Benanav,D。;卡普尔,D。;Narendran,P.,匹配问题的复杂性,符号计算杂志,3,1-2,203-216(1987)·Zbl 0638.68036号
[10] 布兰德,M。;德乌森,A。;海林,J。;Jong,H。;琼斯,M。;Kuipers,T。;Klint,P。;Moonen,L。;Olivier,P。;谢尔德,J。;文朱,J。;维瑟,E。;Visser,J.,《ASF+SDF元环境:基于组件的语言开发环境》,(Wilhelm,R.,《编译器构造》,《计算机科学讲义》,第2027卷(2001年),Springer-Verlag),365-370·Zbl 0977.68762号
[11] Bürckert,H.-J.,《匹配——统一的特例?》?,(Kirchner,C.,《统一》(1990),学术出版社:伦敦学术出版社),125-138
[12] Cardelli,L。;Ghelli,G.,Tql:基于环境逻辑的半结构化数据查询语言,《计算机科学中的数学结构》,14,3,285-327(2004)·Zbl 1085.68035号
[13] 查拉托尼克,W。;Pacholski,L.,负集约束与等式,(第九届IEEE计算机科学逻辑研讨会论文集。第九届电气与电子工程师协会计算机科学逻辑年会论文集,LICS(1994),IEEE计算机学会),128-136
[14] 科蒙,H.,1988年。统一与不统一。理论和应用。法国格勒诺布尔理工学院博士。;科蒙,H.,1988年。统一与不统一。理论和应用。法国格勒诺布尔理工学院大学博士。
[15] Comon,H.,《不统一:一项调查》,(Lassez,J.-L.;Plotkin,G.,《计算逻辑》。纪念艾伦·罗宾逊的论文(1991),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥,美国),322-359,(第9章)
[16] 科蒙,H。;Kirchner,C.,《基于项的约束求解》(Comon,H.;Marché,C.;Treinen,R.,《计算逻辑中的约束:理论和应用》,《计算逻辑学的约束:原理和应用》(Constraints in Computational Logics:Theory and Applications),计算机科学讲义,第2002卷(2001),Springer),第47-103页·Zbl 0976.03516号
[17] 科蒙,H。;Lescane,P.,《等式问题和不统一》(Kirchner,C.,统一(1990),学术出版社:伦敦学术出版社),297-352·Zbl 0678.68093号
[18] Eker,S.,1992年。线性项的关联匹配。报告CS-R9224,CWI,ISSN 0169-118X。;Eker,S.,1992年。线性项的关联匹配。报告CS-R9224,CWI,ISSN 0169-118X。
[19] Eker,S.,大型关联交换重写, (第14届重写技术与应用国际会议论文集。第14届重写技术与应用国际会议论文集,RTA。第14届重写技术与应用国际会议论文集。第14届重写技术与应用国际会议论文集es与应用,RTA,《计算机科学讲义》,第2706卷(2003年),14-29·Zbl 1038.68560号
[20] 福斯特,J.S.,1996年。CLP(SC):实施和效率考虑。In:与CP’96联合举办的关于设置约束的会议记录研讨会,马萨诸塞州波士顿。;Foster,J.S.,1996年。CLP(SC):实施和效率考虑。摘自:与CP’96联合在马萨诸塞州波士顿举行的关于设置约束的会议记录研讨会。
[21] 赫尔曼,M。;Kolaitis,P.G.,等式匹配中计数问题的复杂性,符号计算杂志,20,3,343-362(1995)·Zbl 0854.68043号
[22] Huet,G.,1976年。Résolution d’equations dans les langages d’ordre 1,2,…,(ω)。法国巴黎第七大学教育博士。;Huet,G.,1976年。Résolution d’equations dans les langages d’ordre 1,2,…,(ω)。法国巴黎第七大学教育博士。
[23] Huet,G.,Confluent reductions:抽象属性和术语重写系统的应用,《美国计算机学会杂志》,27,4,797-821(1980),第18届计算机科学基础研讨会的初步版本,IEEE,1977年·兹比尔0458.68007
[24] Jouannaud,J.-P。;Kirchner,C.,《在抽象代数中求解方程:统一的基于规则的调查》,(Lassez,J.-L.;Plotkin,G.,《计算逻辑》。纪念艾伦·罗宾逊的论文(1991),麻省理工学院出版社:麻省理学学院出版社,美国马萨诸塞州剑桥),257-321,(第8章)
[25] Kirchner,C.,1986年。计算统一算法。摘自:《IEEE计算机科学逻辑研讨会论文集》,剑桥(马萨诸塞州,美国),第206-216页。;Kirchner,C.,1986年。计算统一算法。摘自:《IEEE计算机科学逻辑研讨会论文集》,剑桥(马萨诸塞州,美国),第206-216页。
[26] 基什内尔,C.,基什内尔·H,1999年。重写、解决、证明。该书的初版可从以下网址获得:www.loria.fr/ckirchne/=rsp/rsp.pdf。;基什内尔,C.,基什内尔·H,1999年。重写、解决、证明。该书的初版可从以下网址获得:www.loria.fr/ckirchne/=rsp/rsp.pdf。
[27] Kirchner,C.,Klay,F.,1990年。句法理论与统一。摘自:第五届IEEE计算机科学逻辑研讨会论文集,美国宾夕法尼亚州费城,第270-277页。;Kirchner,C.,Klay,F.,1990年。句法理论与统一。摘自:第五届IEEE计算机科学逻辑研讨会论文集,美国宾夕法尼亚州费城,第270-277页。
[28] 基什内尔,C。;科佩兹,R。;Moreau,P.,反模式匹配,(第16届欧洲编程研讨会论文集。第16届欧洲编程研讨会论文集,计算机科学讲义,第4421卷(2007年),Springer Verlag),110-124·兹比尔1155.68367
[29] 基什内尔,C。;科佩兹,R。;Moreau,P.-E.,反模式匹配模,(Martín-Vide,C.,第二届语言与自动机理论与应用国际会议论文集。第二届语言与自动机理论与应用国际会议论文集,计算机科学讲义,第5196卷(2008),斯普林格·弗拉格:西班牙塔拉戈纳斯普林格尔·弗拉格),275-286·Zbl 1156.68353号
[30] Klay,F.,1992年。统一dans les theories syntaxiques。南希一世亨利·蓬卡大学博士学位。;Klay,F.,1992年。统一dans les theories syntaxiques。亨利·庞加莱-南希一世大学博士。
[31] Kutsia,T.,用序列变量和序列函数求解方程,《符号计算杂志》,42,3,352-388(2007)·Zbl 1124.68121号
[32] Kutsia,T.,平面匹配,《符号计算杂志》,43,12,858-873(2008)·Zbl 1152.68059号
[33] 拉塞兹,J.-L。;Marriott,K.,反例定义的术语的显式表示,自动推理杂志,3,3,301-317(1987)·Zbl 0641.68124号
[34] Leroy,X.,2008年。目标凸轮系统版本3.10.2。http://caml.inia.fr。; Leroy,X.,2008年。目标凸轮系统版本3.10.2。http://caml.inia.fr。
[35] Makanin,G.S.,自由半群中方程的可解性问题,数学。苏联斯博尼克,32,2,129-198(1977)·Zbl 0396.20037号
[36] Marché,C.,《规范化重写:重写方程组模的替代方法》,《符号计算杂志》,21,3,253-288(1996)·Zbl 0859.68050号
[37] Momigliano,A.,逻辑框架中否定的消除,(EACSL第十四届计算机科学逻辑年会论文集,EACSL计算机科学逻辑第十四届年会论文,计算机科学讲义,第1862卷(2000年),Springer Verlag:Springer Verlag London,UK),411-426·Zbl 0973.68039号
[38] 莫罗,P.-E。;Ringeissen,C。;Vittek,M.,《多目标语言的模式匹配编译器》,(Hedin,G.,《第十二届编译器构造会议》,波兰华沙,《第12届编译器构造大会》,波兰,华沙,第12届编译构造大会,《计算机科学讲义》,第2622卷(2003),Springer-Verlag),61-76·Zbl 1032.68920号
[39] 米勒,M。;Niehren,J。;Podelski,A.,非空树集上的包含约束,(Dauchet,M.,软件开发理论与实践,国际联合会议CAAP/FASE/TOOLS.软件开发理论和实践,国际联席会议CAAP/FASE/TOOLS,计算机科学讲稿,第1214卷(1997),Springer Verlag),217-231
[40] Nipkow,T.,1990年。等式理论的证明变换。在:美国宾夕法尼亚州费城第五届IEEE计算机科学逻辑研讨会论文集,第278-288页。;Nipkow,T.,1990年。等式理论的证明变换。摘自:第五届IEEE计算机科学逻辑研讨会论文集,美国宾夕法尼亚州费城,第278-288页。
[41] Nipkow,T.,《组合匹配算法:常规情况》,《符号计算杂志》,12,6,633-653(1991)·Zbl 0767.68069号
[42] Odersky,M.,2008年。scala编程语言。网址http://www.scala-lang.org/。; Odersky,M.,2008年。scala编程语言。网址http://www.scala-lang.org/。
[43] Plotkin,G.,《内建方程理论》,《机器智能》,第773-90页(1972年)·Zbl 0262.68036号
[44] Reilles,A.,2006年。审查标准和编译确认。法国洛林国立理工学院博士。;Reilles,A.,2006年。审查标准和编译确认。法国洛林国立理工学院博士。
[45] Ringeissen,C.,《结合不相交方程理论、信息与计算中的匹配决策算法》,126,2,144-160(1996),技术报告期刊版93-R-249·Zbl 0853.68105号
[46] Treinen,R.,一阶理论不可判定性证明的新方法,符号计算杂志,14,5,437-457(1992),URLhttp://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/JSC-Treinen92.PS ·Zbl 0769.03026号
[47] Wolfram,S.,《数学书》(2003),Wolfram Media,Inc。
[48] 张伟。;Ling,T.W。;陈,Z。;Dobbie,G.,Xdo2:一种演绎面向对象的xml查询语言,(Zhou,L.;Ooi,B.C.;Meng,X.,DASFAA.DASFAA,计算机科学讲义,第3453卷(2005),Springer),311-322
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。