English » German

Translations for „type safety“ in the English » German Dictionary (Go to German » English)

type safety N

User Entry

- Reedit this entry
- Recommend deletion

type safety COMPUT

Typsicherheit f

Monolingual examples (not verified by PONS Editors)

English

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

Would you like to add some words, phrases or translations?

Submit a new entry.

Browse the dictionary

English

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