Typsicherheit ist ein Begriff aus der Informatik, speziell aus dem Bereich Programmiersprachen. Er bezeichnet den Zustand (einer Programmausführung),...

Ein Aufzählungstyp (englisch enumerated type) ist ein Datentyp für Variablen mit einer endlichen Wertemenge. Alle zulässigen Werte des Aufzählungstyps...

mehreren Bits dar. In einigen Programmiersprachen gibt es zur Wahrung der Typsicherheit einen eigenen Datentyp und eigene Operatoren (zum Beispiel für die Vereinigungsmenge...

keine Garbage Collection, sondern ein besonderes Typsystem. Dessen Typsicherheit wurde formal bewiesen. Rust vereint Ansätze aus verschiedenen Programmierparadigmen...

Typprüfung steht für: Typprüfung (Produktsicherheit), im Gegensatz zur Stückprüfung die Kontrolle von Datentypen, siehe Typsicherheit...

Rückgabeparameter kovariant sein muss: Im Folgenden wird verdeutlicht, wann die Typsicherheit gewährleistet bleibt, wenn man eine Funktion durch eine andere ersetzen...

ODBC-, dbExpress und JDBC-Treiber zur Verfügung. SQLite erzwingt keine Typsicherheit: Fehlerhafte Eingaben werden in der Regel akzeptiert und in Zeichenketten...

beschränkten parametrischen Polymorphismus. Letzterer behebt die Probleme der Typsicherheit, die innerhalb von Typdefinitionen dadurch entstehen, dass beim Erstellen...

der typischerweise bei technologisch veralteter Software mit geringer Typsicherheit ausgenutzt werden kann. Der Anbieter der Bezahldienstleistungen Verifone...

Zeichenkette wird zu 0 umgewandelt // x ist jetzt 2 Datentyp Programmanalyse Typsicherheit Luca Cardelli: Type Systems. In: Allen B. Tucker (Hrsg.): The Computer...

an inhärenter Sicherheit bieten, wie zum Beispiel Modulsicherheit, Typsicherheit oder die Vermeidung von Pufferüberläufen. Auch bei Geräten, die nicht...