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.
Autres résultats
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.
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.
