Examples with "type-checked" and their translation in Duits
Both object-based and object-oriented languages (whether class-based or prototype-based) may be statically type-checked.
Sowohl objektbasierte als auch objektorientierte Sprachen (egal ob klassenbasiert oder prototypenbasiert) können statisch typisiert sein.
A variant is type-checked and computed at run time.
All formal material of the thesis is given in type-checked Z, which makes this work also a case study on the usage of Z for problems of meta modeling. URI
Die formalen Anteile dieser Arbeit sind vollständig in syntax- und typgeprüften Z gegeben, so dass die Arbeit auch eine Fallstudie der Anwendbarkeit von Z für anspruchsvolle Probleme der Metamodellierung darstellt.
Among dynamically typed languages, Python is moderately type-checked.
Both object-based and object-oriented languages (whether class-based or prototype-based) may be statically type-checked.
Sowohl objektbasierte als auch objektorientierte Sprachen (egal ob klassenbasiert oder prototypenbasiert) können statisch typisiert sein.
Andere resultaten
Finished checking the schema. types checked, failed.
Therefore, we develop an alternative approach, which allows at least for a large class of transformations that they can be type checked in polynomial time.
Darum entwickeln wir einen alternativen Ansatz, der zumindest für eine große Klasse praktischer Transfromationen Typüberprüfung in polynomieller Zeit erlaubt.
The variable being type checked.
var The variable being type checked.
File type Checked by McAfee.
If the validation check succeeds, the type appears as checked in.
Wenn die Validierung erfolgreich ist, wird der Typ als eingecheckt angezeigt.
If the validation check fails, the type remains checked out.
Each file type can be checked to associate it with a particular application.