Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
program transformation
Vertaling van "program transformation" in Frans
We also condemn the new National Defence official languages program transformation model which, instead of ensuring compliance with the law, seeks to mitigate its impact.
On dénonce également le nouveau Modèle de transformation du Programme des langues officielles de la Défense nationale qui, plutôt que de permettre la conformité à la loi, tente d'en diminuer les impacts.
National Defence Official Languages program transformation model has arrived!
Le Modèle de transformation du Programme des langues officielles de la Défense nationale est en place!
The purpose of this thesis is to provide dedicated language constructs to prototype tools for analysis and program transformation inspired by the term and term-graph rewriting.
La finalité de cette thèse est de proposer des constructions de langage dédiées au prototypage d-outils d-analyse et de transformation de programmes et inspirées de la réécriture de termes et de termes-graphes.
The objective of the program transformation techniques is to support the adaptation of the application programs to the new database.
L'objectif des techniques de transformation de programmes et de supporter l'adaptation des programmes d'applications à la nouvelle base de données.
It is shown how this new machine emerges from a linear forcing program transformation.
Cette machine émerge naturellement d'une transformation de programme basée sur une variante linéaire du forcing de Cohen.
TAPENADE operates through program transformation and generates, from the function's code, a new code that computes the derivatives and will need to be executed.
Tapenade fonctionne par transformation de programme et génère à partir du code de la fonction un nouveau code qui calcule les dérivées et qui devra être exécuté.
A modular language for the specification of fully automatic program transformation systems based on the paradigm of rewriting strategies.
Un langage modulaire pour la spécification des systèmes entièrement automatiques de transformation du programme basé sur le paradigme de la réécriture des stratégies.
We introduce its dual system based on coinduction for the finite failues and we prove that the two systems are equivalent by using a negation-based program transformation.
On présente son système dual basé sur la coinduction pour les échecs finis et on montre que les deux systèmes sont équivalents en utilisant une transformation de programmes basée sur la
Acquisitions program transformation: oversight could have been strengthened to better support discharge of roles and responsibilities and an integrated approach to the implementation of the program's strategies.
Transformation du programme des approvisionnements : la surveillance aurait pu être renforcée afin de mieux appuyer l'exercice des rôles et des responsabilités et une approche intégrée pour la mise en œuvre des stratégies du programme.
We choose logic programming as formalism to describe tree tuple languages (i.e. relations) and logic program transformation techniques for computing operations on them.
Nous choisissons le formalisme de la programmation logique pour représenter les langages de nuplets d'arbres (c'est à dire les relations) et nous utilisons des techniques de transformation de programmes pour calculer les opérations sur les langages.
The purpose of this thesis is to provide dedicated language constructs to prototype tools for analysis and program transformation inspired by the term and term-graph rewriting.
La finalité de cette thèse est de proposer des constructions de langage dédiées au prototypage d'outils d'analyse et de transformation de programmes et inspirées de la réécriture de termes et de termes-graphes.
Another original contribution of this work is the introduction of the problematics of fault tolerance in program transformation systems, and the design of an error handling system adapted to Jabyce.
Un autre apport original de ce travail est l'introduction de la problématique du traitement des erreurs dans les systèmes de transformation de programmes, et la conception d'un système de traitement d'erreur adapté à Jabyce.
This program transformation is defined and proven in the PVS proof assistant.
Cette transformation de programme est définie et prouvée dans l'assistant de preuves PVS.
Synoniemen voor program transformation in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 152. Exact: 152. Verstreken tijd: 92 ms.
