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.