机译:编译器优化符合编译器验证(COCV 2002)J.UCS特刊
机译:ISO标准Lisp ISLISP的解释器和编译器
机译:ISO标准Lisp ISLISP的解释器和编译器
机译:用于LISP编译器的机械验证编译规范
机译:用于转换验证,能效和缓存建模的编译器技术
机译:区域一级的综合初级保健劳动力规划工具包(第2部分):为加拿大多伦多的决策者编制的定量工具
机译:Lisp编译器的经过机械验证的编译规范
机译:兔子:计划编制者(LIsp方言)。基于控制和环境结构宏观定义技术的LamBDa作为重命名和程序调用GOTO的编译优化研究。源到源转换过程集成和尾递归。