Analyse statique de programmes Typage et analyse statique au sein de Java
|
|
- Yves Paul
- il y a 8 ans
- Total affichages :
Transcription
1 Analyse statique de programmes Typage et analyse statique au sein de Java Master Professionnel Informatique spécialité FSIL/FSI Jean-Marc Talbot Aix-Marseille Université 7 nov 2011 Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
2 Bibliographie Notes de cours de François Barthélemy Notes de cours de Jean-Marc Rifflet The Java TM Virtual Machine Specification Sun Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
3 Plan du cours 1 Typage de Java 2 Typage et le bytecode Java Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
4 Java Langage Orienté Objet à base de classes supporte l héritage simple (contrairement à C++) mais notion d interfaces (classe abstraite en C++ avec méthodes virtuelles pures) une classe... ne peut hériter que d une classe mais implémenter plusieurs interfaces Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
5 Typage de Java : garanties comme dans tous les autres langages, les opérandes et les opérations doivent avoir des types qui correspondent. l écriture de a.m(s 1,.., s n ) dans mon programme implique que l objet a a effectivement une méthode qui s appelle m et le type de la méthode est le bon (paramètres et valeur retournée) class A{ void m(a a){... class B extends A{ void n(b b){... B b = new B();.. b.m(b)... une affectation est possible si la valeur a suffisament de champs B b = new B(); A a = b; Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
6 Typage de Java : garanties comme dans tous les autres langages, les opérandes et les opérations doivent avoir des types qui correspondent. l écriture de a.m(s 1,.., s n ) dans mon programme implique que l objet a a effectivement une méthode qui s appelle m et le type de la méthode est le bon (paramètres et valeur retournée) class A{ void m(a a){... class B extends A{ void n(b b){... B b = new B();.. b.m(b)... une affectation est possible si la valeur a suffisament de champs B b = new B(); A a = b; Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
7 Typage de Java : généralités Le typage passe par les classes et les interfaces avec une relation de sous-typage comprenant : une classe peut hériter d une autre classe une classe peut implémenter un ou plusieurs interfaces une interface peut hériter d une ou plusieurs interfaces Java est un langage à typage statique fort En réalité, statique : pas complètement (une partie du typage est faite dynamiquement) fort : pas tant que ça (mais de gros progrès depuis la généricité) Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
8 Typage de Java : curiosité class A{ void m(a a){ System.out.println("m de A"); void n(a a){ System.out.println("n de A"); class B extends A{ void m(a a){ System.out.println("m de B"); void n(b b){ System.out.println("n de B"); public static void main(string[] argv){ A a = new B(); B b = new B(); a.m(b); a.n(b); Quel est le type de a? Que fait ce programme? Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
9 Typage de Java : curiosité class A{ void m(a a){ System.out.println("m de A"); void n(a a){ System.out.println("n de A"); class B extends A{ void m(a a){ System.out.println("m de B"); void n(b b){ System.out.println("n de B"); public static void main(string[] argv){ A a = new B(); B b = new B(); a.m(b); a.n(b); m de B n de A Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
10 Hiérarchie des Types Un type est soit une classe C, soit une interface I Définition de la relation de sous-typage : pour tout type T on a T T (réflexivité de la relation) ; si la classe SC est une sous-classe de C, on a SC C ; si l interface SI est une sous-interface de I, on a SI I; si la classe C implante l interface I, on a C I; si ST T, alors ST [ ] T [ ]; si SST ST et ST T, alors SST T (transitivité de la relation). si T est un type, alors T [ ] Object Si ST T alors on peut mettre une valeur de type ST là où une valeur de type T est attendue. Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
11 Algorithme de typage en 2 phases Chaque phase parcourt le source Java du fichier Phase 1 : collection de l environnement de typage Γ Phase 2 : vérification des types pour l environnement Γ Utile car l ordre de définition des classes est sans importance au sein d un même fichier. Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
12 Algorithme de typage : Phase 1 Construction de l environnement de typage en parcourant l ensemble des classes et interfaces d un fichier. Cet environnement regroupe les informations de type pour les variables d instance et les méthodes de chacune des classes et interfaces. Pour chaque classe, on conserve le nom de la super-classe les interfaces implémentées par la classe les variables d instances définies dans cette classe (non héritées) avec leur type. les méthodes définies dans cette classe (non héritées) avec leur type. Pour chaque interface, on conserve les noms des super-interfaces les variables d instances définies dans cette interface (non héritées) avec leur type. les méthodes définies dans cette interface (non héritées) avec leur type. Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
13 Algorithme de typage : Phase 1 Exemple : class A{ void m(a a){ System.out.println("m de A"); void n(a a){ System.out.println("n de A"); Γ = class B extends A{ void m(a a){ System.out.println("m de B"); void n(b b){ System.out.println("n de B"); public static void main(string[] argv) { A a = new B(); B b = new B(); a.m(b); a.n(b); { (class A, Object, {, {, {(m, A, void), (n, A, void)), (class B, class A, {, {, {(m, A, void), (n, B, void), (main, String[], void)) Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
14 Algorithme de typage : Phase 2 Typage des classes : une classe C est bien typée si : la relation ne contient pas de cycle non-triviaux les variables d instance ont toutes des noms différents il n existe pas deux méthodes de C qui possèdent exactement le même profil d arguments si C redéfinit une méthode d une de ses classes ancètres (ie avec le même profil d arguments) alors les types de retour sont identiques. C contient directement ou par héritage toutes les méthodes des interfaces qu elle implémente et ce avec des types identiques la suite des variables d instance est bien typée toutes les méthodes de la classe C sont bien typées Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
15 Algorithme de typage : Phase 2 Typage des variables d instance T 1 v 1 = e 1 ; T 2 v 2 = e 2 ;... T n v n = e n; e 1 : T 1 Γ et T 1 T 1 e 2 : T 2 Γ {(v 1 : T 1 ) et T 2 T 2... e n : T n Γ {(v 1 : T 1 )...(v n 1 : T n 1 ) et T n T n T 1 v 1 = e 1 ; T 2 v 2 = e 2 ;... T n v n = e n ; : void Γ Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
16 Algorithme de typage : Phase 2 Typage des méthodes de la classe T m(t 1 x 1,...,T n x n){ inst 1 ; inst 2 ;... inst k ; ; inst 1 ; : void, inst 2 ; : void,..., inst k ; : void pour tout i tel que inst i = return exp, exp : T Γ {(x 1 : T 1 ),..., (x n : T n) et T T T m(t 1 x 1,..., T n x n){inst 1 ; inst 2 ;...inst k ; ; : void Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
17 Algorithme de typage : Phase 2 Typage des instructions : affectation v : T Γ, e : T Γ et T T v = e; : void Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
18 Algorithme de typage : Phase 2 Typage des instructions : invocation de méthode le typage statique de l invocation d une méthode vise à déterminer le profil de la méthode qui sera invoquée à l exécution. (mais le choix de la méthode se fait à l exécution : liaison tardive) Afin que o.m(e 1,..,e n ) soit bien typé, si e 1 :T 1 Γ,..., e n :T n Γ alors la méthode invoquée m(t 1 x 1,...,T n x n ) vérifie T 1 T 1,...,T n T n. Mais dans quelle classe choisir cette méthode du fait de l héritage et de la surcharge et quel sera le type statique exacte de cette méthode? Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
19 Algorithme de typage : Phase 2 Typage des instructions : invocation de méthode class A{ int m(a a) {... class B extends A{ boolean m(b b) {... int m(a a) {... B b1 = new B(); A b2 = new B();... Quel est le type de b1.m(b1), de b2.m(b2) et de b1.m(b2)? En partant de la classe de l objet sur lequel l invocation est faite, on collectionne en remontant la hiérarchie toutes les méthodes de nom m et de type compatible. ici, pour b1.m(b1) (avec b1:b Γ): 1 boolean m(b b) dans la classe B 2 int m(a a) dans la classe B 3 int m(a a) dans la classe A Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
20 Algorithme de typage : Phase 2 Typage des instructions : invocation de méthode class A{ int m(a a) {... class B extends A{ boolean m(b b) {... int m(a a) {... B b1 = new B(); A b2 = new B();... Quel est le type de b1.m(b1), de b2.m(b2) et de b1.m(b2)? En partant de la classe de l objet sur lequel l invocation est faite, on collectionne en remontant la hiérarchie toutes les méthodes de nom m et de type compatible. ici, pour b1.m(b1) (avec b1:b Γ): 1 boolean m(b b) dans la classe B 2 int m(a a) dans la classe B 3 int m(a a) dans la classe A Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
21 Algorithme de typage : Phase 2 Typage des instructions : invocation de méthode (suite) Pour chacune des méthodes trouvées, on calcule le produit cartésien de la classe et du profil des arguments de la méthode. ici, 1 (B,B) 2 (B,A) 3 (A,A) On choisit comme type de l invocation celui retourné par la méthode de m de la classe C avec pour profil d arguments (T 1,...,T n ) avec un produit cartésien minimal dans ceux calculés, pour l ordre (C, T 1,..., T n ) (C, T 1,..., T n ) ssi C C et T 1 T 1,..., T n T n ici, le tuple minimal est B,B (puisque B A) et donc le type retourné par cette méthode est boolean. b1.m(b1) est donc de type boolean Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
22 Algorithme de typage : Phase 2 Typage des instructions : invocation de méthode Cependant,... class A{ int m(b b) {... class B extends A{ bool m(a a) {... A a = new A(); B b = new B();... Quel est le type de b1.m(b1)? 1 (A,B) 2 (B,A) Pas d élement minimal ambiguité : le programme est rejeté à la compilation. On peut lever l ambiguité en privilégiant, par exemple, la classe. Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
23 Typage réel/dynamique vs type déclaré/statique class A{ void print(int i){system.out.println("dans A");; class B extends A{ void print(int i){system.out.println("dans B");; class essai{ public static void main(string[] argv){ A b = new B(); b.print(1); Type statique : inférer par l algorithme (type statique de b = A) Type dynamique : celui de l objet à l exécution (type dynamique de b = B) Le typage (statique) nous donne le profil de la méthode à invoquer et nous assure qu une méthode avec le bon type existe Mais liaison tardive/late binding : le choix de la méthode se fait à l exécution avec le type réel. Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
24 Typage à l exécution : ce qu il reste à vérifier Transtypage vers le bas (explicite) : (T)a utile notamment pour les SDD de l API Java (antérieures à la généricité) en supposant a de type T, ce transtypage nécessite juste un type comparable : T T ou T T pour passer la compilation Remarque : (T)a est une expression de type T Eventuel problème à l exécution si le type réel de l objet n est un sous-type de T. Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
25 Typage à l exécution : ce qu il reste à vérifier Transtypage vers le bas (explicite) : (T)a utile notamment pour les SDD de l API Java (antérieures à la généricité) en supposant a de type T, ce transtypage nécessite juste un type comparable : T T ou T T pour passer la compilation Remarque : (T)a est une expression de type T Eventuel problème à l exécution si le type réel de l objet n est un sous-type de T. Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
26 Plan du cours 1 Typage de Java 2 Typage et le bytecode Java Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
27 Exécution d un programme Java Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
28 Un exemple de fichier.class class essai extends java.lang.object{ essai(); Code: 0: aload 0 1: invokespecial #1; //Method java/lang/object."<init>":()v 4: return public static void main(java.lang.string[]); Code: 0: new #2; //class B 3: dup 4: invokespecial #3; //Method B."<init>":()V 7: astore 1 8: aload 1 9: iconst 1 11: invokevirtual #4; //Method A.print:(I)V 14: return Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
29 La machine virtuelle Java : architecture Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
30 JVM pc contient l adresse de l instruction courante; La mémoire contient un tas (heap) dans lequel les objets sont alloués Pour chaque thread, Frame stack : une frame est créée à chaque invocation de méthodes et empilée sur la frame stack; à la fin de l exécution de la méthode, la frame correspondante est dépilée. Chaque frame contient : la méthode courante des variables locales la pile des opérandes Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
31 JVM : langage Le langage de la JVM est un langage de bas niveau (type langage machine) mais orientée objet. contient les principaux types primitifs de Java supporte les classes et les interfaces. Le langage utilise intensément la pile des opérandes pour faire la manipulation des données (y compris objet) et les branchements conditionnels : iadd, isub,... ifeq, if icmpeq, if icmpne,... new, putfield, getfield,... L appel de méthodes se fait notamment avec invokevirtual, invokespecial. Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
32 JVM : Bytecode verifier Le bytecode est un langage de bas niveau orientée objet avec un mécanisme de typage statique. Pourquoi vérifier le bytecode? le code produit par javac est sûr mais la JVM ignore la provenance du bytecode qu elle charge. il faut donc (re)vérifier le typage il faut garantir des propriétés supplémentaires pour le bon fonctionnement de la JVM Le gestionnaire de sécurité effectue d autres vérification : Propriétés de sécurité (voir le cours de sécurité) Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
33 JVM : Bytecode verifier Propriétés vérifiées : on ne forge pas de pointeur l accès aux méthodes et aux champs d un objet est garanti (le champs ou la méthode existe effectivement) l accès aux méthodes et aux champs d un objet respecte les règles d accès les opérations et les invocations de méthodes se font sur des valeurs de type correct. la hauteur de la pile d opérandes est borné et il n y a pas d erreurs d understack. toutes les branches du flot de contrôle d une méthode non-void conduit à un return et le sommet de la pile des opérandes est du type de la méthode.... Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
34 JVM : Bytecode verifier Hauteur de pile bornée : La zone contenant la pile opérandes de la JVM et les variables locales doit être de taille borné. La pile doit donc être de hauteur bornée. 8 : ifeq : dup 13 : iconst 1 14 : isub 15 : dup 16 : goto 8 17 : ne passe pas le vérificateur! Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
35 JVM : Bytecode verifier Hauteur de pile bornée : On va vérifier que pour chaque instruction, il existe un entier k tel que la hauteur de la pile est k à l issu de l exécution de l instruction. On se place dans le cadre de l analyse de flot de données : On abstrait chaque instruction par une fonction que résume l action de celle-ci sur la pile 8 : ifeq : dup 13 : iconst 1 14 : isub 15 : dup 16 : goto 8 17 : λx.x 1 λx.x + 1 λx.x + 1 λx.x 1 λx.x + 1 λx.x Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
36 JVM : Bytecode verifier Hauteur de pile bornée : On extrait du programme un ensemble d équations en utilisant les fonctions d abstraction (en supposant que H i est la hauteur de pile après l instruction i): et on résout ce système sur N, H 12 = H H 13 = H H 14 = H 13 1 H 15 = H H 16 = H 15 H 8 = H 16 1 H 16 = H Pas de solution! le code est rejeté! Remarque : S il existe une solution sur Z mais pas sur N alors on a détecté un stack underflow Jean-Marc Talbot (Aix-Marseille Université)Typage et analyse statique au sein de Java 7 nov / 32
La JVM. La machine virtuelle Java. La JVM. La JVM
La machine virtuelle Java Historique et rappels Organisation mémoire de la JVM Le garbage collector Le bytecode, la machine à pile. Les threads Suivi, tracé, optimisation d un programme Java JVM embarquées
Plus en détailChapitre VI- La validation de la composition.
Chapitre VI- La validation de la composition. Objectifs du chapitre : Expliquer les conséquences de l utilisation de règles de typage souples dans SEP. Présenter le mécanisme de validation des connexions
Plus en détailTraduction des Langages : Le Compilateur Micro Java
BARABZAN Jean-René OUAHAB Karim TUCITO David 2A IMA Traduction des Langages : Le Compilateur Micro Java µ Page 1 Introduction Le but de ce projet est d écrire en JAVA un compilateur Micro-Java générant
Plus en détailObjets et Programmation. origine des langages orientés-objet
Objets et Programmation origine des langages orientés-objet modularité, encapsulation objets, classes, messages exemples en Java héritage, liaison dynamique G. Falquet, Th. Estier CUI Université de Genève
Plus en détailDG-ADAJ: Une plateforme Desktop Grid
DG-ADAJ: Une plateforme pour Desktop Grid Olejnik Richard, Bernard Toursel Université des Sciences et Technologies de Lille Laboratoire d Informatique Fondamentale de Lille (LIFL UMR CNRS 8022) Bât M3
Plus en détailPour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère
L'héritage et le polymorphisme en Java Pour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère En java, toutes les classes sont dérivée de la
Plus en détailF. Barthélemy. 17 mai 2005
Typage de la généricité en Java F. Barthélemy 17 mai 2005 1 Le shéma général La g én éricit é en Java est un ajout r éalis é sur un langage existant depuis d éjà une dizaine d ann ées, avec des contraintes
Plus en détailVérification formelle de la plate-forme Java Card
Vérification formelle de la plate-forme Java Card Thèse de doctorat Guillaume Dufay INRIA Sophia Antipolis Cartes à puce intelligentes Java Card : Environnement de programmation dédié. Dernières générations
Plus en détailUne introduction à Java
Une introduction à Java IFT 287 (Semaine 1) UNIVERSITÉ DE SHERBROOKE 1 Java - Historique Développé par Sun Microsystems en 1994 Inventeur James Gosling (canadien!) Objectif langage sûr (fortement typé)
Plus en détailLMI 2. Programmation Orientée Objet POO - Cours 9. Said Jabbour. jabbour@cril.univ-artois.fr www.cril.univ-artois.fr/~jabbour
LMI 2 Programmation Orientée Objet POO - Cours 9 Said Jabbour jabbour@cril.univ-artois.fr www.cril.univ-artois.fr/~jabbour CRIL UMR CNRS 8188 Faculté des Sciences - Univ. Artois Février 2011 Les collections
Plus en détailEncapsulation. L'encapsulation consiste à rendre les membres d'un objet plus ou moins visibles pour les autres objets.
Encapsulation L'encapsulation consiste à rendre les membres d'un objet plus ou moins visibles pour les autres objets. La visibilité dépend des membres : certains membres peuvent être visibles et d'autres
Plus en détailIntroduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf
Introduction à Java Matthieu Herrb CNRS-LAAS http://homepages.laas.fr/matthieu/cours/java/java.pdf Mars 2014 Plan 1 Concepts 2 Éléments du langage 3 Classes et objets 4 Packages 2/28 Histoire et motivations
Plus en détailINITIATION AU LANGAGE JAVA
INITIATION AU LANGAGE JAVA I. Présentation 1.1 Historique : Au début des années 90, Sun travaillait sur un projet visant à concevoir des logiciels simples et performants exécutés dans des PDA (Personnal
Plus en détailProgrammation Bas Niveau
Programmation Bas Niveau Basé en grande partie sur les notes de Etienne Payet et Fausto Spoto 1 Université de La Réunion FST - L2 Info Introduction 2 Module Machines virtuelles (Java), bytecode, etc. 30h
Plus en détailMécanismes pour la migration de processus
Université Joseph Fourier Institut National Polytechnique de Grenoble U.F.R. Informatiques & Mathématiques Appliquées ENSIMAG I.M.A.G. DEA D INFORMATIQUE : SYSTEMES ET COMMUNICATIONS Projet présenté par
Plus en détailJava 1.5 : principales nouveautés
Cours 6 - TEP - UPMC - 2008/2009 p. 1/34 Java 1.5 : principales nouveautés classes paramétrées : generics encapsulation des valeurs de types primitifs : auto[un]boxing itération sur les boucles types énumérés
Plus en détailHéritage presque multiple en Java (1/2)
Héritage presque multiple en Java (1/2) Utiliser deux classes ou plus dans la définition d'une nouvelle classe peut se faire par composition. class Etudiant{ int numero; Diplome d; float passeexamen(examen
Plus en détailCours intensif Java. 1er cours: de C à Java. Enrica DUCHI LIAFA, Paris 7. Septembre 2009. Enrica.Duchi@liafa.jussieu.fr
. Cours intensif Java 1er cours: de C à Java Septembre 2009 Enrica DUCHI LIAFA, Paris 7 Enrica.Duchi@liafa.jussieu.fr LANGAGES DE PROGRAMMATION Pour exécuter un algorithme sur un ordinateur il faut le
Plus en détailStructure d un programme et Compilation Notions de classe et d objet Syntaxe
Cours1 Structure d un programme et Compilation Notions de classe et d objet Syntaxe POO 1 Programmation Orientée Objet Un ensemble d objet qui communiquent Pourquoi POO Conception abstraction sur les types
Plus en détailPremiers Pas en Programmation Objet : les Classes et les Objets
Chapitre 2 Premiers Pas en Programmation Objet : les Classes et les Objets Dans la première partie de ce cours, nous avons appris à manipuler des objets de type simple : entiers, doubles, caractères, booléens.
Plus en détailTP1 : Initiation à Java et Eclipse
TP1 : Initiation à Java et Eclipse 1 TP1 : Initiation à Java et Eclipse Systèmes d Exploitation Avancés I. Objectifs du TP Ce TP est une introduction au langage Java. Il vous permettra de comprendre les
Plus en détailLicence Bio Informatique Année 2004-2005. Premiers pas. Exercice 1 Hello World parce qu il faut bien commencer par quelque chose...
Université Paris 7 Programmation Objet Licence Bio Informatique Année 2004-2005 TD n 1 - Correction Premiers pas Exercice 1 Hello World parce qu il faut bien commencer par quelque chose... 1. Enregistrez
Plus en détailCours 1 : Introduction. Langages objets. but du module. contrôle des connaissances. Pourquoi Java? présentation du module. Présentation de Java
Langages objets Introduction M2 Pro CCI, Informatique Emmanuel Waller, LRI, Orsay présentation du module logistique 12 blocs de 4h + 1 bloc 2h = 50h 1h15 cours, 45mn exercices table, 2h TD machine page
Plus en détailSynchro et Threads Java TM
Synchro et Threads Java TM NICOD JEAN-MARC Master 2 Informatique Université de Franche-Comté UFR des Sciences et Techniques septembre 2008 NICOD JEAN-MARC Synchro et Threads avec Java TM 1 / 32 Sommaire
Plus en détailProgrammer en JAVA. par Tama (tama@via.ecp.fr( tama@via.ecp.fr)
Programmer en JAVA par Tama (tama@via.ecp.fr( tama@via.ecp.fr) Plan 1. Présentation de Java 2. Les bases du langage 3. Concepts avancés 4. Documentation 5. Index des mots-clés 6. Les erreurs fréquentes
Plus en détailCours 1: Java et les objets
Ressources Les interface homme-machine et le langage Java DUT première année Henri Garreta, Faculté des Sciences (Luminy) Cyril Pain-Barre & Sébastien Nedjar, IUT d Aix-Marseille (Aix) Cours 1: infodoc.iut.univ-aix.fr/~ihm/
Plus en détailGénéralités sur le Langage Java et éléments syntaxiques.
Généralités sur le Langage Java et éléments syntaxiques. Généralités sur le Langage Java et éléments syntaxiques....1 Introduction...1 Genéralité sur le langage Java....1 Syntaxe de base du Langage...
Plus en détailMémoire de stage de Master 2
Académie de Montpellier Sciences et Techniques du Languedoc Mémoire de stage de Master 2 effectué au Laboratoire d Informatique de Robotique et de Micro-électronique de Montpellier Spécialité : AIGLE Étude
Plus en détailNouvelles approches en sécurité de Java
. Cours diagnostic de synthèse IFT-64894 Nouvelles approches en sécurité de Java Présenté à Pr Jules Desharnais Par Frédéric Painchaud Le 18 juillet 2002. i Table des matières Table des matières... i 1
Plus en détailInitiation à JAVA et à la programmation objet. raphael.bolze@ens-lyon.fr
Initiation à JAVA et à la programmation objet raphael.bolze@ens-lyon.fr O b j e c t i f s Découvrir un langage de programmation objet. Découvrir l'environnement java Découvrir les concepts de la programmation
Plus en détailAuto-évaluation Programmation en Java
Auto-évaluation Programmation en Java Document: f0883test.fm 22/01/2013 ABIS Training & Consulting P.O. Box 220 B-3000 Leuven Belgium TRAINING & CONSULTING INTRODUCTION AUTO-ÉVALUATION PROGRAMMATION EN
Plus en détailTP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
Plus en détailPage 1 sur 5 TP3. Thèmes du TP : l la classe Object. l Vector<T> l tutorial Interfaces. l Stack<T>
Page 1 sur 5 TP3 Lectures préalables : l Java_II l tutorial Interfaces Thèmes du TP : l la classe Object l Vector l Stack Une pile d'objects Les éléments de la classe Pile sont maintenant des instances
Plus en détailPlan du cours. Historique du langage http://www.oracle.com/technetwork/java/index.html. Nouveautés de Java 7
Université Lumière Lyon 2 Faculté de Sciences Economiques et Gestion KHARKIV National University of Economic Introduction au Langage Java Master Informatique 1 ère année Julien Velcin http://mediamining.univ-lyon2.fr/velcin
Plus en détailRemote Method Invocation (RMI)
Remote Method Invocation (RMI) TP Réseau Université Paul Sabatier Master Informatique 1 ère Année Année 2006/2007 Plan Objectifs et Inconvénients de RMI Fonctionnement Définitions Architecture et principe
Plus en détailPolycopié Cours Programmation Orientée Objet sous Java Programme : Filière SMI S5
UNIVERISTE MOHAMMED PREMIER Faculté des Sciences d Oujda Oujda - Maroc Polycopié Cours Programmation Orientée Objet sous Java Programme : Filière SMI S5 Pr. El Mostafa DAOUDI Département de Mathématiques
Plus en détailMachines virtuelles. Brique ASC. Samuel Tardieu sam@rfc1149.net. Samuel Tardieu (ENST) Machines virtuelles 1 / 40
Machines virtuelles Brique ASC Samuel Tardieu sam@rfc1149.net École Nationale Supérieure des Télécommunications Samuel Tardieu (ENST) Machines virtuelles 1 / 40 Machines virtuelles La compilation peut
Plus en détailTp 1 correction. Structures de données (IF2)
Tp 1 correction Structures de données (IF2) Remarque générale : compilez et exécutez le code au-fur-et-à mesure de son écriture. Il est plus facile de corriger une petite portion de code délimitée que
Plus en détailINTRODUCTION A JAVA. Fichier en langage machine Exécutable
INTRODUCTION A JAVA JAVA est un langage orienté-objet pur. Il ressemble beaucoup à C++ au niveau de la syntaxe. En revanche, ces deux langages sont très différents dans leur structure (organisation du
Plus en détailP r ob lé m a t iq u e d e la g é n é r icit é. Pr in cip e d e la g é n é r icit é e n Ja v a ( 1 /3 )
P r ob lé m a t iq u e d e la g é n é r icit é les versions de Java antérieures à 1.5 permettaient de créer des classes de structures contenant n'importe quels types d'objet : les collections (classes
Plus en détailRMI le langage Java XII-1 JMF
Remote Method Invocation (RMI) XII-1 Introduction RMI est un ensemble de classes permettant de manipuler des objets sur des machines distantes (objets distants) de manière similaire aux objets sur la machine
Plus en détailJava c est quoi? Java pourquoi?
Grandes lignes du cours Cours JAVA : Le bases du langage Java. Version 3.02 Julien Sopena 1 1 julien.sopena@lip6.fr Équipe REGAL - INRIA Rocquencourt LIP6 - Université Pierre et Marie Curie Licence professionnelle
Plus en détailC++ COURS N 2 : CLASSES, DONNÉES ET FONCTIONS MEMBRES Classes et objets en C++ Membres d'une classe Spécification d'une classe Codage du comportement
C++ COURS N 2 : CLASSES, DONNÉES ET FONCTIONS MEMBRES Classes et objets en C++ Membres d'une classe Spécification d'une classe Codage du comportement des objets d'une classe Utilisation d'une classe Droit
Plus en détailLa technologie Java Card TM
Présentation interne au CESTI La technologie Java Card TM sauveron@labri.u-bordeaux.fr http://dept-info.labri.u-bordeaux.fr/~sauveron 8 novembre 2002 Plan Qu est ce que Java Card? Historique Les avantages
Plus en détailas Architecture des Systèmes d Information
Plan Plan Programmation - Introduction - Nicolas Malandain March 14, 2005 Introduction à Java 1 Introduction Présentation Caractéristiques Le langage Java 2 Types et Variables Types simples Types complexes
Plus en détailPolymorphisme, la classe Object, les package et la visibilité en Java... 1
Polymorphisme, la classe Object, les package et la visibilité en Java. Polymorphisme, la classe Object, les package et la visibilité en Java.... 1 Polymorphisme.... 1 Le DownCast... 4 La Classe Object....
Plus en détailFacultés Universitaires Notre-Dame de la Paix. Conception et Programmation Orientées- Object
Facultés Universitaires Notre-Dame de la Paix Conception et Programmation Orientées- Object 2008-2009 RÉSUMÉ PRATIQUE... 4 CLASSE OBJET... 4 NOTION D HÉRITAGE... 4 LE POLYMORPHISME... 5 LES CLASSES ABSTRAITES...
Plus en détailRemote Method Invocation Les classes implémentant Serializable
Parallélisme Architecture Eric Goubault Commissariat à l Energie Atomique Saclay Classe qui implémente la méthode distante (serveur): - dont les méthodes renvoient un objet serializable - ou plus généralement
Plus en détailBases Java - Eclipse / Netbeans
Institut Galilée PDJ Année 2014-2015 Master 1 Environnements Java T.P. 1 Bases Java - Eclipse / Netbeans Il existe plusieurs environnements Java. Il est ESSENTIEL d utiliser la bonne version, et un environnement
Plus en détailJava Licence Professionnelle 2009-2010. Cours 7 : Classes et méthodes abstraites
Java Licence Professionnelle 2009-2010 Cours 7 : Classes et méthodes abstraites 1 Java Classes et méthodes abstraites - Le mécanisme des classes abstraites permet de définir des comportements (méthodes)
Plus en détailÉtude de l interopérabilité de deux langages de programmation basée sur la machine virtuelle de Java
Université Catholique de Louvain Faculté des Sciences Appliquées Département d Ingénierie Informatique Étude de l interopérabilité de deux langages de programmation basée sur la machine virtuelle de Java
Plus en détailProgrammation Objet Java Correction
INSA - 4 AE 2007 2008 Durée : 1H00 Contrôle Programmation Objet Java Correction Consignes Tous les documents sont autorisés, mais ils seront peu utiles. Indiquez vos nom et prénom sur chaque feuille. Le
Plus en détailRN2-Programmation Orientée Objet - JAVA CH 1 Introduction à la POO et Java
RN2-Programmation Orientée Objet - JAVA CH 1 à la POO et Java Licence Professionnelle 2006 Agnès Guerraz INRIA Rhône-Alpes agnes.guerraz@inria.fr LP UPMF, Grenoble Septembre 2006 Ce cours reprend en grande
Plus en détailThreads. Threads. USTL http://www.lifl.fr/ routier 1
Threads USTL http://www.lifl.fr/ routier 1 Rappels - Définitions un Process est un programme qui tourne et dispose de ses propres ressources mémoire. OS multi-tâche plusieurs process en concurrence un
Plus en détailJava c est quoi? Java. Java. Java : Principe de fonctionnement 31/01/2012. 1 - Vue générale 2 - Mon premier programme 3 - Types de Programme Java
1 - Vue générale 2 - Mon premier programme 3 - Types de Programme 1 2 c est quoi? Technologie développée par SUN Microsystems lancée en 1995 Dans un des premiers papiers* sur le langage JAVA, SUN le décrit
Plus en détailRAPPELS SUR LES METHODES HERITEES DE LA CLASSE RACINE Object ET LEUR SPECIALISATION (i.e. REDEFINITION)
CLASSE RACINE Object ancêtre de toutes les classes RAPPELS SUR LES METHODES HERITEES DE LA CLASSE RACINE Object ET LEUR SPECIALISATION (i.e. REDEFINITION) définit donc des méthodes héritées par toutes
Plus en détailTD/TP PAC - Programmation n 3
Université Paris Sud Licence d informatique/iup-miage2 Année 2004-2005 Auteur : Frédéric Vernier Semaine : 11-16 octobre 2004 Conditions : sur machine avec les outils standards java web: http://vernier.frederic.free.fr/indexpac.html
Plus en détailJava Licence Professionnelle CISII, 2009-2010
Licence Professionnelle CISII, 2009-2010 Cours 1 : Introduction à Java A. Belaïd abelaid@loria.fr Cours disponible sur le site : http://www.loria.fr/~abelaid puis Teaching 1 Fonctionnement 12 séances :
Plus en détailChapitre 10. Les interfaces Comparable et Comparator 1
Chapitre 10: Les interfaces Comparable et Comparator 1/5 Chapitre 10 Les interfaces Comparable et Comparator 1 1 Ce chapitre a été extrait du document "Objets, Algorithmes, Patterns" de [René Lalement],
Plus en détailLangage et Concepts de Programmation Objet. 1 Attributs et Méthodes d instance ou de classe. Travaux Dirigés no2
Langage et Concepts de Programmation Objet Travaux Dirigés no2 Pôle Informatique École Nationale Supérieure des Mines de St-Etienne Vous trouverez plus de détails sur les concepts abordés lors de ce TD
Plus en détailCours 1 : La compilation
/38 Interprétation des programmes Cours 1 : La compilation Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr PPS - Université Denis Diderot Paris 7 2/38 Qu est-ce que la compilation? Vous avez tous déjà
Plus en détailProgrammation Orientée Objet Java
Programmation Orientée Objet Java Bertrand Estellon Département Informatique et Interactions Aix-Marseille Université 12 novembre 2014 Bertrand Estellon (DII AMU) Programmation Orientée Objet Java 12 novembre
Plus en détailCorrigé des exercices sur les références
Corrigé des exercices sur les références Exercice 3.1.1 dessin Pour cet exercice, vous allez dessiner des structures de données au moyen de petits schémas analogues à ceux du cours, comportant la pile
Plus en détailLangage Java. Classe de première SI
Langage Java Table des matières 1. Premiers pas...2 1.1. Introduction...2 1.2. Mon premier programme...2 1.3. Les commentaires...2 2. Les variables et les opérateurs...2 3. La classe Scanner...3 4. Les
Plus en détailArgument-fetching dataflow machine de G.R. Gao et J.B. Dennis (McGill, 1988) = machine dataflow sans flux de données
EARTH et Threaded-C: Éléments clés du manuel de références de Threaded-C Bref historique de EARTH et Threaded-C Ancêtres de l architecture EARTH: Slide 1 Machine à flux de données statique de J.B. Dennis
Plus en détailProgrammation Orientée Objet application au langage Java Version Novembre 2007
Programmation Orientée Objet application au langage Java Version Novembre 2007 Mickaël BARON - 2007 mailto:baron.mickael@gmail.com ou mailto:mickael.baron@serli.com SERLI informatique SERLI : www.serli.com
Plus en détailGénie Logiciel avec Ada. 4 février 2013
Génie Logiciel 4 février 2013 Plan I. Généralités II. Structures linéaires III. Exceptions IV. Structures arborescentes V. Dictionnaires I. Principes II. Notions propres à la POO I. Principes Chapitre
Plus en détailClasses et Objets en Ocaml.
Classes et Objets en Ocaml. Didier Rémy 2001-2002 http://cristal.inria.fr/ remy/mot/2/ http://www.enseignement.polytechnique.fr/profs/informatique/didier.remy/mot/2/ Cours Exercices Slide 1 1. Objets 2.
Plus en détailRappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme
Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation
Plus en détailChapitre I Notions de base et outils de travail
Chapitre I Notions de base et outils de travail Objectifs Connaître les principes fondateurs et l historique du langage Java S informer des principales caractéristiques du langage Java Connaître l environnement
Plus en détailLangage et Concepts de ProgrammationOrientée-Objet 1 / 40
Déroulement du cours Introduction Concepts Java Remarques Langage et Concepts de Programmation Orientée-Objet Gauthier Picard École Nationale Supérieure des Mines de Saint-Étienne gauthier.picard@emse.fr
Plus en détailExceptions. 1 Entrées/sorties. Objectif. Manipuler les exceptions ;
CNAM NFP121 TP 10 19/11/2013 (Séance 5) Objectif Manipuler les exceptions ; 1 Entrées/sorties Exercice 1 : Lire un entier à partir du clavier Ajouter une méthode readint(string message) dans la classe
Plus en détailCorrigés des premiers exercices sur les classes
Corrigés des premiers exercices sur les classes Exercice 2.1.1 utilisation d une classe Voici le texte d une classe représentant de façon sommaire un compte bancaire et les opérations bancaires courantes.
Plus en détailUtiliser Java sans BlueJ
Conception objet en Java avec BlueJ une approche interactive Utiliser Java sans BlueJ Michael Kölling version française: Patrice Moreaux Rédigé avec 1.0 Conception objet en Java avec BlueJ une approche
Plus en détailGestion mémoire et Représentation intermédiaire
Gestion mémoire et Représentation intermédiaire Pablo de Oliveira March 23, 2015 I Gestion Memoire Variables locales Les variables locales sont stockées: Soit dans un registre,
Plus en détailInfo0101 Intro. à l'algorithmique et à la programmation. Cours 3. Le langage Java
Info0101 Intro. à l'algorithmique et à la programmation Cours 3 Le langage Java Pierre Delisle, Cyril Rabat et Christophe Jaillet Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique
Plus en détailQuelques patterns pour la persistance des objets avec DAO DAO. Principe de base. Utilité des DTOs. Le modèle de conception DTO (Data Transfer Object)
Quelques patterns pour la persistance des objets avec DAO Ce cours présente des modèles de conception utilisés pour effectuer la persistance des objets Université de Nice Sophia-Antipolis Version 1.4 30/8/07
Plus en détailJava Licence Professionnelle CISII, 2009-10
Java Licence Professionnelle CISII, 2009-10 Cours 4 : Programmation structurée (c) http://www.loria.fr/~tabbone/cours.html 1 Principe - Les méthodes sont structurées en blocs par les structures de la programmation
Plus en détailProgrammation Orientée Objet
Université de Pau et des Pays de l Adour Institut Universitaire de Technologie des Pays de l Adour Département Réseaux et Télécommunications 371, rue du Ruisseau BP 201 40004 Mont-de-Marsan Cedex tél :
Plus en détailDerrière toi Une machine virtuelle!
Derrière toi Une machine virtuelle! Yann-Gaël Guéhéneuc guehene@emn.fr École des Mines de Nantes, France Object Technology International Inc., Canada D où ça vient? Calculatrice Machine de Turing 1936
Plus en détailMachines Virtuelles. et bazard autour. Rémi Forax
Machines Virtuelles et bazard autour Rémi Forax Avant propos Quelle est la complexité du code ci-dessous? Avec un processeur à 1Ghz, combien de temps le calcul prendra t'il? public static void main(string[]
Plus en détailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détailJADE : Java Agent DEvelopment framework. Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry.
: Java Agent DEvelopment framework Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry.fr Introduction à la plateforme JADE 1) Modèle d agent 2) Services 3) Norme FIPA
Plus en détailCentre CPGE TSI - Safi 2010/2011. Algorithmique et programmation :
Algorithmique et programmation : STRUCTURES DE DONNÉES A. Structure et enregistrement 1) Définition et rôle des structures de données en programmation 1.1) Définition : En informatique, une structure de
Plus en détailCours Java Native Interface
Cours Java Native Interface 1999, Cnam Paris jean-michel Douin, douin@cnam.fr Version du 28 Mars 2002 http://lmi92.cnam.fr:8080/tp_cdi/{douin/ Notes de cours jni : de Java vers C/C++ et de C/C++ vers Java
Plus en détailCalcul Parallèle. Cours 5 - JAVA RMI
Calcul Parallèle Cours 5 - JAVA RMI Eric Goubault Commissariat à l Energie Atomique & Chaire Ecole Polytechnique/Thalès Saclay Le 28 février 2012 Eric Goubault 1 28 février 2012 Remote Method Invocation
Plus en détailMachines virtuelles fonctionnelles (suite) Compilation ML Java
Machines virtuelles fonctionnelles (suite) Compilation ML Java Cours de Compilation Avancée (MI190) Benjamin Canou Université Pierre et Maire Curie Année 2011/2012 Semaine 3 Machines virtuelles fonctionnelles
Plus en détailPROGRAMMATION PAR OBJETS
PROGRAMMATION PAR OBJETS Java Environnement et constructions spécifiques Walter Rudametkin Maître de Conférences Bureau F011 Walter.Rudametkin@polytech-lille.fr B. Carré Polytech Lille 2 Java (Sun 1995)
Plus en détailRemote Method Invocation en Java (RMI)
Remote Method Invocation en Java (RMI) Modélisation et construction des applications réparties (Module M-4102C) J. Christian Attiogbé Fevrier 2015 J. Christian Attiogbé (Fevrier 2015) Remote Method Invocation
Plus en détail1 Définition d une classe en Java
Université Montpellier-II UFR des Sciences - Département Informatique Licence Informatique - Ingénierie Logicielle - Concepts et Outils de la modélisation et du développement de logiciel par et pour la
Plus en détailProgrammation par les Objets en Java
Programmation par les Objets en Java Najib TOUNSI Les classes en Java (TD 3) I. Notion de classe I.1 Classe, champs, méthodes, instanciation, this, private vs. public. Créer une classe Point (coordonnée
Plus en détailJava DataBaseConnectivity
Java DataBaseConnectivity JDBC JDBC est une API Java (ensemble de classes et d interfaces défini par SUN et les acteurs du domaine des SGBD) permettant d accéder aux bases de données à l aide du langage
Plus en détailCours de C++ François Laroussinie. 2 novembre 2005. Dept. d Informatique, ENS de Cachan
Cours de C++ François Laroussinie Dept. d Informatique, ENS de Cachan 2 novembre 2005 Première partie I Introduction Introduction Introduction Algorithme et programmation Algorithme: méthode pour résoudre
Plus en détailMachines Virtuelles Cours 3 : La machine virtuelle Java
Machines Virtuelles Cours 3 : La machine virtuelle Java Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Vue
Plus en détailProgrammation Réseau. Sécurité Java. Jean-Baptiste.Yunes@univ-paris-diderot.fr. UFR Informatique 2012-2013. jeudi 4 avril 13
Programmation Réseau Sécurité Java Jean-Baptiste.Yunes@univ-paris-diderot.fr UFR Informatique 2012-2013 Java Sécurité? différentes sécurités disponibles et contrôlables intégrité contrôle d accès signature/authentification/cryptographie
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailGénéricité. en Java. (polymorphisme paramétrique) Philippe GENOUD UJF Janvier 2015 1
(polymorphisme paramétrique) en Java Philippe GENOUD UJF Janvier 2015 1 Motivations Supposons que l'on développe du code pour gérer une file d'attente (FIFO First In First Out) et que l'on veuille utiliser
Plus en détailJava - la plateforme
Java - la plateforme Java la plateforme Java? VM GC JIT Java Aujourd'hui 3 environnements d'exécutions différents Java ME (Micro Edition) pour PDA, téléphone Android (Java SE moins certain paquetages)
Plus en détailLambda! Rémi Forax Univ Paris-Est Marne-la-Vallée
Lambda! Rémi Forax Univ Paris-Est Marne-la-Vallée forax at univ-mlv dot fr - ParisJUG Java.next() - Mars 2012 What Else? Lambda == Inner class? Java a des lambdas depuis la version 1.1 Exemple utilisant
Plus en détailProjet de Veille Technologique
Projet de Veille Technologique Programmation carte à puce - JavaCard Ing. MZOUGHI Ines (i.mzoughi@gmail.com) Dr. MAHMOUDI Ramzi (mahmoudr@esiee.fr) TEST Sommaire Programmation JavaCard Les prérequis...
Plus en détail