What is the translation of " TYPE CHECKING " in Greek?

• έλεγχος τύπων
• έλεγχο τύπων

Examples of using Type checking in English and their translations into Greek

Static and dynamic type checking in practice.
Στατικός και δυναμικός έλεγχος τύπων στην πράξη.

This issue is addressed through improved type checking.
Αυτό το πρόβλημα αντιμετωπίζεται με βελτιωμένο έλεγχο τύπων.

Static and dynamic type checking in practice[edit].
Στατικός και δυναμικός έλεγχος τύπων στην πράξη[Επεξεργασία| επεξεργασία κώδικα].

This issue was addressed through improved type checking.
Αυτό το πρόβλημα αντιμετωπίζεται με βελτιωμένο έλεγχο τύπων.

Type checking is also performed by collecting type information.
Εδώ επίσης ελέγχονται οι τύποι συλλέγοντας πληροφορία τύπων.

This issue is addressed through improved type checking.
Αυτό το θέμα αντιμετωπίζεται με τη βελτίωση του ελέγχου τύπου.

Optimization- static type checking might provide useful information to a compiler.
Βελτιστοποίηση- Ο στατικός έλεγχος τύπων μπορεί να παρέχει χρήσιμες πληροφορίες στο χρόνο μεταγλώττισης.

More elaborate type systems(such as dependent types) allow for finer-grained program specifications to be verified by a type checker, but this comes at a price, as type inference and other properties generally become undecidable, and type checking itself is dependent on user-supplied proofs.
Πολυπλοκότερα συστήματα τύπων(όπως οι εξαρτώμενοι τύποι, dependent types) επιτρέπουν την επαλήθευση λεπτομερών προδιαγραφών προγραμμάτων από έναν ελεγκτή τύπων αλλά αυτό έχει το μειονέκτημα ότι η εξαγωγή τύπων και άλλες ιδιότητες γενικά γίνονται μη-υπολογίσιμες, ενώ ο έλεγχος τύπων εξαρτάται από αποδείξεις που δίνονται από το χρήστη.

Without static type checking, even tests with 100% coverage may be unable to find such type errors.
Χωρίς το στατικό έλεγχο τύπων, ακόμα και δοκιμές κάλυψης κώδικα(code coverage) με 100% κάλυψη, μπορεί να μη βρουν αυτά τα σφάλματα.

A programming language is said to be dynamically typed when the majority of its type checking is performed at run-time as opposed to at compile-time.
Μια γλώσσα προγραμματισμού λέγεται ότι έχει δυναμικούς τύπους όταν το μεγαλύτερο μέρος του ελέγχου τύπων της εκτελείται στο χρόνο εκτέλεσης αντί του χρόνου μεταγλώττισης.

(Type checking is decidable, however, and rank-1 programs still have type inference; higher rank polymorphic programs are rejected unless given explicit type annotations.)==Types of types== A''type of types'' is a.
(Ο έλεγχος τύπων όμως είναι υπολογίσιμος και τα προγράμματα rank-1 εξακολουθούν να έχουν εξαγωγή τύπων ενώ τα προγράμματα ανώτερου rank απορρίπτονται αν δε δοθούν ρητές σημειώσεις τύπων.)..

An important part of semantic analysis is type checking, where the compiler checks that each operator has matching operands.
Ένα σημαντικό μέρος της σημασιολογικής ανάλυσης είναι ο έλεγχος τύπων, όπου ο μεταγλωττιστής ελέγχει ότι κάθε τελεστής έχει ταιριαστούς τελεστέους.

A programming language is said to use static typing when type checking is performed during compile-time as opposed to run-time.
Μια γλώσσα προγραμματισμού λέγεται ότι χρησιμοποιεί στατικούς τύπους όταν ο έλεγχος τύπων γίνεται κατά τη διάρκεια του χρόνου μεταγλώττισης αντί του χρόνου εκτέλεσης.

The most obvious application of type theory is in constructing type checking algorithms in the semantic analysis phase of compilers for programming languages.
Η πιο προφανής εφαρμογή της Θεωρίας Τύπων είναι στην κατασκευή αλγορίθμων ελέγχου τύπων στην φάση της σημασιολογικής ανάλυσης των μεταγλωττιστών των γλωσσών προγραμματισμού.

The process of verifying and enforcing the constraints of types- type checking- may occur either at compile-time(a static check) or run-time(a dynamic check)..
Η επαλήθευση και η εφαρμογή των περιορισμών των τύπων- έλεγχος τύπων(type checking)- μπορεί να συμβεί είτε στο χρόνο μεταγλώττισης(στατικός έλεγχος), είτε στο χρόνο εκτέλεσης(δυναμικός έλεγχος).

Joe Wells(1994) settled an"embarrassing open problem" by proving that type checking is undecidable for a Curry-style variant of System F, that is, one that lacks explicit typing annotations.
Για μια Curry-style(χωρίς ρητή επισημείωση τύπων) παραλλαγή του Συστήματος F ο Joe Wells(1994) περιέγραψε ένα"ντροπιαστικό ανοιχτό πρόβλημα" αποδεικνύοντας ότι ο έλεγχος τύπων είναι μη αποφάνσιμος.

The language, and implementations thereof, should provide support for software engineering principles such as strong type checking, array bounds checking, detection of attempts to use uninitialized variables, and automatic garbage collection.
Η γλώσσα και οι εφαρμογές της, πρέπει να παρέχουν υποστήριξη για αρχές μηχανικής λογισμικού όπως ισχυρός έλεγχος τύπων, έλεγχος ορίων συστοιχιών, ανίχνευση προσπαθειών για χρήση μη αρχικών μεταβλητών και αυτόματη συλλογή απορριμμάτων.

The language and its implementations should provide support for software engineering principles consisting of functions such as active type checking; array bound checking, detection of attempts to the usage of uninitialized variables and automatic garbage collection.
Η γλώσσα και οι εφαρμογές της, πρέπει να παρέχουν υποστήριξη για αρχές μηχανικής λογισμικού όπως ισχυρός έλεγχος τύπων, έλεγχος ορίων συστοιχιών, ανίχνευση προσπαθειών για χρήση μη αρχικών μεταβλητών και αυτόματη συλλογή απορριμμάτων.

AD Type check valve with machined surface sealed.
Βαλβίδα αντεπιστροφής τύπων ΑΓΓΕΛΙΩΝ με την επεξεργασμένη στη μηχανή επιφάνεια που σφραγίζεται.

Industrial hydraulic S type check valve NPTF 315Bar 600L/min NG6-10 G thread/SAE C. S/SS.
Βιομηχανική υδραυλική βαλβίδα NPTF 315Bar 600L/min ng6-10 Γ thread/SAE C. S/SS αντεπιστροφής τύπων του S.

Program execution may also be made more efficient(i.e. faster or taking reduced memory) by omitting runtime type checks and enabling other optimizations.
Η εκτέλεση του προγράμματος μπορεί επίσης να γίνει πιο αποδοτική(σε ταχύτητα ή σε κατανάλωση μνήμης) όταν λείπει ο έλεγχος τύπων στο χρόνο εκτέλεσης και υπάρχουν βελτιστοποιήσεις.

Static type checkers evaluate only the type information that can be determined at compile time, but are able to verify that the checked conditions hold for all possible executions of the program, which eliminates the need to repeat type checks every time the program is executed.
Οι στατικοί ελεγκτές τύπων εκτιμούν μόνο την πληροφορία που μπορούν να προσδιορίσουν στο χρόνο μεταγλώττισης αλλά μπορούν να επαληθεύσουν ότι οι συνθήκες που ελέγχονται ισχύουν για όλες τις πιθανές εκτελέσεις του προγράμματος, με αποτέλεσμα να μη χρειάζεται να επαναλαμβάνεται ο έλεγχος τύπων κάθε φορά που εκτελείται το πρόγραμμα.

Because static type checkers evaluate the type information that can be determined at compile time and verify that the checked conditions hold for all possible executions of the program, there is no need to repeat static type checks every time the program is executed.
Οι στατικοί ελεγκτές τύπων εκτιμούν μόνο την πληροφορία που μπορούν να προσδιορίσουν στο χρόνο μεταγλώττισης αλλά μπορούν να επαληθεύσουν ότι οι συνθήκες που ελέγχονται ισχύουν για όλες τις πιθανές εκτελέσεις του προγράμματος, με αποτέλεσμα να μη χρειάζεται να επαναλαμβάνεται ο έλεγχος τύπων κάθε φορά που εκτελείται το πρόγραμμα.

Make sure the Replace text as you type check box is selected.
Βεβαιωθείτε ότι είναι επιλεγμένο το πλαίσιο ελέγχου Αντικατάσταση κειμένου κατά την πληκτρολόγηση.

Select the Automatically correct spelling and formatting as you type check box.
Επιλέξτε το πλαίσιο ελέγχου Αυτόματη διόρθωση ορθογραφίας και μορφοποίησης κατά την πληκτρολόγηση.

To move to the Enable click and type check box, press C.
Για να μεταβείτε στο πλαίσιο ελέγχου Δυνατότητα κλικ και πληκτρολόγησης, πατήστε το πλήκτρο Γ.

Click to clear the Hide extensions for known file types check box.
Κάντε κλικ για να καταργήσετε την επιλογή του πλαισίου ελέγχου Απόκρυψη επεκτάσεων για γνωστούς τύπους αρχείων.

Click the Manual setup or additional server types check box, and then click Next.
Κάντε κλικ στο πλαίσιο ελέγχου μη αυτόματη διαμόρφωση ρυθμίσεων διακομιστή ή πρόσθετων τύπων διακομιστή και, στη συνέχεια, κάντε κλικ στο κουμπί Επόμενο.