Compiler Prototyping Using Logic Programming

提出的研究项目的主要目标是使用逻辑编程来制作高级语言编译器的原型，这些编译器为顺序和并行机器产生高度优化的代码。建议的研究领域包括：(1)基于抽象解释的程序分析；(2)顺序和并行逻辑程序的优化代码生成；(3)编译时和运行时垃圾回收；(4)图形化调试和剖析；(5)用约束求解代替统一的PROLOG扩展的编译。研究的重点是逻辑编程语言，但所开发的技术也可能适用于其他编程语言范型。

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.