比较和重新排序谓词参数的数据流分析
摘要：计算参数配置文件的数据流分析方法在一种（模态）逻辑编程语言的背景下被设计出来。这种配置文件主要描述了谓词的每个参数的功能，即参数在评估谓词时涉及的操作，以及参数在数据值的消耗和/或构建中的贡献方式。虽然计算出的参数配置文件对于在程序理解的背景下的应用可能是有用的（因为每个配置文件基本上提供了一种更好理解参数角色的方式），但更重要的是它们提供了一种比类型和模式等其他抽象特征化更精细的区分参数的方式。这对于需要识别两个或多个不同谓词的参数之间的对应关系的应用非常重要，例如在克隆检测期间。此外，由于可以在配置文件的抽象域上定义总序，我们的分析可以用于重新排列谓词参数并根据其功能对它们进行排序，从而成为谓词规范化技术的重要组成部分。
作者：Gonzague Yernaux (Faculty of Computer Science, University of Namur), Wim Vanhoof (Faculty of Computer Science, University of Namur)
论文ID：2308.15880
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-31