Download for Windows Premium
-50% Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
program extraction

Vertaling van "program extraction" in Frans

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.
program
programme programmer émission logiciel programmation
extraction
extraction aspiration exploitation prélèvement origine
d'extraction de programme
The case study is used to test and compare the program extraction machineries of the three proof assistants in a non-trivial setting.
Cette étude de cas nous a permis de tester et comparer les mécanismes d'extraction de ces trois assistants de preuves sur un exemple non-trivial.
A recommended program extraction device holds a correspondence table between program attributes and keywords.
Un dispositif d'extraction de programme recommandé possède une table de correspondance entre des attributs de programme et des mots clé.
The building management apparatus (30) comprises an event program execution unit (34), a receiving unit (32), and an event program extraction unit (33).
L'appareil de gestion de bâtiment (30) comprend une unité d'exécution de programme d'événement (34), une unité de réception (32) et une unité d'extraction de programme d'événement (33).
The event program extraction unit (33) executes the extracted event program so as to control the power consumption of individual facility devices (15).
L'unité d'extraction de programme d'événement (33) exécute le programme d'événement extrait de manière à commander la consommation d'énergie de dispositifs d'installation individuels (15).
We propose an embedding of BSML primitives in the Coq logic in a modular form, adapted to program extraction.
Nous proposons un plongement des primitives BSML dans la logique de Coq sous une forme modulaire adaptée à l'extraction de programmes.
Program extraction using realizability is implemented in some proof assistants such as Coq.
La coinduction est largement utilisée dans des assistants de preuves comme Coq.
We propose an embedding of BSML primitives in the Coq logic in a modular form, adapted to program extraction.
Nous proposons un plongement des primitives BSML dans la logique de Coq sous une forme modulaire adaptée à l'extraction de programmes.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor program extraction in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
mop: cleaning tool with absorbent material on a handle
Ontdek het woord
mop
Publiciteit

Suggesties

extraction program

Resultaten: 7. Exact: 7. Verstreken tijd: 308 ms.