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

图标索引 历史查询
 

type inference
相关语句
  类型推导
     This paper givesthe important data structures of implementing polymorphic the uqies analyzes the type inference ofSML functional language compiler and reveals the essence and implementation techniques relatedto polymorphic types.
     本文给出实现多态类型的重要数据结构,通过剖析SML函数式程序设计语言编译程序中的类型推导过程,揭示了多态类型的基本特征及其实现技术。
短句来源
     This paper introduces a Smalltalk program understanding support system, BDCOM ST. On the basis of program analysis, the system uses type inference to solve the problem of understanding dynamic behavior.
     对此 ,作者介绍了一个 Smalltalk程序辅助理解系统 BDCom- ST,它在分析 Smalltalk程序的基础上 ,利用类型推导技术来解决动态行为的理解问题 .
短句来源
  类型推理
     This paper describes the meta interpretation of the typed object oriented logic language LKO, with emphasis on the inheritance algorithms for object state, constraint and method, and the unification algorithms for clause interpretation,type inference and type checking.
     本文介绍类型化面向对象逻辑语言LKO的元级解释技术,主要包括对象约束、状态、方法的继承算法,以及子句解释、类型推理和检查的多种合一算法.
短句来源
     The ordered type system based on type declaration and type inference is presented for the object oriented logic language LKO. The types in predicate declarations are built by ordered constructors, which results in natural subtyping relationship. The types of variables in clauses are inferred by the system.
     文中主要介绍面向对象逻辑语言LKO中基于声明和推理的有序类型系统.在谓词声明中,类型由有序的构子构造而成.子句中变量类型由类型推理决定.对象类型由方法声明决定,独立于继承,便于代码复用.它可作为基类型参与项类型构造.
短句来源
     After a brief introduction and analysis of the concepts and architecture of Java Virtual Machine(JVM),the implement idea and operational principle of the type inference mechanism is described,as well as the process of capturing Java thread state with this mechanism.
     通过分析JVM的概念及体系结构,提出了一种用来获取类型信息的类型推理机制。
短句来源
  相似匹配句对
     Type of Y.
     针对 Y.
短句来源
     Antomatic Inference Based Tree-type Method
     基于一种树型方法的自动推理
短句来源
     What is the major type of inference in such Logic?
     如此逻辑思路的主导推理类型是什么?
短句来源
     illiensis type and T.
     iliensis type、T.
短句来源
     On Inference in Reading
     微析英语阅读推理
短句来源
查询“type inference”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  type inference
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism.
      
We give a simple type system for it, that encompasses both Curry's type inference for the λ-calculus, and Milner's sorting for the π-calculus as particular cases of typing.
      
We then develop an algorithm that translates ML into the polymorphic unboxed calculus by using type information obtained through type inference.
      
Unlike the intersection-type inference systems, the conjunction-type inference system is:1.decidable2.semantically sound for all types3.semantically sound and complete for basic types.
      
The paper presents a new type inference system using conjunction-types which extends the notion of intersection-types.
      
更多          


s: One of the important characteristics of functional languages is polymorphic typestwhich are very powerful and are one of the important mechanisms used to implement polymorphism in object-oriented programming languages. However, the implementation of polymorphictypes is quite different from that of the basic types and other compound types. This paper givesthe important data structures of implementing polymorphic the uqies analyzes the type inference ofSML functional language compiler and reveals the...

s: One of the important characteristics of functional languages is polymorphic typestwhich are very powerful and are one of the important mechanisms used to implement polymorphism in object-oriented programming languages. However, the implementation of polymorphictypes is quite different from that of the basic types and other compound types. This paper givesthe important data structures of implementing polymorphic the uqies analyzes the type inference ofSML functional language compiler and reveals the essence and implementation techniques relatedto polymorphic types.

函数式程序设计语言的重要特点之一是多态类型(Polymorphictypes)。它有很强的功能,是所有面向对象的程序设计语言实现多态性的重要机制之一。它的实现与基本数据类型和其它复合类型大不相同。本文给出实现多态类型的重要数据结构,通过剖析SML函数式程序设计语言编译程序中的类型推导过程,揭示了多态类型的基本特征及其实现技术。

This paper describes the meta interpretation of the typed object oriented logic language LKO, with emphasis on the inheritance algorithms for object state, constraint and method, and the unification algorithms for clause interpretation,type inference and type checking.

本文介绍类型化面向对象逻辑语言LKO的元级解释技术,主要包括对象约束、状态、方法的继承算法,以及子句解释、类型推理和检查的多种合一算法.

The ordered type system based on type declaration and type inference is presented for the object oriented logic language LKO. The types in predicate declarations are built by ordered constructors, which results in natural subtyping relationship. The types of variables in clauses are inferred by the system. Objects are classified in terms of method declarations, so inheritance is independent of subtyping. As base types, classes may be applied in complex type construction.

文中主要介绍面向对象逻辑语言LKO中基于声明和推理的有序类型系统.在谓词声明中,类型由有序的构子构造而成.子句中变量类型由类型推理决定.对象类型由方法声明决定,独立于继承,便于代码复用.它可作为基类型参与项类型构造.

 
<< 更多相关文摘    
图标索引 相关查询

 


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

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