Übersetzung für 'type safety' von Englisch nach Deutsch

type safety [ability of a compiler to discourage or prevent type errors]

Typsicherheit {f}comp.

---

Safety of machinery - Safety-related parts of control systems [ISO 13849]

Sicherheit von Maschinen - Sicherheitsbezogene Teile von Steuerungen [ISO 13849]EUQMtech.

Werbung

delayed-type allergy (type IV)

Allergie {f} vom verzögerten Typ (Typ IV)med.

immediate-type allergy (type I)

Soforttyp-Allergie {f} (Typ I)med.

Frühtyp-Allergie {f} (Typ I)med.

safety intravenous cannula <safety I.V. cannula, safety IV cannula>

Sicherheitsinjektionskanüle {f}MedTech.

document type <doc. type>

Unterlagenart {f}tech.

Dokumententyp {m} <Dok.-Typ>

Caesarean text-type / text type

Cäsareanischer Texttyp {m}

Western text-type / text type

westlicher Texttyp {m}

Alexandrian text-type / text type

alexandrinischer Texttyp {m}bibl.relig.spec.

Byzantine text-type / text type

byzantinischer Texttyp {m}bibl.relig.spec.

safety

Gefahrlosigkeit {f}

Geborgenheit {f} [Sicherheit]

Sicherheit {f}

safety need

Sicherheitsbedürfnis {n}psych.

safety standard

Sicherheitsstandard {m}

safety cell

Sicherheitszelle {f}automot.tech.

safety unit

Sicherheitsgerät {n}tech.

safety enterprise

Sicherheitsunternehmen {n}econ.

thread safety

Threadsicherheit {f}comp.

• Parametric polymorphism is a way to make a language more expressive while still maintaining full static type-safety.
• In general, type-safety and memory-safety go hand in hand.
• The Composite design pattern emphasizes "uniformity" over "type safety".
• A tagged union (also called a variant, variant record, discriminated union, or disjoint union) contains an additional field indicating its current type for enhanced type safety.
• JIT compilation provides environment-specific optimization, runtime type safety, and assembly verification.

• In order to keep the type system simple and allow useful programs, a language may treat a type constructor as invariant even if it would be safe to consider it variant, or treat it as covariant even though that could violate type safety.
• The main purpose of generics is to ensure type safety and to detect runtime errors during compilation.
• Cω attempts to make datastores (such as databases and XML documents) accessible with the same ease and type safety as traditional types like strings and arrays.
• However, XML data binding systems allow applications to access XML data directly from objects representing a data structure of the data in the programming language used, which ensures type safety, rather than using the DOM or SAX to retrieve data from a direct representation of the XML itself.
• These advantages outweigh the disadvantages (such as a complete lack of type safety in many instances) and in most newer languages I/O is not part of the syntax.

• Using the dcopidl compiler has the additional benefit of type safety.
• Type information is useful not only for type safety but also for reasoning about Prolog programs.
• Many production languages provide means to bypass or subvert the type system, trading type safety for finer control over the program's execution (see casting).
• The SPARK version of the library has a complete auto-active proof of type-safety, memory-safety and some correctness properties, and retains constant-time algorithms throughout.