Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Examples with "typeur" and their translation in Engels
Son but est de constituer un composant prêt à l'emploi pour la création d'un typeur à base de contraintes, quel que soit le langage de programmation analysé.
Its goal is to serve as a plug-in component in the design of a constraint-based type-checker, regardless of the programming language being analyzed.
Un typeur ou un aligneur de données se trouvant à l'intérieur de chaque unité de traitement de signal située dans l'ASSP supporte un typage souple de données, une permutation souple, et un appariement souple de types d'opérandes de l'architecture de jeu d'instructions.
A data typer and aligner within each signal processing unit within the ASSP supports flexible data typing, permutation, and type matching of operands of the instruction set architecture.
Les alias de modules (donner un autre nom à un module existant, comme dans module M = AnotherModule) sont maintenant enregistrés et traités spécialement par le typeur et par le compilateur.
Module aliases (giving an alternative name to an existing module or compilation unit, as in module M = AnotherModule) are now tracked specially by the type system and the compiler.
Gerald Maftievici, notre ami d'Arabella, est un typeur et un contact pour toutes les questions techniques sur l'Arabella. Vous pouvez le contacter si vous avez des questions par courrier électronique. International
Our Arabella-friend Gerald Maftievici is a typereferent and contact for all technical questions about the Arabella, you can contact him if you have any questions via email. International
Le seul rapport avec le typeur, c'est que c'est le typeur qui détecte les erreurs a ce niveau.
The only connection with types is that the type checker is used to detect problems in "let rec".
Mezzo n'existe pas seulement sur le papier : une dernière partie décrit la manière dont le lan- gage est implémenté, en formalisant les algorithmes utilisés dans le typeur et en détaillant les techniques utilisées pour déterminer la validité d'un programme.
Mezzo is not just a type system that lives on paper: the final part describes the implementation of a type-checker for Mezzo, by formalizing the algorithms that I designed and the various ways the type-checker ensures that a program is valid.
Andere resultaten
TypeUn système complet de surveillance d'état est disponible.
TypeA comprehensive health monitoring system is available.
TypeUne protection optimale des boîtiers électriques offre le plus haut niveau d'intégrité et de résistance aux flammes
Mainframe - MF2Type maximum protection of electrical boxes providing the highest level of flameproof integrity
Des équipes de recherche internationales de haut niveauUne partenariat avec la recherche académique L'état d'esprit Saint-Gobain Research ParisUn lien fort entre nos collaborateursUne structure souple, sans journée typeUne entreprise citoyenne
First-class international research teamsA company where science reignsResearcher initiative encouragedA culture of partnering with academic research The Saint-Gobain Research Paris mind-setA strong bond between our employeesA flexible structure, with no place for daily routineA corporate citizen
TypePresse (journaux / magazines)Chaînes de télévision et autres plates-formes audiovisuellesMagazines en ligne et blogs
TypePress (newspapers/magazines)Media broadcast (TV and other audiovisual platforms)Online magazines and blogs (Web only)
Leurs poulains sont modernes et typeux.
Their foals are modern and typey.
Bien qu'il soit possible de dériver directement une implémentation de ces systèmes, ce qui est principalement utile pour leur compréhension et leur prototypage, les performances des typeurs obtenus de la sorte ne sont pas suffisantes pour analyser des programmes de taille réelle.
Despite the fact that it is possible to directly derive an implementation of our type systems from their rules, that is principally interesting for their comprehension and prototyping, the effectiveness of such typer is insufficient to analyze real world programs.
Tout cela a conduit à des résultats très positifs, comme Try-OCaml, un site web qui permet d'apprendre OCaml interactivement, ou OPAM, gestionnaire de paquets qui simplifie grandement l'installation d'OCaml ou encore TypeRex une boîte à outils de développement pour OCaml.
This has had very positive results, such as Try-OCaml-a website where you can learn OCaml interactively-as well as OPAM-a package manager that greatly simplifies installing OCaml, and TypeRex a toolbox for developing in OCaml.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor typeur in het Frans
Resultaten: 14. Exact: 6. Verstreken tijd: 24 ms.
