Icobj Programming

(1)

HAL Id: inria-00073665

https://hal.inria.fr/inria-00073665

Submitted on 24 May 2006

HAL is a multi-disciplinary open access

archive for the deposit and dissemination of

sci-entific research documents, whether they are

pub-lished or not. The documents may come from

teaching and research institutions in France or

abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est

destinée au dépôt et à la diffusion de documents

scientifiques de niveau recherche, publiés ou non,

émanant des établissements d’enseignement et de

recherche français ou étrangers, des laboratoires

publics ou privés.

Icobj Programming

Frédéric Boussinot

To cite this version:

(2)

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Icobj Programming

Fre´de´ric Boussinot

N˚ 3028

Octobre 1996

(3)

(4)

"!$#&%(')*) ,+ %-.0/213546879;:<=4>?A@B4C;<=DE<FC=1354< GIH=JLKM4C;NPORQFSTO 9U>V2VWJH=CYX24HF4*Z[/E4H\Z[/E4^]_`TabTc$7edfZgC=Jh2H=4i6jjTkl7m6ciV2>Ln4< oprqstvu2wTsTxzy <={|3iVE}|4>]2X~?E}|}DnH\>TV2/2{|Z>L}V2H=JTnH=>3i3&{]En354C\/EJEX{|<8V2HF4*<F4*]CF4XW?2<={|]2nB>BVJY 4*HM~?2}354*>T]2<8CFJZgJ3&hE{]E45hW4/>v{|JH\<8.0/E{<8VHFJnH\>T3i35{|]En{|<fh2>T<=4XJ]PC\/E45]2JTCF{|J]JL~I>]F{|ZJhAK ;/2{|Z[//2>T<>hW4/2>vA{|JH\>L}>T<\V4*ZgCUMJhAKM4ZC8V2>HFC[E>nH=>V2/E{Z>T}W>T<\VW4ZgC8|F{|ZJ]8V>TH=CA0{|C=/>T]=>T]A {3i>LC={J]5>T<\VW4ZgClQMZgJhEK8V2H=JTnH\>T3i35{]EnV2H=JA{|XE4*<UV2>H=>T}}|4}|{<=3h2H=J>TXZ>T<=C;4T4]CfZgJ3i3&?2]E{Z>LC={J] >]2X3&{|nH\>LC={J]C\/2HFJ?En/C=/E4]24CJH\W y ]4g@2VW4H={|354]C\>L};<=DA<=CF4*3h2><F4*XJ]C=/2{|<>V2V2H=J>TZ[/{|< X24<\ZH={|hW4X{]XE4C=>T{}<QC\<0{35V2}4*3&4*]C=>LC={J]0{|C=/H=4>ZgCF{|T4l<\ZH={|VEC\<Y{|<U>L}<FJiV2H=4<=4]CF4*X (¡\¢£ tv¤ qTx G>H=>T}}|4}|{<=3AQMZgJ]W¥AZH={VEC29U4>TZCF{|T4¦V2H=JTnH=>3535{]En §©¨ªF«¬0ª0®r¯|«°±g² ³W´¦µ¶·´l¸º¹*» ¼µE¼L½¾g¿¹LÀA¶Á¾[Â[Ã[¾Ä;ÅÆ[ÇvÈvÉËÊ¸rÌÍ"ÉÎÇLÆ[ÏÎÉÎÐÑMÒMÓvÒÔ

Unite´ de recherche INRIA Sophia-Antipolis

2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France)

Te´le´phone : (33) 93 65 77 77 – Te´le´copie : (33) 93 65 77 65

(5)

q x df]V2H=:<=4]C=4?2]E45V2HFJnH\>T3i3i>LC={J]<={|3iVE}|{:4(ZJ3iVE}|1C=4354]C;nH=>V2/E{?24TW>v4Z?] 35:*Z>T]2{|<\354BV2?E{<=<\>T]CXE4ZgJ3&hE{]2>L{<FJ] XE4ZgJ3iVJHFC=4354]C=<º4C=CF4VHFJnH\>T3i3i>LCF{|J]$HF4*VJ<F4B<\?2H ?]E4]EJTC={J]X{ZgJhEKA?E{rH=4nHFJ?2VW4fX2>]2<;?2]243354¦4]CF{|CF:&?2]>T<\V4*ZgC;ZgJ3iVJHFC=4354]C=>T}R"Z>TH\>TZg C=:H={|<=CF{A?E4MJhAKM4CMF[?2] >T<\VW4ZgClnH=>V2/E{?24,Z>TH\>TZCF:*HF{<FC={A?E4lM{Z]E4[=U4C¦?2] >T<\VW4ZgC;=>T]E{3i>LC={J] º4CFC=4&V2H=JTnH=>353i>TCF{|J]V2>THU{|ZJhAKF<fVW4H\3&4CU}|4&V2>H=>T}}|:}|{<=354TW}|>ZgJ353&?2]E{Z>TCF{|J]PV2>HU:T:]24354]C=< X2{?2<=:<f>L{]2<F{A?E4}>35{|nH\>LC={J]BC=H\>vT4*H=<;}4iHF:*<F4*>T?ldf]XE:*ZH={C84]XE:C=>T{}<8?]<=DA<=CF1*3544g@2VW:H={ 354*]C\>L}(~ÁJ]2XE:<\?2H0Zg4CFCF4>V2V2H=JEZ[/E4f>T{|]<F{ A?E4<=J]{|3iVE}|:354*]C\>LC={J]!ih2><F4¦XE4<\ZH={|V2C=<0H=:>TZCF{~< "^£ s*q ¡ w$# x G>H=>T}}|:}|{|<\354TA{Z]24T<\ZH={|V2C2V2H=JTnH=>353i>TCF{|J]BH=:>ZgCF{|T4