New York University.;
机译:验证的用于解译低级自我修改代码的抽象解释技术
机译:基于FEM地板振动分析和BEM声场分析的地板冲击声仿真技术的验证与应用研究
机译:工具辅助的规范和验证的低级语言
机译:验证的用于解译低级自我修改代码的抽象解释技术
机译:用于优化代码的源代码级调试技术和工具。
机译:选定的低级生物信息学操作加速技术的比较
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:脉冲探测与接近间隔的接收器作为测量电离层中大气运动和精细结构的工具。七。用于跨功率谱的不同技术的数据处理。