These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这包括编程语言和数据类的公理化,形式验证,形式分析。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Don't shy away from learning new programming languages, new tools, new libraries.
不要逃避学习程序设计语言,具和函数库。
He quickly learned the programming language called BASIC.
他很快学会了叫做BASIC编程语言。
In particular, learning Python which is the world's most popular 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 上,这是一种髙级编程语言。
About half the participants were presented with Python, a popular text-based programming language.
大约一参与者使用了 Python,一种流行基于文本编程语言。
Oracle argues that Google unlawfully reused parts of Java, a programming language, in its Android smartphones.
甲骨文方面认为,谷歌在其安卓智能手机中非法重用了编程语言Java部分内容。
But in the very first week we use an even simpler programming language called Carol.
但在第一周,我们使用是一种更简单编程语言,称为 Carol。
ChatGPT itself was programmed using a variety of programming languages including Python, TensorFlow, and PyTorch among others.
ChatGPT 本身使用多种编程语言进行编程,包括 Python、TensorFlow 和 PyTorch 等。
So Voigt and his colleagues created what he calls the first human-made " programming language" for living cells.
所以,和同事们创造了人类首例活细胞" 编程语言" 。
Did you know the name Python, the name for this programming language, actually comes from Monty Python's Flying Circus?
你知道 Python 这个名字吗,这种编程语言名字实际上来自 Monty Python 飞行马戏团?
Programming languages have some undefined behaviors, such as what to do with misaligned pointers or when encountering signed integer overflows.
编程语言有一些未定义行为,例如如何处理偏离指针以及遇到带符号整数溢出时该怎么办。
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 性。
INTRO Just like spoken languages, programming languages have statements.
简介 就像口语一样,编程语言也有语句。
Many modern programming languages implement bounds checking automatically.
许多现代编程语言会自动实现边界检查。
Modern programming languages come with huge bundles of pre-written functions, called Libraries.
现代编程语言自带大量预编写函数,称为库。
Nearly every programming language in existence is designed to be Turing-complete.
几乎每种现有编程语言都被设计为图灵完备。
Because it's a very beginner friendly programming language.
因为它是一款非常适合初学者编程语言。
Coders had a new automated tool that could debug code across dozens of programming languages.
程序员获得了一种自动化具,可以跨数十种编程语言进行代码调试。
关注我们的微信
下载手机客户端
划词翻译
详细解释