multi-staged languages; static analysis; unstagingtranslation; semantics preservation; abstract interpretation; projection;
机译:通过分阶段转换对多阶段程序进行静态分析
机译:直立的静态骨盆姿势,从三个二维数字图像中以三维形式旋转和平移:计算机分析的验证。
机译:用于命令式编程语言静态分析的符号分析框架
机译:通过分段翻译对多阶段程序进行静态分析
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:通过交互式静态分析支持Web应用程序中的安全编程
机译:通过非分级翻译对多阶段程序进行静态分析
机译:一般外部机械和热负荷下经向弯曲,变厚度,分支薄壳旋转的线弹性静力分析的改进离散元分析与程序。第2部分.sabor 4计划