Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
du code de Coq

Examples with "du code de Coq" and their translation in Engels

We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
D'autre part, le système de types de Caml, et notamment sa notion de type abstrait, permet une réelle encapsulation de la partie critique du code de Coq, garantissant ainsi la cohérence logique de l'ensemble du système.
Furthermore, Caml's type system, and particularly its notion of abstract type, allow securely encapsulating Coq's critical code base, which guarantees the logical consistency of the whole system.

Andere resultaten

Enfin, le typage fort de OCaml assure de fait une grande qualité au code de Coq (tel que l'absence d'erreurs à l'exécution du type segmentation fault), ce qui est indispensable à un outil dont le but premier est justement la rigueur.
Last, OCaml's strong type system de facto grants Coq's code a high level of quality: errors such as segmentation faults cannot occur during execution, which is indispensable for a tool whose primary goal is precisely rigor. The ASTRÉE Static Analyzer
Akroe y insuffle sa maîtrise de la palette et sa passion pour les formes graphiques, jouant avec une aisance déconcertante avec les codes du Coq Sportif dans un esprit résolument contemporain.
Akroe breathes his master's degree of the palette and its passion for the graphic forms, playing with a disconcerting ease with the codes of Le Coq Sportif in a determinedly contemporary spirit.
Coq permet la certification de propriétés du code de la Java Card à un degré absolu.
Coq enables the certification to an absolute degree of the properties of the Java Card code.
Dans la disposition actuelle du code, il y a bien des dispositions relatives aux arènes de combats de coqs, mais leur portée est trop étroite.
We've got a problem in the existing part of the code because there are provisions on cockpit fighting but it's it's very narrow as to what is a cockpit.
Tout d'abord, il faut que l'événement soit en cours, puis nous devons prouver que des combats de coqs ont lieu pour procéder en vertu du Code criminel.
We have to, one, have the actual event taking place, and two, we have to have evidence of a cockpit in order for us to proceed under the Criminal Code.
La seconde infraction, prévue à l'article 447 du Code criminel, concerne la possession d'une arène pour les combats de coqs et prévoit les mêmes sanctions que pour les combats d'animaux.
The second existing offence prohibits keeping a cockpit, which is section 447, and carries the same penalties as animal fighting.
Une modification connexe porte sur l'infraction de posséder une arène pour le combat de coqs, qui est prévue à l'article 447 du Code criminel.
A related amendment is a proposed change to the offence of keeping a cockpit, dealt with in section 447 of the Criminal Code.
Le restaurant a été fermé en raison d'une violation du code de santé.
The restaurant was closed on account of a health code violation.
Les organisateurs sont à cheval sur le respect du code de conduite.
The organizers are a stickler for everyone respecting the code of conduct.
Je trouve que les questions du code de la route sont parfois ambiguës et compliquées.
I find that the theory test questions are sometimes ambiguous and complicated.
Après le scandale, il a fallu redessiner les lignes du code de conduite interne.
After the scandal, the internal code of conduct had to be completely rewritten.
Elle s'est creusé les méninges pour se souvenir du code de la porte d'entrée.
She racked her brains, trying to remember the code for the building door.
Er zijn geen resultaten gevonden voor deze term.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Publiciteit

Resultaten: 240097. Exact: 1. Verstreken tijd: 567 ms.