Organisation du stage
Contents
1. Conference d introduction a la programmation et aux langages de programmation C Dubois Plan Programmation et Developpement de logiciel Les langages un petit historique Programmation fonctionnelle Programmation imperative Program m ation objets Programmation logique Programmation et Developpement de logiciel Qu est ce que la programmation Description d un calcul traitement dans un langage comprehensible par la machine langage de programmation Une du cycle de vie du logiciel validation externe conception olobale tests conception unitaires d taill e program mation validation externe abstraite integratio tests unitaires raffinement successifs preuve programme Un langage de programmation doit aider crire des programmes de bonne qualit Programme de Bonne Qualite correct robuste lisible bien documente facile modifier extensible Autres crit res efficacit portabilit int grit r utilisabilit ergonomie utilisation et apprentissage gt souvent n cessit de compromis programmation structur e types m canisme d exceptions c n ricit polymorphisme surcharge Programmation a petite chelle Programmation a grande chelle j pour maintenir de grands programmes structure et organisation d composer un grand programme en morceaux mo2. appuie sur C mais nettoy PHP 95 langage de scripts multi plateformes pages HTML dynamiques et interactives JavaScript 95 insertion de code dans les pages HTML C 2000 programmation internet plateforme net Pourquoi tant de langages Beaucoup d aspects traiter ensemble donn es actions programming in the small architecture programming in the large comment r duire et d tecter les bugs gestion de la m moire Beaucoup d innovations successives fonctionnel polymorphisme modules objets parall lisme Enorm ment de compromis possibles plusieurs grandes classes et beaucoup de dialectes Mais heureusement des th ories solides automates grammaires lambda calcul logique Pour finir avec le sourire Plus de 2500 langages ont t r f renc s 2003 en 67 120 avec 15 utilis s seulement Langages delirants et exotiques exemple le langage cow moo Une chanson a boire 99 bottles of beer dont le texte t crit l aide de plus de 1120 langages de programmation http 99 bottles of beer ls la net Lyrics of the song 99 Bottles of Beer 99 bottles of beer on the wall 99 bottles of beer Take one down and pass it around 98 bottles of beer on the wall 98 bottles of beer on the wall 98 bottles of beer Take one down and pass it around 97 bottles of beer on the wall 1 bottle of beer on the wall 1 bottle of beer Take one down and pa
3. c dures concurrent tache processus communication objets objets m thodes h ritage fonctionnel fonctions logique pr dicats simula Smalltalk 1980 1990 DUO MEE uA orient s objets imp ratifs et concurrents 1950 Invention l assembleur Cambridge Avant la programmation s effectuait directement en binaire 1951 Invention du premier compilateur AO par Grace Murray Hopper qui permet de g n rer un programme binaire a partir d un code source Fortran 1958 notation symbolique des variables ions arithm ti expressions arithmetiques COMPILATEUR Algol 1960 epassage de parametres estructures de donn es plus riches types gt Pascal 1970 Ada 1980 LISP 1958 manipulation symbolique r cursivit gestion automatique de la m moire interactivit a gt nombreux dialectes Scheme BASES THEORIQUES DE LA PROGRAMMATION fin 60 d but 70 s mantique des langages syst mes de preuve A calcul logique Prolog 72 fond sur la logique des pr dicats calculer avec des relations ex cution d monstration contraintes 90 ML langage de commande pour un d montrateur de th or mes 78 syst me de types tr s puissant inf rence de types Caml 84 ENS INRIA Modula2 79 modules C 86 C sous ensemble de C Eiffel amene la notion de contrat Java 95 s
4. dules connect s entre eux par des interfaces bien d finies mais aussi ind pendants que possible module ensemble de ressources donn es types op rations li es s mantiquement interface mode d emploi du module partie publique 7 principe du masquage des informations Langages de programmation Les fonctions du langage d apr s Berry http www college de france fr default EN all inn tec2007 cours n3 les langages de progr htm Un outil pour crire des programmes par des hommes ou des programmes pour la machine ou les autres hommes diff rents niveaux d abstraction Le support d interaction avec la pens e styles distincts imp ratif fonctionnel logique temporel CIO Le support de guerres de religions On a toujours un style de pr dilection l histoire montre un effort continu d abstraction gt echapper aux particularismes des machines gt utiliser des concepts de haut niveau Les langages de haut niveau sont caract ris s par des concepts tels que valeurs types expressions variables instructions structures de contr le liaison port e d claration fonctions proc dures param tres encapsulation modules objets concurrence t ches communication Les concepts sont assembl s de diff rentes fa ons diff rents paradigmes de langages de programmation Paradigmes Concepts principaux imp ratif variables pro
5. s variables d instance op rations sur ces donn es m thodes g n ralement les variables d instance sont cach es encapsul es message O m objet m m thode de l objet O exemple un objet rectangle variables d instances longueur largeur point inf rieur gauche m thodes get longueur get largeur sommet xx d placer tirer allonger Heritage Cr er une nouvelle classe en enrichissant en sp cialisant une classe existante L enrichissement peut porter sur donn es on ajoute de nouvelles variables d instances m thodes on ajoute de nouvelles m thodes on sp cialise des m thodes existantes In In t h ritage A tout objet de la classe B on peut envoyer les messages m m m et m Programmation logique Prolog et ses dialectes langages a contraintes programme des r gles et des faits r sultat la ou les r ponses une requ te Composants de base pr dicats relations entre valeurs Exemple somme une relation entre 3 naturels somme X Y Z Z est la somme des entiers X et Y somme X zero X un fait Si somme X succ Y Z alors somme succ X Y Z une r gle Des exemples de requ tes somme 1 2 R 7 3 somme 1 2 4 No somme 1 Y 4 somme X Y 4 X 0 Y 4 X 1 Y 3 X 3 Y 1 X 4 Y 0
6. ss it around no more bottles of beer on the wall No more bottles of beer on the wall no more bottles of beer Go to the store and buy some more 99 bottles of beer on the wall Programmation fonctionnelle Lisp Scheme Caml SML M iranda H askell etc programme ensemble de definitions de fonctions r sultat application d une fonction un jeu particulier de donn es composant de base la fonction op ration de base l application notion de fonction celle des maths param tre ou d finie par abstraction let f x e argument application f a gt e x a substituti corps fonction citoyen de premiere classe Programmation imperative Pascal Ada etc programme suite d instructions qui font voluer l tat m moire le r sultat est dans l tat final m moire s quence de locations cellules location gt adresse valeur 7 e 6 c est l instruction d affectation E qui fait voluer la m moire RN Instruction ordre donn a la machine affectation h rit es de la primitives d entr es sorties structure des s quence ordinateurs instruction conditionnelle boucle contr le appel de sous programme Programmation objets C Java Eiffel Sm alltalk O cam l etc programme collection d objets qui communiquent entre eux par message le r sultat un message envoy a un objet particulier objet donn es attribut
Download Pdf Manuals
Related Search