机译:Pilsner:一种经过结构验证的高级命令式语言编译器
机译:正式验证同步数据流程序向认证编译器的转换
机译:扩展正式的安全协议规范语言以用于新的验证技术
机译:一种证明式方法,用于命令式编程语言编译器的形式验证
机译:编译命令式语言以使用现代的可编程图形硬件。
机译:Bellman的GAP-一种用于序列分析中动态编程的语言和编译器
机译:pilsner:{a}针对高阶命令语言的经过组合验证的编译器
机译:兔子:计划编制者(LIsp方言)。基于控制和环境结构宏观定义技术的LamBDa作为重命名和程序调用GOTO的编译优化研究。源到源转换过程集成和尾递归。