Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
code de Coq
Examples with "code de Coq" and their translation in Engels
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.
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
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.
Sur le plan sentimental, le Coq-Bélier est fidèle envers son / sa partenaire, tout comme il accorde une très grande importance aux codes de l'honneur.
Coq permet la certification de propriétés du code de la Java Card à un degré absolu.
Cette infraction prévue par le Code criminel est d'une portée extrêmement étroite et témoigne de ses origines historiques, à une époque où les combats de coqs étaient la principale forme de combats d'animaux.
This offence, as it exists in the Criminal Code, is extremely narrow in scope, a reflection of its historical origins when cockfighting was the primary form of animal fighting.
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.
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.
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.
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.
Pour l'instant, il est écrit qu'il est illégal d'assister à un combat de coqs, par exemple, mais le code ne parle pas des autres types de combat qui ont vu le jour au cours des 100 dernières années.
Le code de Pip est écrit en Gallina (le langage de spécification de l'assistant de preuve Coq) puis traduit automatiquement vers le langage C. La propriété principale étudiée dans ces travaux est une propriété de sécurité, exprimée en termes d'isolation mémoire.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor code de Coq in het Frans
Resultaten: 135717. Exact: 2. Verstreken tijd: 921 ms.
