高阶函数式语言相关论文
本文给出高阶函数式语言Prolog语言的一种转换技术,其中主要用到抽象闭包分析,Lambda提升,顺序化以及Prolog中的Call技术,本文的研究征顺于高阶性的处理上。......
本文提出了一种新的基于CLOSURE分析的高阶函数式语言的部分求值方法,对表达式中的高阶值采取了有效的抽象分析手段,从而提高了剩余程序的质......