Typsicherheit ist ein Begriff aus der Informatik, speziell aus dem Bereich Programmiersprachen. Er bezeichnet den Zustand (einer Programmausführung),...
7 KB (694 words) - 15:30, 6 January 2022
Aufzählungstyp (section Typsicherheit)
Ein Aufzählungstyp (englisch enumerated type) ist ein Datentyp für Variablen mit einer endlichen Wertemenge. Alle zulässigen Werte des Aufzählungstyps...
5 KB (568 words) - 03:03, 7 August 2022
keine Garbage Collection, sondern ein besonderes Typsystem. Dessen Typsicherheit wurde formal bewiesen. Rust vereint Ansätze aus verschiedenen Programmierparadigmen...
40 KB (4,050 words) - 13:47, 10 August 2024
mehreren Bits dar. In einigen Programmiersprachen gibt es zur Wahrung der Typsicherheit einen eigenen Datentyp und eigene Operatoren (zum Beispiel für die Vereinigungsmenge...
26 KB (2,522 words) - 10:05, 23 January 2024
Rückgabeparameter kovariant sein muss: Im Folgenden wird verdeutlicht, wann die Typsicherheit gewährleistet bleibt, wenn man eine Funktion durch eine andere ersetzen...
21 KB (1,242 words) - 16:19, 9 June 2024
ODBC-, dbExpress und JDBC-Treiber zur Verfügung. SQLite erzwingt keine Typsicherheit: Fehlerhafte Eingaben werden in der Regel akzeptiert und in Zeichenketten...
10 KB (928 words) - 06:30, 19 March 2024
beschränkten parametrischen Polymorphismus. Letzterer behebt die Probleme der Typsicherheit, die innerhalb von Typdefinitionen dadurch entstehen, dass beim Erstellen...
15 KB (1,612 words) - 22:05, 24 July 2024
Typprüfung steht für: Typprüfung (Produktsicherheit), im Gegensatz zur Stückprüfung die Kontrolle von Datentypen, siehe Typsicherheit...
178 bytes (15 words) - 06:33, 29 April 2022
der typischerweise bei technologisch veralteter Software mit geringer Typsicherheit ausgenutzt werden kann. Der Anbieter der Bezahldienstleistungen Verifone...
31 KB (3,367 words) - 11:57, 10 August 2024
Programmiersprachen Newsqueak, Alef und Limbo. Go bietet Closures und Reflexion sowie Typsicherheit und eine automatische Speicherbereinigung. Objektorientierung unterstützt...
27 KB (2,841 words) - 09:58, 17 June 2024
Zeichenkette wird zu 0 umgewandelt // x ist jetzt 2 Datentyp Programmanalyse Typsicherheit Luca Cardelli: Type Systems. In: Allen B. Tucker (Hrsg.): The Computer...
11 KB (1,255 words) - 13:03, 28 April 2023