Examples with "transformations de programme" 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.
Sur le sujet de la préservation, nous avons défini une notion de Préservation de Flot d'Information qui s'applique aux transformations de programme.
On the topic of security preservation, we defined a notion of Information Flow Preserving transformation to make sure that a program does get less secure during compilation.
Nos résultats ouvrent la voie à des transformations de programme sémantiques ; qui ne préservent pas le calcul, mais produisent un programme équivalent.
Our results open the way for semantic program transformations; program transformations which does not preserve the computation but still lead to an equivalent program.
Cette méthodologie est guidée par un ensemble de critères de transformations de programme.
Ces dernières nécessitent l'usage de langages intermédiaires fondamentalement différents, par exemple, les méta-langages pour la transformation de programmes.
Such alernatives require fondamentally different typesof intermediates languages such as transformation meta-languages.
Les limitations de chaque méthode sont établies et permettent de déterminer les atouts nécessaires pour ces transformations de programmes.
Limitations of each method are established and allow suitable features for these program transformations to be determined.
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 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.
Nous d\'ecrivons le processus de compilation comme une suite de transformations de programmes dans le cadre fonctionnel.
Pour étudier les performances, les membres du projet ont mené une étude de cas en mettant en œuvre la transformation de programme sur un langage de programmation généraliste.
To investigate performance, project members carried out a case study by implementing the programme transformation on a general-purpose programming language.
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.
