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

职业：基于语义的逻辑程序分析的集成框架

• 批准号: 0131862
• 负责人: Lunjin Lu
• 金额: --
• 依托单位: Oakland University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-06-01 至 2008-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0131862&HistoricalAwards=false
• 关键词: CAREER; Integrated; Framework; Semantic; Based

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.

基于语义的程序分析为编译器、调试器和其他程序操作工具提供了有用的信息。逻辑程序分析的现有框架不支持向后或参数分析，这些分析正在成为逻辑程序开发中的有用工具。它们也不能为上下文敏感的分析提供足够的支持。该项目试图创建一个新的框架，它将支持这些新的分析类以及那些由现有框架支持的分析类。研究的重点是(i)开发系统的方法来设计参数化的、向后的和上下文敏感的分析，以及这些分析的有效计算方法；（二）将研究成果整合到逻辑程序分析中；（iii）实施一个软件环境，以促进程序分析的设计、实施和评估；（iv）识别、实施和评估新的项目分析。通过本研究可以更好地理解参数分析、后向分析和上下文敏感分析，这将为逻辑程序分析领域提供一个突破。本计画计划透过发展及加强若干计算机科学及软件工程课程，将研究成果融入课堂。它还为研究生和本科生提供了从事前沿研究项目的教育机会。