Research Initiation Award: Highly Optimizing Compilation for Constraint Logic Programming

9308631 Michaylov约束逻辑编程（CLP）语言是一种基于基于规则约束编程范式的类声明式编程语言。 这个项目涉及开发高度优化CLP语言编译的实用技术。 由于这些语言的高级特性，为了获得良好的性能，编译器有必要基于程序的全局属性进行优化。 这项研究将集中在编译语言CLP（R），虽然许多技术将适用于其他CLP语言。 CLP语言的程序分析已被广泛研究，研究者已经开发出一个抽象机，有效地执行CLP（R），给出一个合适的优化编译器。 这个项目将解决的问题，分析器提供的信息实际上是有用的，以获得有效的代码为现实的程序，需要什么样的编译技术来获得这些信息的代码，以及如何这样的编译可以使可扩展性和可靠的。 这项研究将以调查员关于竞争法和竞争政策执行问题的工作为基础。 它将导致一个大大增加的理解使用全局程序分析的基础上，一个高度优化的CLP（R）编译器，并证明其可行性，第一次通过这样一个编译器的实现。 它将提供一个非常需要的工具，可以很容易地被研究人员在程序分析中使用，以评估他们的工作经验，并将有助于确定突出的研究问题，在高性能编译的CLP语言。 ***

9308631 Michaylov The Constraint Logic Programming (CLP) languages are a class declarative programming languages based on the paradigm of rule based constraint programming. This project concerns the development of practical techniques for highly-optimizing compilation of CLP languages. To obtain good performance, it is necessary for a compiler to perform optimizations based on global properties of programs, because of the high-level nature of these languages. This study will concentrate on compiling the language CLP(R), although many of the techniques will be applicable to other CLP languages. Program analysis for CLP languages has been studied extensively, and the investigator has developed an abstract machine for executing CLP(R) efficiently, given a suitable optimizing compiler. This project will address the questions of which information provided by analyzers is actually useful for obtaining efficient code for realistic programs, what compilation techniques are needed for obtaining the code given this information, and how such compilation can be made scalable and reliable. The study will build on the investigator's work on CLP implementation issues. It will lead to a greatly increased understanding of the use of global program analysis as the basis for a highly optimizing CLP(R) compiler, and demonstrate its feasibility for the first time through the implementation of such a compiler. It will provide a much needed tool that can easily be used by researchers in program analysis to evaluate their work empirically, and will help to identify outstanding research issues in high-performance compilation of CLP languages. ***