【类型系统】英语怎么说_在线翻译

type system - 引用次数：46
In this thesis,Xdπ-based formal model of web data was established,which includes a type system. In the model,types, expressions for type deciding and type formulas were defined.

本文基于Xdπ建立起具有类型系统的Web数据形式化模型,定义了模型中各类数据的类型、类型判定式和类型规则集,并证明了该模型具有归约一致性。

参考来源 - 基于进程代数的Web服务数据和组合的形式化方法研究

typing system - 引用次数：3
XQuery is strongly typed descriptive language, its typing system will be one of the focus we make. We will give the most important two relationships’ algorithms : subtype and inDOM.

由于XQuery是一种描述型的强类型语言，本文还将详细的说明XQuery处理引擎的类型系统，并且给出类型系统的两个重要关系：子类型和值-域关系的判断算法。

参考来源 - XML查询语言XQuery的编译实现
type system - 引用次数：1
参考来源 - 基于Agent的移动计算及其安全性研究

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句 原声例句

类型系统包含注释类型及其特征。

The type system contains information about annotation types and their features.

youdao
图3显示了完整的类型系统。

Figure 3 shows the complete type system.

youdao
然而，所述方法仅使用基本类型系统。

However, the methods described use only the basic type system.

youdao

更多双语例句

Because it's working to defend us against many different kinds of potential assaults, the immune system has a diverse repertoire of responses that it uses in the face of these assaults.

免疫系统的工作就是抵御,不同种类的潜在威胁,免疫系统具备类型众多的免疫反应类型,以应对各种威胁



耶鲁公开课 - 生物医学工程探索课程节选
We did it for silly purposes just to see how big each data type was, but on most systems the size of a char is what?

只是为了很傻的目的,来看看每个数据类型多大，但是在大多数的系统中char的大小是多少呢？

哈佛公开课 - 计算机科学课程节选

百科

类型系统

类型系统是在计算机科学中，类型系统用于定义如何将编程语言中的数值和表达式归类为许多不同的类型，如何操作这些类型，这些类型如何互相作用。类型可以确认一个值或者一组值具有特定的意义和目的（虽然某些类型，如抽象类型和函数类型，在程序运行中，可能不表示为值）。类型系统在各种语言之间有非常大的不同，也许，最主要的差异存在于编译时期的语法，以及运行时期的操作实现方式。

详细内容

以上来源于：百度百科

应用推荐

$firstVoiceSent

- 来自原声例句

小调查

请问您想要如何调整此模块？

模块上移

模块下移

不移动

感谢您的反馈，我们会尽快进行适当修改！

进来说说原因吧确定

小调查