home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / fnet / seminair / 99 < prev    next >
Encoding:
Internet Message Format  |  1993-01-24  |  2.7 KB
  1. Path: sparky!uunet!utcsri!skule.ecf!torn!spool.mu.edu!cass.ma02.bull.com!mips2!bull.bull.fr!julienas!seti!inria.fr!Didier.Remy
  2. From: Didier.Remy@inria.fr
  3. Newsgroups: fnet.seminaires
  4. Subject: Lucky Chillan, Une extension de ML avec des aspects orientes objets
  5. Message-ID: <4880@seti.inria.fr>
  6. Date: 21 Jan 93 09:58:27 GMT
  7. Sender: news@seti.inria.fr
  8. Reply-To: Didier.Remy@inria.fr
  9. Distribution: fnet
  10. Organization: INRIA, BP 105, F-78153 Le Chesnay Cedex
  11. Lines: 43
  12. Approved: werner@margaux.inria.fr
  13. Jour: 29/01/93
  14. Lieu: INRIA Rocquencourt
  15.  
  16.  
  17.                                                             
  18.                                                 
  19.                              S E M I N A I R E
  20.  
  21.         ___    _     ___    _          ____   __   ___             _____   
  22.        /   |  / |   /   |  / |        /     /   | /   |  /|  /|   /      /  
  23.       /___/  /__|  /___/  /__|   &   /---  /   / /___/  / |_/ |  /---   /   
  24.      /      /   | /   |  /   |      /      \__/ /   |  /      | /____  /___ 
  25.  
  26.                           I N R I A - Rocquencourt, 
  27.                     Salle de confe'rence du batiment 11
  28.  
  29.  
  30.                          Vendredi 29 janvier, 10h30
  31.  
  32.  
  33.                                --------------
  34.                                Lucky Chillan
  35.                                --------------
  36.  
  37.                          Ecole Normale Supe'rieure
  38.                                       
  39.  
  40.            =====================================================
  41.             Une extension de ML avec des aspects orientes objets
  42.            =====================================================
  43.  
  44.    Les langages  fortements types sont  populaires  a cause de  la securite
  45.    qu'ils  procurent  dans  le  developpement  de  programmes.   Dans   ces
  46.    langages, les langaes fonctionnels polymorphes permettent la synthese de
  47.    type, l'abstraction de donnees, le partage de code par l'utilisation des
  48.    types  parametriques.  Mais   ils ne permettent   pas l'organisation des
  49.    donnees ni la liaison dynamique.  D'un autre  cote les langages orientes
  50.    objets sont de plus en plus utilises car ils permettent naturellement le
  51.    partage de  code et l'organisation des   donnees a travers  les concepts
  52.    d'heritage et de hierarchie de classe.  Ils procurent aussi un mecanisme
  53.    de  liason dynamique.  Cependant  ils ne sont pas  surs et ne permettent
  54.    pas les types parametriques.  Nous presentons  une description, dans une
  55.    approche pragmatique, d'une extension d'un langage fonctionnel fortement
  56.    type avec des traits  orientes objets  supportant  la synthese  de type.
  57.    Nous proposerons un apercu des problemes  que posent la synthese de type
  58.    et la semantique et des approches envisagees comme solution.
  59.