Examen final du 29 Juin 2006 - L043Duree 2 heures - documentation autoriseeExercice 1. Quelques differences entre C++ et Java. Rappeler les mecanismes de passage de parametres enc++ et en Java. Expliquer brievement quelle est la difference en l'operateur d'affectation «=» en c++ etl'operateur «=» du langage Java. Comment do it-on s'y prendre en Java lorsque I'on veut modifier lavaleur d'un entier (int) via une methode quelconque. Donner la methode rnc qui incremente un entier int deune unite et un exemple d'utilisation.Exercice 2. Le type abstrait file (premier entre - premier sorti) est defini par la signature et les axiomessuivants :sorte : fileutilise : booleen, elementoperations :file vide:tete:ajouter :oter tete :est vide:axiomes : f E file, e E elementAI: si est_ vide(f) alors tete( ... ) = •.•A2 : si non est_ vide(f) = faux alors tete( ) = .A3 : si est_vide(f) = vrai alors oter_tete( ) = .A4 : si non est_vide(f) = faux alors oter_tete( ) = ...A5 : est_ vide(file _vide) = ..•A6 : est_vide(ajouter(f, e)) = ..•1) Completer la specification algebrique (profiles des operations et axiomes) du type abstrait de donneefile, la ou il y ales pointilles (... ).2) A l'aide des axiomes calculer Ie resultat du programme (variable resultat) suivant :file_vide f;ajouter(f, 3) ; 5) ;oter_tete(f) ;booleen resultat = est_ vide(f) ;On donnera I' expression fonctionnelle du resultat puis on detaillera bien chaque etape du raisonnement enprecisant chaque ...