Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
operational semantics
Vertaling van "operational semantics" in Frans
To begin with we give a deterministic and contextual operational semantics for the call-by-name probabilistic lambda-calculus.
Tout d'abord nous définissons une sémantique opérationnelle déterministe et contextuelle pour le lambda-calcul probabiliste en appel par nom.
Then using this operational semantics without side effect we define a notion of equational theories for the probabilistic lambda-calculus.
Au moyen de cette sémantique opérationnelle sans effet de bord nous définissons une notion de théorie équationnelle pour le lambda-calcul probabiliste.
We have defined an execution model by means of an operational semantics, and a proof methodology.
Nous avons défini un modèle d'exécution par l'intermédiaire d'une sémantique opérationnelle, et une méthodologie de preuve.
Second, an operational semantics describes the behavior in a constructive way and can be directly implemented.
Deuxièmement, une sémantique opérationnelle qui décrit le comportement d'une manière constructive et peut être directement mise en œuvre.
Finally, we takle the specificiation of the operational semantics of a programming language such as lambda calculus with - reduction.
Finalement, nous abordons la spécification de la sémantique opérationnelle d'un langage de programmation tel que le lambda calcul avec -réduction.
This forces us into choosing a reduction strategy for being able to define an operational semantics.
Cet effet de bord nous oblige à choisir une stratégie de réduction pour pouvoir être en mesure de définir une sémantique opérationnelle.
With the operational semantics, we formally describe the behavior of a score whose temporal object durations can be arbitrary integer intervals.
Avec la sémantique opérationnelle, nous pouvons décrire formellement le comportement d'un scénario dont les durées des objets temporels peuvent être des intervalles d'entiers arbitraires.
The operational semantics for a programming language describes how a valid program is interpreted as sequences of computational steps.
Une sémantique opérationnelle d'un langage de programmation particulier décrit comment chaque programme valide du langage doit être interprété en termes de suite d'états successifs de la machine.
We then give the operational semantics associated with the detection part of the language, based on finite state machines that model the signatures.
Nous donnons ensuite la sémantique opérationnelle associée à la partie détection du langage, basée sur des automates à états finis qui modélisent les signatures.
Thanks to its formalism, it tells in details how a kind of reduction works and sets the theoretical foundation of the operational semantics of functional programming languages.
À ce titre, elle explique en détail comment se passe une certaine forme de réduction et sert de support théorique à la sémantique opérationnelle des langages de programmation fonctionnelle.
We present the syntax of the language, both in an abstract and in a concrete form, then we give typing rules, and finally its operational semantics.
On présente la syntaxe du langage, à la fois sous une forme abstraite et une forme concrète, puis des conditions de bon typage et enfin sa sémantique opérationnelle.
The language is naturally equipped with an operational semantics mixing call-by-name and call-by-value parameter passing and it can be interpreted in linear coherence space in a standard way.
Ce langage est équipé avec une sémantique opérationnelle qui mélange l'appelle par nom et l'appelle par valeur et peut être interprété en mode standard dans les espaces cohérents linéaires.
We show that cut-elimination provides an operational semantics to circular proofs, that is, it allows to effectively compute the functions denoted by them, by acting as a kind of automaton with memory.
On démontre que l'élimination des coupures fournit une sémantique opérationnelle aux preuves circulaires, c'est-à-dire qu'elle permet de calculer les fonctions dénotées par celles-ci, par le moyen d'une sorte d'automate avec mémoire.
Synoniemen voor operational semantics in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 115. Exact: 83. Verstreken tijd: 67 ms.
