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...

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

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

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...

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

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

Programmiersprachen Newsqueak, Alef und Limbo. Go bietet Closures und Reflexion sowie Typsicherheit und eine automatische Speicherbereinigung. Objektorientierung unterstützt...

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