Development of Effective Flow Analysis Systems for Logic Programs

这个项目解决了设计和开发工具中的问题，用于自动化逻辑程序的有效流动分析系统的开发。这项工作的重点是调查相关分析系统的家族，重点是实现的实用方面，如精度和效率。该项目将调查相关流动分析应用程序家族的识别，并开发以实际有效的方式自动实施它们的算法。这涉及自动选择数据结构和抽象域的机器表示的研究；结合用于有限域上的递归查询计算的高效技术；以及使用程序转换技术来动态地生成高效的流动分析程序。希望这项工作将有助于逻辑编程语言的实现者快速开发高效和有效的逻辑编程语言的流程分析系统。

This project addresses issues in the design and development of tools for automating the development of effective flow analysis systems for logic programs. The focus of this work is on investigating families of related analysis systems, with an emphasis on pragmatic aspects of implementations, such as precision and efficiency. The project will investigate the identification of families of related flow analysis applications, and develop algorithms for implementing them automatically in ways that are efficient in practice. This involves the investigation of automatic selection of data structures and machine representations of abstract domains; incorporation of efficient techniques for recursive query evaluation over finite domains; and using program transformation techniques for the generation of efficient flow analysis programs dynamically. It is hoped that this work will aid implementors of logic programming languages in the rapid development of efficient and effective flow analysis systems for such languages.