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.