Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
au code de Coq
Examples with "au code de Coq" and their translation in Engels
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
Andere resultaten
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.
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.
Ses actions étaient conformes au code de conduite signé par les employés.
His actions were in keeping with the code of conduct signed by employees.
Il va de soi que tous les employés doivent adhérer au code de l'entreprise.
It goes without saying that all employees must adhere to the company's code.
Il a perdu des points sur son permis pour plusieurs infractions au code de la route.
He lost points on his license for several violations of the traffic code.
Cette incartade au code de la route aurait pu provoquer un grave accident.
That reckless violation of the traffic rules could have caused a serious accident.
Conduire sans phares la nuit est classé comme une infraction au code de la route.
Driving without headlights at night is classified as a moving violation.
Le gouvernement organise des campagnes pour sensibiliser au Code de la route.
The government runs campaigns to raise awareness about the rules of the road.
Hier, l'employé des postes a retrouvé mon courrier perdu grâce au code de suivi.
Yesterday, the postal worker managed to track down my lost mail using the tracking number.
Un employé contrevenant au code de conduite peut recevoir un avertissement écrit de la direction.
An employee who breaches the code of conduct may receive a written warning from management.
Mais accéder au code de la Société c'est tout autre chose.
But accessing the company code will be a whole other matter.
Les employés savent qu'ils ne doivent jamais contrevenir au code de conduite de l'entreprise.
The employees know they must never violate the company's code of conduct.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Resultaten: 152896. Exact: 1. Verstreken tijd: 498 ms.
