对象式语言的部分求值技术及在编译器自动生成中的应用

本项目在已有工作基础上，对对象式语言部分求值技术及其在编译器自动生成中的应用进行深入的研究。我们利用增量式技术对语法分析器的自动生成在生成效主纱上进行了有效的提高，并利用此技术改进了通常的部分求值过程，从而使部分求值效率大为提高。为使技术更具有一般性，我给出了通元级环境的自生成方案并在实践中加以验证。为能很好地处理具有重要理论价值的高阶笥问题，我们专门对高阶函数式语言的部分求值技术进行了深入的地研究并取了许多突破性的成果。目前，我们正对一般性部分计算的方法做进一步研究，可望作为进一步研究的课题，并有望取得实质性的进展。