Examples with "des programmes avec effets" 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.
Nous pensons que la spécification formelle par cas d'utilisation est l'une des clés pour vérifier des programmes avec effets, sachant que la méthode des cas d'utilisation s'est avérée utile dans l'industrie pour exprimer des spécifications informelles.
We believe that the formal specification by use cases is one of the keys to verify effectful programs, as the method of use cases proved to be convenient to express (informal) specifications in the software industry.
Nous pensons que la spécification formelle par cas d'utilisation est l'une des clés pour vérifier des programmes avec effets, sachant que la méthode des cas d'utilisation s'est avérée utile dans l'industrie pour exprimer des spécifications informelles.
We believe that the formal specification by use cases is one of the keys to verify effectful programs, as the method of use cases proved to be convenient to express (informal) specifications in the software industry.
Andere resultaten
Le but de cette thèse est de définir un cadre sémantique générique pour vérifier que des programmes avec des effets monadique arbitraire respectent de telles spécifications.
The goal of this thesis is to devise a principled semantic framework for verifying programs with arbitrary monadic effects in a generic way with respect to such rich specifications.
Le second projet, le compilateur CoqOfOCaml, importe des programmes OCaml avec effets dans Coq en utilisant un système d'inférence d'effets.
The second project, the compiler CoqOfOCaml, imports OCaml programs with effects into Coq, using an effect inference system.
Réaliser et filmer le programme avec des effets spéciaux.
Nous remarquons que l'enjeu n'est pas seulement la certification de programmes avec des effets, mais qu'elle a aussi des implications en termes de sémantique et de logique.
We notice that at stake is not only the certification of programs with effects, but that it has also implications in semantics and logic.
Il est possible de rattraper plus tard, et nous organisons des programmes à cet effet avec des enfants plus âgés, mais c'est beaucoup mieux de ne pas rater le coche.
No. Although you can catch up later, and some of the programmes which we run with slightly older children are 'catch up' programmes.
Nous concevons alors les "calculs asynchrones" comme moyen pour représenter et compiler des programmes avec événements en Coq. Finalement, nous étudions des techniques pour prouver des propriétés à propos de programmes avec effets.
Thus, we design the asynchronous computations as a first way to represent and compile programs with events and handlers in Coq. Then, we study techniques to prove properties about programs with effects.
Finalement, nous étudions des techniques pour prouver des propriétés à propos de programmes avec effets.
Then, we study techniques to prove properties about programs with effects.
Cependant, le gouvernement fédéral s'est engagé à continuer de collaborer avec ses homologues provinciaux et territoriaux pour déterminer si on pourrait parvenir à un consensus afin d'appliquer ce programme avec effet rétroactif.
However the federal government committed to continue to work with its provincial and territorial partners to determine if a consensus and a scheme could be built to bring retroactivity.
Un calcul impur, c'est-à-dire un programme avec effets, et sa validation dans un langage fonctionnel et total est fait à l'aide d'une simulation a posteriori.
An impure computation, that is a program with effects, and its validation in a functional and total language is done through a posteriori simulation.
Lumière bleue monochromatique statique (ensuite, appuyez sur la touche MODE + pour atteindre les couleurs jaune, bleu, violet ou d'autres programmes avec effet statique)
Static monochromatic blue light (then press + MODE button to use yellow, blue, purple or other programs the with static effect)
Les données étaient trop limitées pour déterminer les effets des programmes de réinvestissement.
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
