Dans la vérification de programmes Java utilisant la complétion d'automates d'arbres, cette explosion peut être due à l'utilisation d'entiers de Peano.
In verification of Java programs using tree automata completion, this explosion may be due to the use of Peano numbers.
Other results
Vous pouvez écrire, déboguer et lancer des programmes Java en utilisant Debian.
le programme est écrit dans un langage tel qu'un langage de programmation java, utilisant un jeu restreint de données du type instructions spécifiques
the program is written in a language, such as the java programming language, that uses a restricted set of data type specific instructions
Sur le même portable un programme Java mono-threadé (utilisant uniquement un core) a pris environ 160 ms. Cela semble être rapide mais dans la vraie vie chaque produit exotique d'un portefeuille est une combinaison de plusieurs options.
On the same laptop a mono-threaded Java program (using only one core) took about 160 ms. It seems to be quick but in real life, each exotic product in a portfolio is a combination of multiple options.
La deuxième partie est une introduction aux patterns de programmation, en utilisant Java comme langage de référence.
The second part provides an introduction to programming design patterns, using Java as the reference programming language.
Google Wave est une application HTML développée avec Google Web Toolkit (GWT), un framework pour programmer du Java en utilisant de l'AJAX et des effets propres au Web 2.0.
Google Wave is an HTML application built with Google Web Toolkit (GWT), a framework to program in Java using AJAX and very nice-looking web 2.0 effects.
L'implantation utilisant le langage de programmation Java a été plus particulièrement étudiée.
OpenJDK est un environnement de développement pour construire des applications, des applets et des composants en utilisant le langage de programmation Java.
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.
