1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 报告/分析
  5. 技术指导

基于抽象解释Prolog程序验证技术的研究.pdfVIP

  • 2
  • 0
  • 约9.02万字
  • 约 8页
  • 2017-08-31 发布于安徽
  • 举报

基于抽象解释Prolog程序验证技术的研究.pdf

    计算机科学2008Vol35 7 Prolog * ) 1, 2 2 2 2 1 2 (西安电子科技大学电子工程学院 西安710071) ( 桂林电子科技大学计算机与控制学院 桂林541004) 作为一种通用的语义近似理论, 抽象解释已广泛应用于各类程序的形式化验证 。现有基于抽象解释的逻 辑程序验证技术未涉及与程序点相

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >