×
弗朗索瓦·迪尔瓦夫;温·范霍夫

朝向水星计划的正常形式。 （英语） Zbl 1179.68035号

安迪·金（编辑），基于逻辑的程序合成和转换。2007年8月23日至24日，第17届国际研讨会，LOPSTR 2007，丹麦Kongens Lyngby。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78768-6/pbk）。《计算机科学讲义》4915，43-58（2008）。
小结：在这项工作中，我们定义了一个程序转换，它通过重新排序子句、正文目标和谓词参数来规范Mercury程序。这种转换保留了程序的良好模式性和确定性特征，旨在降低在程序之间搜索重复或相似代码片段的复杂性。在之前的工作中，我们定义了一个分析，基本上通过成对比较原子和目标来搜索这种重复的功能。虽然理论上是可行的，但在搜索过程中要执行的排列数使得它很难在实践中使用。我们推测，这项工作中定义的向正规形式的转换可以大大减少排列的数量，从而降低搜索的复杂性。
关于整个系列，请参见[Zbl 1154.68018号].

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）

软件：

水银;YAP3号机组;获胜
PDF格式BibTeX公司 XML格式引用
\textit{F.Degrave}和\textit{W.Vanhoof}，Lect。注释计算。科学。4915、43-58（2008年；Zbl 1179.68035）
全文： 内政部

参考文献：

[1] Chen，X.，Francia，B.，Li，M.，McKinnon，B.，Seker，A.：共享信息和程序剽窃检测。IEEE信息理论汇刊50（7），1545–1551（2004）·Zbl 1294.94010号 ·doi:10.1109/TIT.2004.830793
[2] Horwitz，S.：识别程序的两个版本之间的语义和文本差异。ACM SIGPLAN通知25（6）、234–245（1990）·doi:10.1145/93548.93574
[3] Kontogiannis，K.A.，Demori，R.，Merlo，E.，Galler，M.，Bernstein，M.：克隆和概念检测的模式匹配。摘自：逆向工程，第77–108页（1996）·doi:10.1007/978-0-585-27477-54
[4] Mycroft，A.，O'Keefe，R.A.：Prolog的多态型系统。人工智能23，295–307（1984）·Zbl 0543.68076号 ·doi:10.1016/0004-3702（84）90017-1
[5] 墨尔本大学。汞语言参考手册（2006）
[6] Overton，D.，Somogyi，Z.，Stuckey，P.：水星的基于约束的模态分析。摘自：《第四届ACM SIGPLAN声明性编程原则与实践国际会议论文集》，美国纽约，2002年，第109-120页。ACM出版社，纽约（2002）
[7] Overton，D.，Somogyi，Z.，Stuckey，P.J.：水星的基于约束的模态分析。收录于：Kirchner，C.（编辑）《第四届声明性编程原则与实践国际会议记录》，第109-120页。ACM出版社，纽约（2002年）
[8] Schleimer，S.、Wilkerson，D.S.、Aiken，A.：Winnowing：文档指纹的局部算法。收录：2003年ACM SIGMOD国际数据管理会议记录，加利福尼亚州圣地亚哥（2003）·doi:10.1145/872757.872770
[9] Somogyi，Z.，Henderson，H.，Conway，T.：Mercury的执行算法，一种高效的纯声明逻辑编程语言。逻辑程序设计杂志29（1）（1996）·Zbl 0877.68015号 ·doi:10.1016/S0743-1066（96）00068-4
[10] Vanhoof，W.：在逻辑程序中搜索语义等价的代码片段。收录：Etalle，S.（编辑）LOPSTR 2004。LNCS，第3573卷，第1-18页。斯普林格，海德堡（2005）·兹比尔1134.68338 ·doi:10.1007/11506676_1
[11] Winstead，J.，Evans，D.：面向差分程序分析。收录：2003年动态分析研讨会论文集（2003）
[12] 明智。YAP3：改进了计算机程序和其他文本中相似性的检测。SIGCSEB:SIGCSE公告（ACM计算机科学教育特别兴趣小组），28（1996）
[13] 杨伟：识别两个程序之间的句法差异。软件实践与经验21（7），739–755（1991）·doi:10.1002/spe.4380210706
[14] W.Yang，S.Horwitz，T.Reps.检测具有等效行为的程序组件。技术报告CS-TR-1989-840，威斯康星大学麦迪逊分校（1989年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。