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

图标索引 历史查询
 

参数化类型
相关语句
  parametric type
     PARAMETRIC TYPE DYNAMIC TYPE CHECKING
     参数化类型及动态类型检查
短句来源
  相似匹配句对
     PARAMETRIC TYPE DYNAMIC TYPE CHECKING
     参数化类型及动态类型检查
短句来源
     Types of Artificial Satellites
     人造卫星的类型
短句来源
     TYPE OBJECTS
     类型对象
短句来源
     Parameterized Drawing of Shafts
     轴的参数化绘图
短句来源
     The importance of IP parameterized design is pointed out and the parameter type and correlation are analyzed in this paper.
     指出了IP核参数化设计的重要性,分析了IP核的参数类型及相互关系。
短句来源
查询“参数化类型”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  parameterized type
An element of a parameterized type is called a container.
      
It is helpful, because the parameterized type List does indeed have methods that look just like this expansion.
      
This declaration states that List is a parameterized type, taking on the type parameter a.
      
  parametric type
Seven parametric type-D solutions of einstein-maxwell equations in the basic left-degenerate representation
      
The left-degenerate solution of the Einstein complex vacuum equations in terms of one key function, later generalized to the case of the Einstein-Maxwell equations with λ, is examined in the specific case of the 7 parametric type-D solutions.
      
The mechanism is based on the development of parametric type instability in the relativistic electron-positron plasma of the pulsar magnetosphere.
      
This triggers the development of parametric type instability in the relativistic plasma of the pulsar magnetosphere.
      
It is shown that in the case of non-linear systems and non-linear control forces by means of the Taylor expansion the original system excited by external white noise is transformed into another one under parametric type excitation.
      
更多          


The data type is an important concept in the programming languages design.Based on the argument of MiIner’s polymorphic type system,this paper presentsa parametric type system which treats types as first-class objects,and providesdynamic type checking for this system.

数据类型是程序设计语言设计中的一个重要概念。该文通过对Milner多态类型系统的扩展,提出了一个允许将类型作为一阶对象处理的参数化类型系统,并给出了相应的动态类型检查规则。

 
图标索引 相关查询

 


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

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