Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
Coq's code

Examples with "Coq's code" and their translation in Frans

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.
Coq's
coq est
code
code coder indicatif codage codé
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
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.

Andere resultaten

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.
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.
This type checker is proven sound with respect to the specification and can be extracted to OCaml code and run independently of Coq's kernel type-checker.
Ce vérificateur de type est prouvé correct vis à vis de la spécification et peut être extrait en code OCaml et exécuté indépendamment du vérificateur de type du noyau de Coq.
It goes without saying that all employees must adhere to the company's code.
Il va de soi que tous les employés doivent adhérer au code de l'entreprise.
Employees are bound to comply with the company's code of conduct at all times.
Les employés sont obligés de respecter le code de conduite de l'entreprise en tout temps.
The destructor's code is too complex; it should be simplified to avoid errors.
Le code du destructeur est trop complexe, il faudrait le simplifier pour éviter les erreurs.
His post on social media went against the school's code of conduct.
Son message sur les réseaux sociaux était en désaccord avec la charte de l'école.
The software developer's code was fine-tuned for improved functionality.
Le code du développeur de logiciel a été affiné pour améliorer la fonctionnalité.
His behaviour doesn't really conform to the school's code of conduct.
Son comportement n'est pas vraiment canonique selon le règlement intérieur de l'école.
Each volunteer receives a small booklet outlining the organization's code of ethics.
Chaque volontaire reçoit un petit livret présentant le code d'éthique de l'organisation.
His actions are not in line with the organization's code of ethics.
Ses actions ne sont pas en alignement avec le code éthique de l'organisation.
The newspaper's code of ethics forbids journalists from accepting gifts from politicians.
Le code éthique du journal interdit aux journalistes d'accepter des cadeaux des politiciens.
This newspaper's code of ethics forbids accepting gifts from information sources.
La charte d'éthique de ce journal interdit les cadeaux provenant des sources d'information.
Er zijn geen resultaten gevonden voor deze term.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.

Synoniemen voor Coq's code in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
nail clipper: mechanical device used to trim fingernails and toenails
Ontdek het woord
nail clipper
Publiciteit

Resultaten: 4164. Exact: 1. Verstreken tijd: 369 ms.