Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Type Checker
Examples with "Type Checker" and their translation in Engels
de visualiser de manière synthétique l'état d'un projet, en fournissant pour chaque composant, son état (passé au Type Checker, traduit en C ou en Ada), le nombre d'obligations de preuve et le pourcentage prouvé,
to view the overall status of a project, by supplying for each component, its status (passed to Type Checker, translated to C or to Ada), the number of proof obligations and the percentage proved
Ainsi, pour effectuer une action (passage au Type Checker, au Générateur d'obligations de preuve...) sur une sélection de composants, l'Atelier B reporte la ou les actions nécessaires sur les composants dont ils dépendent.
As such, to carry out an action (passage through the Type Checker, through the proof obligation generator etc.) on a selection of components, Atelier B reports the action(s) required for the components on which it depends.
le Type Checker effectue d'abord la vérification grammaticale d'un composant B, et ensuite un certain nombre de vérifications contextuelles dont le contrôle de type et le contrôle de portée des identificateurs.
the Type Checker first carries out a grammatical verification of a B component, and then a certain number of contextual verifications including the type control and the control of identifier scopes.
Type checker: Lors du collage de constante abstraites par homonymie, le type-checker levait une erreur, alors que cette construction est autorisée par le langage B.
Type checker: Duringthe adhesion of constant abstracts via homonymy, the type-checker picked up an error, whilst this construction is permitted by the B language.
Andere resultaten
Définit la facette data (utile pour les types check et radio).
Ce type de propriété stocke une valeur booléenne et est généralement édité par des contrôles de type check.
This type of property stores a boolean value and is typically edited by check type controls.
Surveillez la performance des contenus en provenance de tiers grâce à la surveillance de type Check de Page Complète.
Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage.
For example, some of the kinds programs that would benefit more are type-checkers, compilers and interpreters that take advantage of the binder support and dependent types present in the language, and also require a reasonably fast run-time.
La Clinique des Grangettes offre trois types de check-up, basés sur vos besoins et demandes.
Préparez tous types de check-lists pour tous types de jobs.
Prepare all kinds of checklists for all kinds of jobs.
Eventuellement, de type «make check» pour exécuter un self-test qui viennent avec le paquet.
Optionally, type 'make check' to run any self-tests that come with the package.
Pour ceux qui voyagent léger ou qui choisissent des compagnies low-cost, ce type de check-in est une véritable bénédiction.
For those who travel light, or use low-cost companies, this type of check-in is a lifesaver.
Processus d'achat sécurisé de type « Hand check »
Secure buying process such as «Hand check»
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Type Checker in het Frans
Resultaten: 118. Exact: 4. Verstreken tijd: 320 ms.
