Vertaling van "transformation de programmes" 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.
program transformation
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.
Dans la théorie des langages de programmation en informatique, la déforestation (aussi connue sou le nom de fusion) est une transformation de programmes qui permet d'éliminer les structures d'arbre.
In the theory of programming languages in computer science, deforestation (also known as fusion) is a program transformation to eliminate tree structures.
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
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.
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.
We choose logic programming as formalism to describe tree tuple languages (i.e. relations) and logic program transformation techniques for computing operations on them.
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.
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.
Les méthodes formelles permettent la preuve de propriétés et la transformation de programmes.
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.
Plus précisément, la politique s'applique aux types d'initiatives suivantes dans la prestation de nouveaux programmes et services ainsi que la transformation de programmes et services existants2
More specifically, this policy applies to the following types of initiatives in the provision of new programs and services as well as the transformation of existing programs and services2
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.
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.
