助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   program invariants 的翻译结果: 查询用时:0.169秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

program invariants
相关语句
  程序不变量
     Dynamically Discovering Likely Program Invariants Based on the Contract
     基于合约的似然程序不变量动态发现
短句来源
     This paper mainly discusses the connotation of the likely program invariants which base on the program contract and the meaning of discovering program invariants by the technology of dynamically making program assertion.
     本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义。
短句来源
     In order to discourse the tech- nology of the dynamically making the program assertion, this paper introduces the base theory model of the discovering likely program invariants based on the contract and the comparison between the entity model of Daikon which is a tool of dynamically discovering the invariants of program and the theory model.
     在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断言动态生成技术。
短句来源
  相似匹配句对
     Program
     会议程序
     Dynamically Discovering Likely Program Invariants Based on the Contract
     基于合约的似然程序不变量动态发现
短句来源
     Program Justice
     程序正义论
短句来源
     Invariants of Coordinate Transformation
     坐标变换的不变量(英文)
短句来源
     CONFORMAL INVARIANTS OF SUBMANIFOLDS
     子流形的共形不变量
短句来源
查询“program invariants”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  program invariants
We give a characterization of program invariants as fixedpoints of functionals which may be obtained in a natural manner from the text of a program.
      
A method using quantifier-elimination is proposed for automatically generating program invariants/inductive assertions.
      
The paper studies the generating capacity of algorithms that generate program invariants by upper and lower approximation methods.
      
The experimental context of the research is dynamic detection of likely program invariants, but the ideas are applicable to other domains.
      
This research demonstrates the feasibility and effectiveness of discovering program invariants based on execution traces.
      
更多          


This paper mainly discusses the connotation of the likely program invariants which base on the program contract and the meaning of discovering program invariants by the technology of dynamically making program assertion. In order to discourse the tech- nology of the dynamically making the program assertion, this paper introduces the base theory model of the discovering likely program invariants based on the contract and the comparison between the entity model of Daikon which...

This paper mainly discusses the connotation of the likely program invariants which base on the program contract and the meaning of discovering program invariants by the technology of dynamically making program assertion. In order to discourse the tech- nology of the dynamically making the program assertion, this paper introduces the base theory model of the discovering likely program invariants based on the contract and the comparison between the entity model of Daikon which is a tool of dynamically discovering the invariants of program and the theory model. Using the accurate program assertion, the programmer can analyze the associate- at- tributes among the variants of program and achieve the detecting of the invariants. So designing the standard program frames and pro- gram codes of high quality can benefit from the program assertion.

本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断言动态生成技术。通过精确的程序断言动态生成,可以分析程序各变量之间的关联属性,以完成不变量的检测。从而有助于设计高质量的程序架构以及规范化的程序代码.

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关program invariants的内容
在知识搜索中查有关program invariants的内容
在数字搜索中查有关program invariants的内容
在概念知识元中查有关program invariants的内容
在学术趋势中查有关program invariants的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社