These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
单词 | Data types |
释义 |
Data types
英语例句库
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。 When this level of detail is needed, each component of the HL7 data type can be encoded as a separate subcomponent. 可理解为当该层次的详细情况被需要的时候,HL7的每一个组分都可以被代码为单独的子组分。
原声例句
CS50 So recall that C supports different data types. 回想一下,C支持不同的数据类型。 CS50 Then there were all of these other data types. 还有其他所有的数据类型。 Introduction to Unity DOTS The chunk shows you the data types. 该块显示了数据类型。 Introduction to Unity DOTS And inside of here, we just pass in a bunch of data types. 在这里,我们只是传入一堆数据类型。 Introduction to Unity DOTS We define an archetype of data types. 我们定义数据类型的原型。 CS50 C does not technically have a data type called string. 从技术上讲,C没有称为string的数据类型。 CS50 You can instead implicitly cast one data type to another just from context here. 您可以只从这里的上下文隐式地将一种数据类型转换为另一种数据类型。 Introduction to Unity DOTS Essentially value types like bytes, ints, floating points, simpler data types. 本质上是值类型,如字节、整数、浮点、更简单的数据类型。 牛津大学:雅思外教课 Sometimes, questions include a combination of different data types, so you might have a line graph and a table, or two different maps, for example. 有时,问题包括不同数据类型的组合,所以你可能会看到如线状图和表格,或两种不同的地图。 Introduction to Unity DOTS The data types aren't in any particular order. 数据类型没有任何特定的顺序。 Introduction to Unity DOTS So, this chunk of data has two different data types, the world time and world time queue. 因此,该数据块有两种不同的数据类型:世界时间和世界时间队列。 CS50 So we'll see and use some of these data types in just a bit. 所以我们将在稍后看到并使用其中的一些数据类型。 CS50 Well, I recall earlier noting that there's other data types. 嗯,我记得前面提到过还有其他数据类型。 CS50 And this is because C is very specific when it comes to its data types. 这是因为C在数据类型方面非常特殊。
中文百科
数据类型 Data type(重定向自Data types)
在编程的型别系统中,数据类型(Data type)是用来约束数据的解释。在编程语言中,常见的数据类型包括原始类型(如:整数、浮点数或字符)、多元组、记录单元、代数数据型别、抽象数据类型、参考型别、类以及函式型别。数据型别描述了数值的表示法、解释和结构,并以算法操作,或是对象在内存中的保存区,或者其它保存设备。
英语百科
Data type 资料类型(重定向自Data types)
In computer science and computer programming, a data type or simply type is a classification identifying one of various types of data, such as real, integer or Boolean, that determines the possible values for that type; the operations that can be done on values of that type; the meaning of the data; and the way values of that type can be stored. |
随便看 |
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。