Dictionnaire français - anglais

informatique et traitement des données - iate.europa.eu
Un module de typage strict peut employer un typage strict du composant pour définir au moins un type d'événement pour le composant ou un type d'entrée pour le composant ou un type d'événement de sortie pour le composant.

A strong typing module can employ strong typing of the component to define at least one of an event type for the component, an input event type for the component, or an output event type for the component.

informatique et traitement des données - wipo.int
Le contrôle de la réécriture : étude et implantation d'un formalisme de stratégies... Les principales caractéristiques du langage de stratégies propose sont : la sémantique basée sur la logique de réécriture, la possibilité d'exprimer les dérivations non-déterministes et concurrentes, le typage strict de toutes les constructions du langage dans le contexte multi-sorte et son extensibilité par de nouvelles constructions....
Abstract integrating reflection, strong typing and static checking... This integration is accomplished in a manner that preserves strong typing and does not unduly limit the amount of static type checking that can be performed....
général - core.ac.uk -général - core.ac.uk - PDF: citeseerx.ist.psu.edu
An object-oriented data model for engineering design databases... On the contrary, models that are based on the prototype concept allow dynamic object evolution but they do not have the abilities for object classification and strong typing supported by models that have classes....
A web navigator with applets in caml... The experiment shows the major contributions of strong typing and powerful module systems for supporting secure execution of mobile code....
Security properties of typed applets... 1 Introduction What, exactly, makes strongly-typed applets more secure than untyped ones? Most frameworks proposed so far for safe local execution of foreign code rely on strong typing, either statically checked at the client side [19, 44], statically checked at the server side and cryptographically signed [35], or dynamically checked by the client...
Extraction of strong typing laws from action semantics definitions... The type inference rules are guaranteed to enforce strong typing, since they are based on an underlying metasemantics for action semantics, which uses typing functions and natural transformations to give meaning....

Synonymes et termes associés français

Exemples français - anglais

santé / sciences naturelles et appliquées / activité agricole - iate.europa.eu
santé / sciences naturelles et appliquées / activité agricole - iate.europa.eu
santé - iate.europa.eu
informatique et traitement des données - acta.es

Traductions en contexte français - anglais

Le typage strict affecte aussi les déclarations de type retourné.

Moreover, strict typing also poses an impact on the return type declarations.

général - CCMatrix (Wikipedia + CommonCrawl)
Nous avons maintenant un mécanisme qui contourne le typage strict normal de c #.

We now have a mechanism that bypasses the normal strict typing of C#.

général - CCMatrix (Wikipedia + CommonCrawl)
types de données et typage strict », à la page 45) et améliore considérablement les erreurs de

assigning data types and strict data typing” on page 45 and “Assigning a data type

général - CCMatrix (Wikipedia + CommonCrawl)
Rassurez-vous, il s’agit de fonctionnalités facultatives, accessibles uniquement lorsque le typage strict est explicitement requis.

Rest assured, it’s about optional features, available only when strict typing is explicitly required.

général - CCMatrix (Wikipedia + CommonCrawl)
Rassurez-vous, il s'agit de fonctionnalités facultatives, accessibles uniquement lorsque le typage strict est explicitement requis.

Rest assured, it’s about optional features, available only when strict typing is explicitly required.

général - CCMatrix (Wikipedia + CommonCrawl)
Le système de typage strict de CX fournit une couche supplémentaire de redondance et de facilité d'utilisation, rendant le processus de débogage simple.

The strict typing system of CX provides another layer or redundancy and ease of use, making the process of debugging a straightforward affair.

général - CCMatrix (Wikipedia + CommonCrawl)
Java impose l’orientation de l’objet, la vérification des exceptions et le typage strict – ce sont toutes (sans doute) de bonnes choses – elles permettent à un groupe de programmeurs de créer des systèmes volumineux plus facilement.

Java enforces Object Orientation, exception checking and strict typing - these are all (arguably) good things - they make it easier for a group of programmers to robustly create large systems.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues