Examples with "programme 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.
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.
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.
Andere resultaten
Finalement, nous étudions des techniques pour prouver des propriétés à propos de programmes avec effets.
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.
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.
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.
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)
Réaliser et filmer le programme avec des effets spéciaux.
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.
Les utilisateurs peuvent s'opposer à tout moment à la collecte anonyme de données par le programme Matomo avec effet pour l'avenir en cliquant sur le lien ci-dessous.
Users can withdraw their consent to having anonymised data collected by Matomo with immediate effect for the future by clicking on the provided link below.
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.
Potentieel gevoelige of ongepaste informatie
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.
