CAREER: An Integrated Framework for Semantic-Based Analysis of Logic Programs

CCR-0131862基于语义的程序分析为编译器、调试器和其他程序操作工具提供了有用的信息。 逻辑程序分析的框架不支持向后或参数分析，这些分析在逻辑程序开发中是非常有用的工具。它们也没有为上下文敏感分析提供足够的支持。 该项目旨在创建一个新的框架，以支持这些新的分析类别以及现有框架所支持的分析类别。 研究的重点是（i）开发系统的方法设计参数，向后和上下文敏感的分析和方法，有效地计算这些分析;（ii）集成研究成果的逻辑分析;（iii）实现一个软件环境，促进设计，实施和评估的程序分析;和（iv）识别，实施和评估新的程序分析。 通过研究，可以加深对参数分析、后向分析和上下文敏感分析的理解，为逻辑分析领域的研究提供一个突破口。该项目计划通过开发和加强计算机科学和软件工程方面的几门课程，将研究成果纳入课堂。它还为研究生和本科生提供从事前沿研究项目的教育机会。

CCR-0131862Lunjin LuSemantic-based program analysis provides useful information tocompilers, debuggers and other program manipulation tools. Existingframeworks for logic program analysis do not provide support forbackward or parametric analyses that are emerging as useful tools inlogic program development. Nor do they provide sufficient support forcontext-sensitive analyses. The project seeks to create a newframework that will support these new classes of analyses as well asthose supported by existing frameworks. The research focuses on (i)developing systematic methods for designing parametric, backward andcontext-sensitive analyses and methods for efficient computation ofthese analyses; (ii) integrating research findings in logic programanalysis; (iii) implementing a software environment that facilitatesdesign, implementation and evaluation of program analyses; and (iv)identifying, implementing and evaluating new program analyses. Abetter understanding of parametric analysis, backward analysis andcontext-sensitive analysis may be obtained out of the research andthat would provide a breakthrough in the field of logic programanalysis. This project plans to incorporate research results into theclassroom by developing and enhancing several courses in computerscience and software engineering. It also offers educationalopportunities for graduate and undergraduate students to work onleading edge research projects.