Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
program with effects
Examples with "program with effects" and their translation in Frans
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.
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.
Andere resultaten
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.
Another approach called, the decorated logic, provides a sort of equational semantics for reasoning about programs with effects.
Une autre approche, appelée logique décorée, fournit une sémantique équationnelle pour ces programmes.
Another approach called, the decorated logic, provides a sort of equational semantics for reasoning about programs with effects.
Une autre approche, appelée logique décorée, fournit une sémantique équationnelle pour ces programmes.
We notice that at stake is not only the certification of programs with effects, but that it has also implications in semantics and logic.
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.
Negative impact on vaccine programs with effect on only 20% of diarrhea
Impact négatif sur les programmes de vaccination: une réduction de seulement 20% des cas de diarrhée
The Advertiser may modify the conditions of the partner program or terminate the entire program with effect for the future.
L'annonceur peut modifier les conditions du programme partenaire avec effet pour l'avenir.
The second project, the compiler CoqOfOCaml, imports OCaml programs with effects into Coq, using an effect inference system.
Le second projet, le compilateur CoqOfOCaml, importe des programmes OCaml avec effets dans Coq en utilisant un système d'inférence d'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 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.
Previous to the current program with effect from 1961, the first IO table, The Inter-Industry Flow of Goods and Services, Canada, 1949, was published in 1958 by Statistics Canada (then Dominion Bureau of Statistics).
Avant la mise en place du programme actuel avec effet rétroactif à 1961, Statistique Canada (alors appelé le Bureau fédéral de la statistique) a publié, en 1958, le premier tableau d'entrées-sorties, appelé Inter-Industry Flow of Goods and Services, Canada, 1949.
Produce and record your program with special effects.
Réaliser et filmer le programme avec des effets spéciaux.
he's decided to close down the double-0 program with immediate effect.
il a décidé de fermer le programme double-0 avec effet immédiat.
Synoniemen voor program with effects in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 29245. Exact: 2. Verstreken tijd: 1120 ms.
