Examples with "de transformations de programmes" and their translation in Engels
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.
Cette thèse contribue une approche nouvelle de la recherche itérative de transformations de programmes dans le modèle polyédrique.
In this thesis we present a novel search-based approach to program transformations in the polyhedral model.
Nous d\'ecrivons le processus de compilation comme une suite de transformations de programmes dans le cadre fonctionnel.
Elle est utile dans divers contextes, parmi lesquels on peut citer la preuve de transformations de programmes dans un langage donné, et la preuve de compilateurs entre deux langages.
It is useful in many contexts, such as capturing the correctness of, program transformations within the same language, or capturing the correctness of compilers between two different languages.
Cette thèse apporte une étude sémantique de transformations de programmes sous forme Sea of Nodes, intégrant la flexibilité en termes de dépendances de données entre instructions.
This thesis brings a semantic study of transformations of programs in Sea of Nodes form, integrating the flexibility regarding data dependencies between instructions.
Andere resultaten
Ces applications de transformation de programmes constituent la finalité première du cadre RECODER.
Nous voulons unifier les processus d'analyse et de transformation de programmes et de leurs données associées en une machine virtuelle unique.
We want to unify the analysis and transformation processes of programs and accompanying data into one unique virtual machine.
Polychrony est un environnement de développement intégré comprenant un ensemble d'outils de transformation de programmes parmi lesquels un compilateur, des utilitaires de vérification et des éditeurs graphiques.
Polychrony is an integrated development environment containing a set of program transformation tools, including a compiler, verification utilities and graphic editors.
Tapenade est un outil de DA, mais aussi une plate-forme d'analyse et de transformation de programmes scientifiques.
Apart from being an AD tool, Tapenade is also a platform for other analyses and transformations of scientific programs.
Cette méthodologie est guidée par un ensemble de critères de transformations de programme.
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 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 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.
L'objectif des techniques de transformation de programmes et de supporter l'adaptation des programmes d'applications à la nouvelle base de données.
The objective of the program transformation techniques is to support the adaptation of the application programs to the new database.
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.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
