Compiler Prototyping Using Logic Programming

使用逻辑编程进行编译器原型设计

• 批准号: 8718989
• 负责人: Jacques Cohen
• 金额: $ 17.08万
• 依托单位: Brandeis University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-03-01 至 1990-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8718989&HistoricalAwards=false
• 关键词: Compiler; Prototyping; Using; Logic; Programming

The primary aim of the proposed research project is to use logic programming to prototype high-level language compilers which produce highly optimized code for sequential and parallel machines. The proposed areas of research are: (1) program analysis based on abstract interpretation, (2) optimized code generation for sequential and parallel logic programs, (3) compile-time and run-time garbage collection, (4) graphical debugging and profiling, and (5) compilation of extensions of Prolog in which unification is replaced by constraint solving. The research is focussed on logic programming languages, but the techniques developed may also be applicable to other programming language paradigms.

拟议研究项目的主要目标是使用逻辑编程来构建高级语言编译器的原型，为顺序和并行机器生成高度优化的代码。 拟议的研究领域是：（1）基于抽象解释的程序分析，（2）顺序和并行逻辑程序的优化代码生成，（3）编译时和运行时垃圾收集，（4）图形调试和分析，以及（5）Prolog扩展的编译，其中统一被约束求解取代。 该研究主要集中在逻辑编程语言上，但开发的技术也可能适用于其他编程语言范例。