We first study a register-based IR of Java bytecode used in compilers and verifiers.
Nous étudions d'abord une IR basée registre du bytecode Java.
Other results
A Java data stream of the enhanced Java bytecode representation is used to store the data parameters associated with the Java commands in the code stream.
Un train de données Java de la représentation du code octet Java amélioré est utilisé pour stocker les paramètres de données associés aux commandes Java dans le train de codes.
This technology can e.g be used for embedded technologies where the Java-Bytecode is downloaded from a webserver which is integrated in the application.
Cette technologie peut alors être utilisée pour des technologies embarquées où le java byte-code est téléchargé depuis un serveur web intégré dans l'application.
This technique has been used for the verification of cryptographic protocols (it is part of one of the AVISPA tools) and for the fast prototyping of static analysis of Java bytecode programs.
Cette technique a été expérimentée pour la vérification de protocoles cryptographiques ainsi que pour le prototypage rapide d'analyses statiques de programmes Java byte code.
furthermore, the virtual machine instructions can be used to perform operations that cannot readily be performed by conventional java bytecode instructions. thus, a more elegant, yet robust, virtual machine instruction set can be implemented.
de plus, ces instructions de machine virtuelle peuvent servir à mettre en oeuvre des opérations ne pouvant pas être effectuées facilement par des instructions classiques en pseudo-code java, ce qui permet de mettre en application un ensemble d'instructions de machine virtuelle plus léger, mais robuste.
a processing unit may be used to execute the native code directly without the use of the java VM, while also executing, in-line, the interpreted language code which requires use of the java VM to interpret the java bytecodes.
il est possible d'utiliser une unité de traitement afin d'exécuter directement le code natif sans utiliser le VM java, tout en exécutant, aussi, le code de langage interprété qui requiert l'utilisation du VM java afin d'interpréter le pseudo-code binaire java.
Java Virtual Machines operate on Java bytecode, which is normally (but not necessarily) generated from Java source code; a JVM can also be used to implement programming languages other than Java.
Cette catégorie répertorie les langages de programmation capables d'être compilé en Java ou en bytecode Java, ou pour lesquelles il existe un environnement d'exécution permettant de les faire fonctionner sur la machine virtuelle Java (JVM).
You can study Java bytecode as you use this program.
Vous pouvez étudier le code de byte Java en utilisant ce programme.
Thanks to Java bytecodes we can "write once and execute always".
Grâce au Bytecode Java, on peut "écrire une fois et exécuter toujours".
SofCheck Inspector is a static analysis tool that discovers errors in Java bytecodes.
Inspecteur SofCheck est un outil d'analyse statique qui découvre des erreurs dans bytecode Java.
It is compiled into Java bytecode.
Il est en fait compilé en bytecode Java.
method of transforming java bytecode into a directly interpretable compressed format
procédé de transformation d'un code objet java en un format comprimé directement interprétable
In case they also refuse to run, stick to the java bytecode packages.
Au cas où ils refusent également de fonctionner, coller aux packages Java bytecode.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.