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

点击翻译按钮获取中文摘要

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.