机译:编译器优化符合编译器验证(COCV 2002)J.UCS特刊
机译:ISO标准Lisp ISLISP的解释器和编译器
机译:ISO标准Lisp ISLISP的解释器和编译器
机译:用于LISP编译器的机械验证编译规范
机译:用于转换验证,能效和缓存建模的编译器技术
机译:区域一级的综合初级保健劳动力规划工具包(第2部分):为加拿大多伦多的决策者编制的定量工具
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:编译器规范与验证理论