英语 » 德语

词条„type safety“在英语 » 德语中的译文 (跳至德语 » 英语)

type safety 名词

用户条目

- 编辑条目
- 建议删除

type safety 计算机

Typsicherheit f

单语范例（未经PONS编辑处理）

英语

Static type-checking can be thought of as a limited form of program verification (see type safety). en.wikipedia.org

He created a striker type ejection system and integrated a toggle-type safety/selector. en.wikipedia.org

The formal type-theoretic definition of type safety is considerably stronger than what is understood by most programmers. en.wikipedia.org

Type safety is closely linked to "memory safety", a restriction on the ability to copy arbitrary bit patterns from one memory location to another. en.wikipedia.org

Specifically, such a type checker can be used to prove the type safety of code that meets the criteria of some appropriate type system. en.wikipedia.org

This allows the garbage collector to relocate referenced objects and ensures type safety and security. en.wikipedia.org

Due to its strong type safety algorithms developed that way are more stable and robust at run time. en.wikipedia.org

Some languages allow programmers to choose between static and dynamic type safety. en.wikipedia.org

It does not require a virtual machine or garbage collection to achieve type safety during runtime. en.wikipedia.org

They allow a type or method to operate on objects of various types while providing compile-time type safety. en.wikipedia.org

是否要添加一些单词、短语或翻译？

请发送新条目。

浏览词典

英语

语言 Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文