De l'expérience en programmation C# ou Java est requise.
Programming knowledge in C# or Java is required.
Les ateliers sont offerts en C# ou Java.
The workshops are offered in C# or Java.
Ce modèle est différent de la gestion faite par des langages comme C ou Java.
This model is quite different from models in other languages like C and Java.
que C ou Java, y compris de notre propre part.
such as C or Java, including efforts by members of our teams.
Le logiciel embarqué est conçu et développé en langages C, C++ ou Java.
The embedded software is developed in C, C++ or Java programing languages.
Il n'existe pas de représentation littérale des nombres binaires en C, C++ ou Java.
There is no literal representation for binary numbers in C, C++ or Java.
Ils doivent soumettre leurs solutions sous forme de programmes en langage C, C++ ou Java.
They must submit solutions as programs in C, C++, or Java.
Un code C ou Java équivalent aurait produit 1.
In C or Java, the equivalent code would have outputted 1.
Il convient de noter également que ce nouveau logiciel permet aux utilisateurs de compiler des programmes sécurisés directement à partir de langages standards de programmation comme C ou Java.
Noteworthy as well, the new software allows users to compile secure programmes directly from standard programming languages such as C or Java.
Donc, une façon de voir le filtrage de motif est comme une généralisation de l'instruction switch de C ou Java.
So, one way to see pattern matching is as a generalization of the switch statement from C or Java.
En C ou Java, un switch ne peut être appliqué qu'aux nombres, maintenant nous pouvons appliquer à l'ensemble
In C or Java, a switch can only be applied to numbers, now we can apply to whole
Des langages comme Ruby ou Java sont devenus populaires en proposant la productivité nécessaire pour itérer rapidement sur les retours utilisateurs.
Languages like Ruby or Java became popular because they propose a productive approach to iterate quickly on user feedbacks.
Nous présentons dans un premier temps de nouvelles techniques de vérification de programmes écrits dans des langages généralistes comme C, C++ ou Java.
First, we present some verification techniques based on abstract interpretation and SMT-solving for programs written in general-purpose languages like C, C++ or Java.
