These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
单词 | programming languages |
例句 |
英语例句库
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。 声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
原声例句
背诵为王第二册(70课全) He quickly learned the programming language called BASIC. 他很快学会了叫做BASIC的编程语言。 2018年精彩毕业演讲合辑 Don't shy away from learning new programming languages, new tools, new libraries. 不要逃避学习新的程序设计语言,新的工具和新的函数库。 剑桥学霸读书分享 In particular, learning Python which is the world's most popular programming language. 特别是学习世界上最流行的编程语言 Python。 简单心理学 About half the participants were presented with Python, a popular text-based programming language. 大约一半的参与者使用了 Python,一种流行的基于文本的编程语言。 连线杂志 Developers can use ChatGPT to get code assistance for specific programming languages, libraries, or frameworks. 开发人员可以使用 ChatGPT 获得特定编程语言、库或框架的代码帮助。 乔布斯传 Next he created for the Apple II a version of Pascal, a high-level programming language. 接下来他又成功地将Pascal语言移植到 Apple II 上,这是一种髙级编程语言。 经济学人(汇总) Oracle argues that Google unlawfully reused parts of Java, a programming language, in its Android smartphones. 甲骨文方面认为,谷歌在其安卓智能手机中非法重用了编程语言Java的部分内容。 连线杂志 ChatGPT itself was programmed using a variety of programming languages including Python, TensorFlow, and PyTorch among others. ChatGPT 本身使用多种编程语言进行编程,包括 Python、TensorFlow 和 PyTorch 等。 科学60秒 听力 2016年4月合集 So Voigt and his colleagues created what he calls the first human-made " programming language" for living cells. 所以,沃伊特和同事们创造了人类首例的活细胞" 编程语言" 。 连线杂志 But in the very first week we use an even simpler programming language called Carol. 但在第一周,我们使用的是一种更简单的编程语言,称为 Carol。 Apple 最新资讯 Programming languages have some undefined behaviors, such as what to do with misaligned pointers or when encountering signed integer overflows. 编程语言有一些未定义行为,例如如何处理偏离的指针以及遇到带符号整数溢出时该怎么办。 连线杂志 Did you know the name Python, the name for this programming language, actually comes from Monty Python's Flying Circus? 你知道 Python 这个名字吗,这种编程语言的名字实际上来自 Monty Python 的飞行马戏团? 华尔街日报 But when it began, Adobe only offered one product: PostScript, a programming language designed to print documents on Laser Printers. 但当它刚开始成立时,Adobe 只提供一种产品:PostScript,一种旨在在激光打印机上打印文档的编程语言。 乔布斯传 Bitmapping and graphical interfaces became features of Xerox PARC's prototype computers, such as the Alto, and its object-oriented programming language, Smalltalk. 位图显示和图形界面成为了施乐 PARC 开发的电脑样机(比如“奥图”电脑)和面向对象的编程语言 Smalltalk 的特性。 大神带你过雅思口语 I would like to study Python programming language. - 我想学习 Python 编程语言。 简单心理学 The others used ScratchJr, a visual programming language designed for kids, which was expected to have less effect on the language system. 另一组使用的是专为儿童设计的视觉编程语言 ScratchJr,而它对语言系统的影响较小。 OpenAI开发者发布会 It can write code in all major programming languages. 它可以用所有主要的编程语言编写代码。 Veritasium真理元素 Nearly every programming language in existence is designed to be Turing-complete. 几乎每种现有的编程语言都被设计为图灵完备的。 stanger things It's a computer programming language. - Teach it to me. 是种电脑编程语言 -那你赶紧教我。 CS50 But C, like most programming languages, is going to take you literally. 但是C语言,像大多数编程语言一样,会把你从字面上理解。 |
随便看 |
英语例句辞典收录519880条英汉例句词条,基本涵盖了全部常用单词的造句方法及例句,是英语学习的有利工具。