Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
effectful program
Examples with "effectful program" and their translation in Frans
circuits and methods for mobility of effectful program fragments
circuits et procédés de mobilité de fragments de programme effectifs
methods for mobility of effectful program fragments including a method for serializing and deserializing effectful program fragments, and a method for utilizing a program fragment in a type-directed way.
des procédés de mobilité de fragments de programme effectifs, notamment un procédé de sérialisation et de désérialisation de fragments de programme effectifs, ainsi qu'un procédé d'utilisation d'un fragment de programme en fonction du type.
Andere resultaten
Due to such an interactive behaviour, reasoning about effectful programs is well-known to be hard.
En raison de ce comportement interactif, raisonner sur des programmes efficaces est bien connu pour être difficile.
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.
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.
Additionally, when dealing with effectful languages, program equivalence is oftentimes too coarse, not allowing, for instance, to quantify the observable differences between programs.
De plus, s'agissant de langages efficaces, l'équivalence de programme est souvent trop grossière, ne permettant pas, par exemple, de quantifier les différences observables entre les programmes.
This is especially true for higher-order effectful languages, where programs can be passed as input to, and returned as output by other programs, as well as perform side-effects.
Cela est particulièrement vrai pour les langages efficaces d'ordre supérieur, où les programmes peuvent être passés en entrée et renvoyés en sortie par d'autres programmes, tout en produisant des effets secondaires.
Due to the so-called distance trivialisation, however, the notion of an effectful applicative bisimulation distance is defined for a calculus supporting program sensitivity.
Synoniemen voor effectful program in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 2. Verstreken tijd: 321 ms.
