Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
compilation toolchain
Vertaling van "compilation toolchain" in Frans
Not only are there now implementations across all browsers, but the compilation toolchain has begun to mature and there are efforts to integrate WebAssembly into more standard web development tools like webpack.
Non seulement les implémentations sont maintenant disponibles sur tous les navigateurs, mais la chaîne de compilation a commencé à mûrir et il existe des efforts pour intégrer WebAssembly dans des outils de développement Web plus standard tels que webpack.
These methods use formal verification in order to gain the highest possible level of assurance by relying on a verified compilation toolchain made up of the CompCert compiler and the Verasco static analyzer.
Ces méthodes se placent dans le cadre de vérification formelle afin d'obtenir le plus haut niveau d'assurance possible en s'appuyant sur une chaîne de compilation vérifiée composée du compilateur CompCert et de l'analyseur statique Verasco.
The e60 reader has an ARM processor, to compile the kernel we need a cross compilation toolchain.
Le processeur de la liseuse e60 est un ARM, pour compiler le noyau pour ce processeur il nous faut une chaine de compilation croisée.
During the project, these partners intend to create a new software development environment, based on Prove & Run's innovative technology, which will include a fully-proven generation and compilation toolchain.
Durant ce projet, les partenaires ont l'intention de créer un nouvel environnement de développement de logiciels, basé sur les technologies innovantes de Prove & Run, qui inclura une chaîne de génération et de compilation intégralement prouvée.
In this thesis we introduce Tirex, a Textual Intermediate Representation for EXchanging target-level information between compilers, optimizers an different tools in the compilation toolchain.
Dans cette thèse, nous introduisons Tirex, une représentation textuelle intermédiaire pour échanger des informations de bas niveau, déjà dépendantes de la cible, entre les compilateurs, les optimiseurs et les autres outils de la chaîne de compilation.
An implementation of the language is available as a compilation toolchain.
Une implantation du langage, développé dans le cadre de cette thèse, permet de générer un code exécutable.
Synoniemen voor compilation toolchain in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 6. Exact: 6. Verstreken tijd: 30 ms.
