Nous présentons ensuite la sémantique dénotationnelle du langage et sa mise en œuvre au moyen d'un compilateur vers code-octet, et de deux machines virtuelles: une écrite en Bigloo Scheme pour exécution sur des ordinateurs traditionnels, l'autre écrite en Java ME pour les téléphones portables.
We then present the denotational semantics, and its implementation with a bytecode compiler and two virtual machines: one written in Bigloo Scheme for execution on traditional computers, the other in Java ME for mobile phones.
Résumé : La plate-forme.NET est un environnement d'exécution moderne et répandu, reposant sur une machine virtuelle qui interprète du code-octet typé.
Abstract: The.NET platform is a modern, widespread execution environment, based on a virtual machine that interprets a typed bytecode.
Decompyle convertit du code-octet (« byte-code ») Python en code source Python équivalent.
Decompyle converts Python byte-code back into equivalent Python source.
Decompyle peut aussi vérifier l'équivalence du code généré en le compilant et en comparant le code-octet obtenu avec le code-octet original.
Decompyle can also verify the equivalence of the generated source by compiling it and comparing the new byte-code with the original byte-code.
La certification des compilateurs des langages que nous avons développés vers du code-octet pour des machines virtuelles adaptées et la certification partielle de ces machines virtuelles.
Certification of the compilers for these languages, from source code to bytecode for parallel virtual machines and the certification of these virtual machines
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Synonymes et analogies de "code-octet" en français
