HAL Id: inria-00073555
https://hal.inria.fr/inria-00073555
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-
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,
Programming Languages for Mobile Code
Tommy Thorn
To cite this version:
Tommy Thorn. Programming Languages for Mobile Code. [Research Report] RR-3134, INRIA. 1997.
�inria-00073555�
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
Programming languages for mobile code
Tommy Thorn
N ˚ 3134
Mars, 1997
TH `EME 2
&')(*(,+-&/.0')132
46587
93:/9<;=>@?93ACBD9FEDGIHJBDKBL93E
9MNKOEPKQRE8SUTV:WXGIEDBPYJQR9
Z\[
G]^9M_`OAbac9
d
OeCeXG
[
Mac9
[
93K 5 9 [ K 5
9fAgIhCijhkl=nm@O
[
SopijqIqsrF=nhsreROIHI9jS
tvuxw3yz|{C}IyI~
QCA`S/OARACGIQCAbK9:/93AJM/GNM
5
9e
[
GIH
[
O:/:/BDACHEPOACHJQROHJ9v JO|O :/G
[
9M
5
OIAOIAsTsM
5
BLARH
eXGIeRQCEDO
[
BD9jaM
5
9lARGMBDGIA-G:/GIWRBLED9lKGcac9IoM
5
OMBPS3oNe
[
GIH
[
OI:/S%M
[
OI93ELEDBLARH*GIAO
5
9M9
[
GJHI9AR9GIQbS
AR9M^G [
OAbaOQcMGI:O|MBDK3OEDELT,9c93KQcM9jSQCeXGIA*O [[
BDOIEO|MM
5
9ac93SUMBDARO|MBLGJA8l9ac9jSK
[
BDWX9vSU93I9
[
OIE
KEDOJSS93SG:GJWCBDEL9/KGcac9OAba99sM
[
OJKMM
5
93B
[
KGI:/:/GIA@K 5 O [
OJKM9
[
BDSUMBPKS3o)
5 9 [
9S93KQ
[
BLM^T e
[
G|I9jS
MGWX9FGIAC9G8M
5
9:O]^G
[
KGIAbK9
[
ARS3BLM 5 M 5
93S9FK 5 O [
OJKM9
[
BDSUMBPKS\OJS
[
99
[
9ARK9NeXGIBDAJMSoV9N9cOI:/BLAC9
SBL
[
93e
[
9jSU93AsMO|MBLJ9EPOACHJQROHJ93Se
[
GIeXGJS93aG
[
:GJWCBDEL9/KGcac9J
465
9KGJARKEDQRSBLGJA@GIM
5
BDSSUMQRaCTEL9jOIaCS
MG/GIQ [#[
93KGI:/:/9ARaCOMBDGIARSG
[
QcMQ
[
9G [
ocBDEDELQRSUM
[
O|M93aWVT%9CO:/eCED93S6GIxGJACHIGJBLARH
[
93S93O [ K 5
s¡)¢£¤ z|¥xwI~
:/GIWRBLED9vKGcac9JoacBDSUM
[
BDWCQcMBDGIA`oxAR9M^G [
e [ GIH
[
OI::/BDACHRoebG
[
MOWCBDEDB¦M^TJoxSO|9M^TIoSU9jKQc§
[
BLM^TIo6GIWc]^9jKM%G
[
BD9AsMOMBDGIA8oG
[
:OE:/9M
5
GcaCS3o JO|ORo#¨WCEDBPYbo_`BL:WbGbo
O|9§
4
KE©oN¨Wc]^9jKMBDI9,ªOI:/E©o
4
9ED93SK
[
BDecM3
«P¬
®¯±°j²
®³x´D¯¶µ±·¸
w ~
_\OARACGIARK9acQEDOIACHJOIHI9vaC9ve
[
GIH
[
OI::OMBDGIA* sOO@ac9
QCAO,KGIAsM
[
BDWCQ6?9%G
[
M9:/93AJM
7
OeXGIeRQCEDO
[
BPS9
[
EPO ACGMBLGJAac9vKGcac9:/GJWCBLED9IoKI9jS^M§
7
O§¶acB
[
9/aC9e
[
GJH
[
O:/:/93SFM
[
OIARSU:/BPS
7
OM
[
OI9
[
S<QRA
[ ?9jSU9jOQ 5 ?9MC?9 [
GIH
7
9AR9N9MF9?9jKQcMC?9
7
OEPOJGIE?99CGIQbSNa?9jK
[
BLJGIARSeCELQbSUBD9Q
[
SNKEDOJSS93SNac9KGVaC9:/GIWCBDEL9
9MFARGIQRSF9VM
[
OTJGIARSNEL93Q
[
SFKO
[
OJKMC?9
[
BDSUMBPYsQC93SKGJ::QCAC9jS_OvSc?93KQ
[
BLMC?9OIQ,S9ARS<ac9/KGJAbac93AJMBDOIELBLMC?9
9M/a8BDAsMC?93H
[
B¦MC?9%ACGIMO:/:/9AsM9jS^M/QCAC9 ac9jSe
[ ?9GcKKQCeRO|MBLGJARS:O]^9Q
[
93SebGJQ
[
K9MUM9 KEDOJSS9ac9EPOAc§
HsOHJ93S3I9jKK9jSKO
[
OJKMC?9
[
BDSUMBPYsQC93SFKGJ::/9eXGIBDAsMSac9 [ ?9j?9 [
9AbK9IopARGIQRS9CO:/BLARGIARSSB¦lEDOIACHJOIHI9jS
[
9e
[ ?9jSU93AsMO|MB¦Se
[
GJebGsSc?93SeXGIQ
[
ED9KGcac9v:/GIWRBLED9I_`OlKGJARKEDQRSBLGJA ac9K9MM9?9MQRac9ACGIQbSOI:
7
9AC9
7
O
aC93S
[
93KGI:/:OARaCOMBDGIARS<eXGIQ
[
ac93SeCBDSUM9jSac9
[
93K 5 9 [ K 5
9QCMQ
[
93S3oBDEDELQRSUM [ ?9393S<eRO
[
ac93S9CO:/eCED93Sac9
M [
O|OIQc%9A KGJQ
[
S
¤ yjw ¢ } ~
KGVaC9:GJWCBDEL9JoRacBPS^M
[
BDWCQcMBLGJA8obSc?93KQ
[
B¦MC?9Ios: 9M?
5
Gcac93S6G
[
:/93ELED93S3oCeXG
[
MOWRBLEDB¦MC?9IocEPOARHJOHJ9
7
O
GJWc]^9MSoC sO|OCoR¨WCEDBDYXoR_`BL:WbGbo
O|9§
4
KE©ob¨WC]^93KMBLJ9ªO:/E©o
4
93EL9jSK
[
BDecM3
h
& ' (#) "!#%$
465
99ce
[
93SSUBDGIA+*:/GIWRBLED9KGcac9IRBDS#QbSU9jav#BLM
5
|O
[
BLGJQRS#acB,X9
[
93AsM:9jOACBDACHsS6BLAM
5
9ELBLM9
[
OMQ
[
9I JQRS^M
MGMO
9FM 5C[
999cOI:/eCEL9jSocED9M#QRSNKBLM9-
.
465
9M9 [ :
!/"01%
aC93SK
[
BLWX93SFOAVTe
[
GIH
[
O: M 5
OM<K3OAWX9/S
5
BDeCeX93a@QCARK
5
OIAc§
HJ93aMGO
5
9M9
[
GIHI93AC9GJQRSKGIEDEL9jKMBDGIA@Ge
[
GcK9jSSG
[
S#OARa@9c93KQcM9ja32
46578%!498"0
!!# 498":
GJA9jOIK 5 e [
GcK93SSUG [<;
4
_`_Jq= >±
. 3
# "01%
opOA@OIeCe
[
GJOJK 5 5 9 [
9e
[
GIH
[
O:S#O
[
9KGIARSBPac9
[
93a OJSNacGcKQR:93AsMS3o
OIARaS
5
GIQREDaM 5 9 [
9G
[
9WX9OJKK93SSUBDWCED9IoCM
[
OIARS:BLMUM93aOIARa acBPSUeREDOTJ93a 8?1?
op9|OIELQRO§
M93a 6OJS#OAVT%GIM 5 9 [
acGcKQC:/9AsM
;d
GIQbq=W>¶
. @ OHJ9AsMSxO
[
9KGcac9§KGJAJMOBDACBDACHNGJWc]^93KMSM
5
OM:/OTWX9M
[
OARSBD:BLMUM93aWb9M^939A
KGI:/:QRACBDK3O|MBLACH/eRO
[
MBDKBLebOAsMSBDAO/acBPSUM
[
BLWCQCM93a STcS^M9:
;A
AROJq=1>¶
B
A,M
5
BPSSQ
[
J9T9#BDELE
[
99
[
MG:GJWCBDEL9/KGcac9/OIS<SGM^6O
[
9M
5
O|M<M
[
OI93EDSGIAlO
5
9M9
[
GJHI9AR9GIQbS
AR9M^G [
o\K
[
GsSSBDACH@e
[
GM93KMBDGIAaCGI:OBDARS3oOAba BPS/OQcMGI:O|MBDK3OEDELT9V9jKQcM93aQCeXGIAO [[
BD|OE6O|M/M 5 9
aC93SUMBDARO|MBLGJA8
Z\[
GM93KMBDGIAacGI:OIBLARSKOIA*Wb9OISWCBLHlOISOKG
[
eXG
[
O|M9AC9M^G [
OIARa*OISSU:OIELEOISO
eX9
[
SGIAROIE
5
OAba
5
9EPa%acBDHIBLMOIEbOISSBDSUMOIAJMjl9NWX9EDBD9I9M
5
OMM
5
BDSK 5 O [
OIKM9
[
BD3O|MBLGJABPSHI9AR9
[
OEC93ACGIQCH
5
MG9ARKGI:/eROJSS:/GsS^MvQbSOIHI93SOIARae
[
93KBDS9 9ACGJQCH
5
MG9
5
BDWCB¦MM
5
9,acBDSUMBDARKMBDI9 9jO|MQ
[
9jSG<M
5
BDS
M93K
5
ARBDYsQC9J#CRG
[
9cOI:/eCEL9Jo`BLM9CKEDQRac9jSFM
5
9%K3OIS93SF
5 9 [
9KGcac9/BPSEDGJOIaC93a@
[
GJ: OS
5 O [
9ja@acBPS
G [
aCG|#ACELGsOIac9ja :/OIAVQROEDELT
[
GI: M 5
9l9W8
m GJWCBDEL9KGVaC9SUQCeRebG
[
MSODR9cBDWCEL9<G
[: GacBPS^M
[
BDWCQcM93aSUTcSUM93:/S
5 9 [
9FM
5
9aC93SB
[
93aACGIAC§±EDGcKOE
KGI:/eCQcMO|MBLGJARS6acGARGM
5
OI9NMG/Wb9
ACG|#AvBDAOIac|OAbK9OM6M
5
9F9c93KQcMBDGIASUBLM9J
465
9<OIac|OAsMOHI9jSGI
M 5
BPS#:/GVaC9E8O
[
9<:OAVTIocBDARKEDQRacBDACHE-
. B A/M9
[
:S0G)9F%KBL93ARKTG-x
5
9A
[
9eX93O|M93aBDAJM9
[
OIKMBDGIARS0#BLM 5 O [
9:/GM96SBLM9NO
[
96AC9393ac9japoIBLMKOIA
Wb9/:/G
[
99!,X9jKMBDI9MGS9ARaM
5
9/KGJ:eRQcMOMBDGIA MGvM 5 9 [
9:/GIM9SBLM9/OARaMGvBDAsM9
[
OJKMEDGcKOIELEDTI
465
BPS\BPS93Seb9jKBPOEDELTM
5
9KOIS96
5
9A/M
5
9#EPO|M93ARKTGXM
5
9AC9M^G [
BPS
5
BDH
5
OAbaM
5
9BDAsM9
[
OIKMBDGIARS
KGJARSUBPSUM6GIx:OIAsTSU:OEDEp:/93SSOIHI9jS
. B A<M9
[
:SpGIVSBL:/eCEDBPKBLM^TFOIARaHDR9cBDWCBLEDBLM^TI-)M
5
9\:OBDAsM93AROARK9GcO6AC9M^G [
K3OA<Wb9:QRK
5
SBL:/eCED9
[
5 9A@M
5
9OIeCeCEDBDK3O|MBDGIAbSO
[
9ELGcKOM9ja GIAlOvS9
[
I9
[
OARa,KEDBL93AsMSM
5
93:SU93ELJ93SBLARSUMOIELExM
5
9: GJA
M 5 93B
[
SBLM9FGIAaC9:OARa8
B
ARS^MOEDELBDACHAC9-G
[
QCeXaRO|M9jaSGM^6O
[
9NWX93KGI:/93SBDARac93eb93ARac9AsM#GM 5 9
ARO|MQ
[
9FOIARa%AVQC:Wb9
[
GKELBD9AsMS3
B
ASGI:/9FKOIS93S3oVB¦M#BPS9I93AvBD:/ebGsSSBLWREL9MG
ACG|BDAOJac|OARK9
OEDEpM
5
9eCBL9jK9jS6GxKGcac9<M
5
OM#BLEDE8WX9AC99jac93aO|MNOHJBLJ9ASUBLM9J
. B AM9
[
:/SGSUMG
[
OIHI9-EDGJOJacBLARHvKGcac9GIA@ac93:OARa
[
O|M 5 9 [ M5
OIA
5
OVBDACHvOIELExe
[
GIH
[
O:SaCQCeCEDB¦§
KOM93aGJAOIELE8SB¦M93SK3OA
[
9jacQRK9<SBDHIACBbKOIAsMEDTM
5
9<MGMOE8SUMG
[
OHJ9
[
93YsQCB
[
9:/9AsM3
l9S^MO
[
M#BLM
5
OvS 5 G [ M [
9VBD9 GISUGJ:9GM
5
9:/GJSUMF9EDE¦§
ACG|#A9cOI:/eCEL9jSNGIOeReCELBPKOMBDGIARS
QbSUBDACH/:/GIWCBDEL9KGcac9I
. Z GJSUM
K [
BDecMJBDSO/ebOHI9ac9jSK
[
BDecMBLGJAEPOARHIQROIHI9ac93SBDHIAC9javWVT acGIWX9
TcSUM93:/S3
Z
GsS^M
K [
BDecM#BDS
[
93:O [
OIWCED9BDAM
5
OM6BLMBPS#OEPSUG/O/S^MOIK
WROJSU9ja%e
[
GIH
[
OI:/:BDACHEDOIACHIQbOHI9FOARaBLMBDS#OJSSGcKBPO|M9ja
KMLON:PRQTSUMV9WYXQZWYP\[]VR^M_:WYPRQR^`VR^MaHQRVT[$ab^Mcd[$V9efN$ghZabN:i ^S!j1P8Q9^McfPlkmbUMN:V9X N:V9[0Q9^Man
k
#B¦M
5
O EPO
[
HI9%SUMOIARaCO [ a EDBLW
[ O [ T SUQRB¦MOWCED9G
[
eROHJ9
[
9ARac9
[
BDACHb
Z\[
BLAsMBLACH GJA O Z GsS^M
K [
BLeCM
e [ BLAsM9
[
KGIAbSUBPS^MS`GIbKGJ:/ebGsSUBDACHOe
[
GIH
[
OI:ac9jSK
[
BDWCBDACHM
5
9eROHJ93S`MGFWb9e
[
BLAsM9jaOIARaS9ARaCBLACH
M 5 BPS#e
[
GIH
[
OI: MGM
5
9e
[
BDAsM9 [
465
9<e
[
BLAsM9 [ M5
93A9c93KQCM93SM
5
BPS#e
[
GIH
[
O: OIARave
[
BDAsMS6eROIHI93S
OISO SBDaC9@9,)93KM3
465
BPS9CO:/eCED9@BPSO HIGVGcaBLEDELQbS^M
[
OMBDGIAGISUGJ:9,GM
5
9,WX9AR9 CMSvM
5
O|M
:/GMBD|O|M9:GJWCBDEL9%KGVaC9-M
5
9%OEDHIG
[
BLM
5
:/BPK/ac93SK
[
BLeCMBDGIA G#OKGI:/eCED9lBL:OIHI9KOIAlWX9:OIac9
I9
[
TKGJ:/eROIKM6OIARa%HJ9AC9
[
OIE©osBLAbac9eX9ARaC9AsM#Ge
[
BDAsM9
[
Seb9jKBbKS3ocELB
9e
[
BLAsM9 [6[
9jSUGJELQcMBLGJAvOAba
AVQC:WX9
[
GRO|OIBLEPOWCED9KGIEDGIQ
[
S3 EPSUGbo
Z
GJSUM
K [
BDecM`e
[
BDAsM9
[
SG ,X§±EDGJOJaSUGJ:/9GRM
5
9G [
WCQ
[
ac93A
[ GJ:fM
5
9#e
[
BDAsMBDACH
5
GJSUM3
465
BPSKGJ:ebOIKMAC93SS3o|9ce
[
93SSUBDI93AC93SSOIARaac9VBPK9#BDARac9eX9Abac9ARK9
5
OIS
:OIac9
Z
GsS^M
K [
BLeCMWX93KGI:/9O/ac9<OIKMGS^MOARaRO
[
aMGcaCOTJ
. OMOIWROIS9<M9jK
5
ACGIEDGIHJTBDSNOACGIM 5 9 [ O [
93O
5 9 [
9OG
[ : GIx:/GIWRBLED9KGcac9
5
OJS#EDGIACH/WX99A QbSU9ja
OIac|OIAJMOHJ9GIQbSUEDTI
465
9vSBL39%GOM^TVeCBPKOIEaCOMOWbOIS9:/O
9jSB¦MBLAC93OISBDWCEL9%MG M
[
OIARSU:/BLMBLMBDA
9AsMB
[
9M^TMGOvKELBD9AsM3oXM
5
QbSFOIAVTaRO|MOIWROIS9GJeb9
[
OMBDGIA:QRS^MFWb9/KGJ:/:QCACBPKOM9jaMGOARaeb9 [§
G
[
:/93a/WVTM
5
9NaRO|MOIWROIS9NS9
[
I9 [ 4
GcaCOTJoI:/GJSUMKGJ:/:9
[
KBDOIERaCOMOWbOIS93S\SQCeCeXG
[
MS\M
5
9 B
S^MOARaRO
[
avYsQC9
[
TEPOACHJQROHJ9
_@G
[
aRO|MOIWROIS9OJKK93SS
_,G ,)9
[
S6OKGI:/eROJKM6ACGMO|MBDGIAvG
[
9ce
[
93SSUBDACH/KGJ:eREL9GIeX9
[
O|MBLGJARSGIA:QCELMBDeCED9aCO|MOWROJSU9
[
9EPO|MBLGJARS
.
GcKQC:/9AsMSF#BLM
5
93:WX93aCaC93a 9V9jKQcMOWCED9KGIAsM93AsMSNM
[
OARS:/B¦MM93aGIA M
5
9AR9M^G [
O [ 9OIACG§
M 5 9 [N
BDARaG:/GIWCBDED9KGcac9J6mQCE¦MBL:/9jacBDOacGcKQC:/93AJMSBDAM 5 9 ARa
[
9
TcSUM93:
;
OIARq b>0KOIA
BLAbKEDQRac9/9c93KQcMOIWCED9SK
[
BLeCMSF
[
BLMUM9AlBLAlOAlGIWc]^9jKM<G
[
BL93AsM93a@SK
[
BDecMEDOIACHIQbOHI9J
465
93S9/9A
[
B¦§
K 5
93aacGcKQR:93AsMSK3OAvWX9S9AsMOIS69ED93KM
[
GIACBPK:/OIBLEpG
[
ebGsS^M93aOISAC93S#O
[
MBPKED93S3
465
9<SK
[
BDecMS
O [
9<9c93KQcM9jaQRARac9
[
QbSU9
[
KGIAsM
[
GJE8OARaKOIAe
[
9jSU93AJM#BDAsM9
[
OIKMBDI9<acBPOEDGIHJS6OIARaQRSU9H
[
OIe
5
BPKOIE
OIKBLEDB¦MBL9jS SBL:/BDEDO
[
9VM9AbSUBDGIA,G [ M5 9 B
AJM9
[
AC9M:QCE¦MBL:/9jacBDOSUMOIARaCO
[
a@m
B
m
5
OIS<WX993A
e [
GIeXGJS93ap
465
BDS9VM93ARSBLGJA 9AROIWCEL9jSM
5
9QbSU9G9:Wb9jaCac93a@9c93KQcMOIWCED9KGJAJM9AsM
[
BLMUM93ABDA
O|9§
4
KE
; G [
qkb>¶oRO
[
9jS^M
[
BPKM93a|O
[
BDOIAJM#GI`M
5
9SK
[
BDecM#EDOIACHIQbOHI9
4
KE±
465
9QbSU9QCELAR93SSNGI\:GJWCBDEL9KGcac9
5
OJSOIEDSGWX99A
[
9jOEDBL393aG [ M 5
9G
[
EDa#BPac99W`F¨AC9GI
M 5 9e
[
GJWCED9:S##BLM 5 M 5
99WBDSM
5
OMNBDAJM9
[
OIKMBDI9<eROHJ93SO
[
9BD:/e
[
OIKMBDK3OE8BDA HI93AC9
[
OE8aCQC9MG
AC9M^G [
EPO|M93ARKBD93S3\I93A
5
93A/EDOM9AbKBD93SO
[
9ACGMOFe
[
GIWCED9:o|M
5
9#KGJAJM9AsM\OARaOeReb9jO
[
OARK9
GC9W<eROIHI93SO
[
9\KGJARS^M
[
OIBLAR93aFWVT
5
OM`BPS89ce
[
93SSBLWCED9#BLM 5 M 5 9
4
m_EPOACHJQROHJ9I NELEDG|#BLARH
9:Wb9jaCac93a%9c93KQcMOIWCEL9KGIAsM93AsMS
[
9:/G|I9jSxM
5
9KGIAbS^M
[
OIBLAsMS0GI
N4
m_OIARa/AC9M^G [
EPO|M9ARKTI
:/GIARH M
5
9:OAVT,9cBDSUMBDACHe
[
GIeXGJSOEPS3o`M
5
9%:/GJSUM9EDE
ACG|#ABPSe
[
GIWbOWCEDT, sO|OWsT
QCA
m BPK
[
GJSTVSUM93:S
.
CxBLAROIELEDTIoVOFGIQ [ M 5
KEPOISSG8OeReCELBPKOMBDGIARS0GIp:GJWCBDEL9NKGcac9OIaCa
[
9jSS93S0M
5
9e
[
GIWREL93:G8SGM^6O [ 9
acBPS^M
[
BDWCQcMBLGJA OARa*BLARSUMOIELEPO|MBLGJA8oxM
[
OIacBLMBDGIAbOEDELT
ACG|#A MG,Wb9KGJSUMEDTOARaaCBF%KQRE¦Mjl_`QRK93AJM
4
9jK
5
ACGJELGJHIBD93S
5
OIS6ac93I9EDGIeX93a
B
Ac9
[
ACG
;
_`QRKq=b>¶oVO:/GIWCBDED9<KGcac993AROWREL9ja%AC9M^G [
GIeX9
[
O|MBLARH
SUTcSUM93: OBD:/93al:/GJSUMEDT,OM<:/9jacBDOe
[
G|VBPac9
[
S<OARa,M93EL9jKGJ::QCACBPKOMBDGIA KGI:/eROIACBD93S3ªQRSUMG§
:/9
[ S#ac9jKGcac9
[
§¶WbGc9jSG
[
eXG
[
MOIWCED9NM9ED9e
5
GJAC93S
[
QCACARBLACH
B
Ac9
[
ACGK3OAvWX9<9VM93ARac9jaacTVAROI:/B¦§
KOIELEDT%#BLM
5
SUGIM^O
[
9BLA
[
9jSUeXGIAbSU9MGM
5
93B [#[
93YsQC9jS^MS
B
AM
5
9SO:/9<SUeCB
[
B¦MjocWCQcM#BLAO/acB,X9
[
93AJM
KGJAJM9VM3o
QCA
5
OJSe
[
GJebGsSU9jaM
5 9 QRS9lG sO|O KOIeROWREL9lAC9M^G [
KGJ:eRQcM9
[
SMG
[
9eCEPOIK9
G [
SUMOMBDGIARSBLAKG
[
ebG
[
OM9AR9M^G [
S3
465
9/Wb93AC9 CM 5 9 [
9BPSFM
5
9ELG| KGJSUM<G6:/OIBLAsMOBDACBLARH
OA *B AsM
[
OAC9M36GpAC9M^G [
KGI:/eCQcM9
[
SoI
5
BDK
5
aCG|#ACELGsOIa/OEDEROIeCeCEDBDK3O|MBDGIAbSGIAac93:/OIARa
[
GI:
OA OeReCELBPKOMBDGIASU9
[
J9 [
B
MS
5
GIQREDa,Wb9/ACGIM9ja@M
5
O|M<M 5 9 [
9O
[
9SQCWcMEL9%acB,)9
[
9ARK93S<BDA@M
5
9QRSOHI9G:/GIWCBDEL9KGVaC9BDAlM 5 9
e [
9jK93aCBLACH%GIQ
[
OeCeRELBPKOMBDGIARS)BLA@M 5 9 Z
GJSUM
K [
BDecMOIARaM
5
9aRO|MOIWROIS9:/Gcac9EPS3oXBLM<BDSNM
5
9/S9ARac9
[
GI
:/GJWCBLED9#KGcac9M
5
O|MMO
9jSxM
5
96BDACB¦MBDOMBDI9#GIRM
5
9KGI:/:QCACBPKO|MBLGJA8o
5
BDED9BDAM
5
9 sO|OOIARaM
5
9_`QRK93AJM
:/Gcac93EDS3o8M
5
99c93KQcMBDGIASB¦M9/MO
93SFM
5
9%BDACBLMBPO|MBDI9/MGELGsOIa,M
5
9:/GJWCBLED9%KGcac9J%l9%KGI:/9WROJK
MG
M 5
BPSacBPS^MBLARKMBDGIA
5
93A9e
[
93S9AsM#e
[
GJH
[
O:/:/BLARHEPOACHJQROHJ93SG
[
:/GIWRBLED9KGcac9I
B
A M
5
BPSSQ
[
I9T9 [
S^MNBPac93AJMB¦TM
5
9SeX93KBPOExKGJARK9
[
ARSG\:/GIWCBDED9KGcac9OARaM
5
9B
[
BD:/eROIKMGJA
e [ GJH
[
O:/:/BLACHEDOIACHIQbOHI9jS
B A
93KMBDGIAhF9GcKQRS\GIAM
5
96M^G<:/GJSUM\BL:/eXG
[
MOAsMBPSSQC93S-SO|9M^TOAba
S93KQ
[
B¦M^TJBLM 5 M5
BPS6WROJK
H [
GJQCARapoJ9F9COI:BDAC9JosBDA
93KMBLGJAvkboVSBL
[
93e
[
9jSU93AsMO|MBLJ9EPOACHJQROHJ93SM
5
O|M
5
OI9#WX99Ae
[
GJebGsSU9jaG
[
:/GIWRBLED9NKGcac9J
93KMBLGJA a [ OS0M
5
9EL9jSSGIAbSG)M
5
BDSS^MQRacTOARa/KGI:/eRO
[
93S
M 5
9/S^MQRacBD93aEPOARHIQROIHI93S3F,9KGJARKEDQRac9M
5
9/eROIeb9
[
HJBLVBDACHvGJQ
[
eb9
[
Seb9jKMBLJ9GJAM
5
9KQ [[
9AsM<S^MO|M9
GI:/GIWRBLED9KGcac9<e
[
GIH
[
OI::/BDACHEDOIACHIQROIHI9jSOIARaebGJBLAsMGIQCM#aCB
[
93KMBDGIARSG
[
QcMQ [ 9 [
93S93O [ K 5
n !#!#N\
C [ GJ: M 5
9OIeCeCEDBDK3O|MBLGJA KEDOJSS93SG<:/GIWCBDED9KGcac9ELBPS^M93a BDA M 5 9 BLAsM
[
GcacQRKMBDGIA8o9K3OA 9VM
[
OIKM/O
AVQC:Wb9
[
GKGJ::/GJAAC9393aCS6BDAM9
[
:S6G0e
[
GIH
[
OI::/BDACHEPOARHIQROIHI93S-
.
465
9NAR993aG
[
eXG
[
MOIWCBDELBLM^TG-BDA 5 9 [
93AJMBLAM
5
9NBPac9jOG8:/GIWRBLED9KGVaC9BDSM
5
9NACGIMBDGIAG
5
9M9
[
GJHI9§
AC9GJQRS9c93KQcMBDGIAvSBLM93S3
B
MBPSACGMebGsSSBLWREL9NMG
5
OI9NOSUeX93KBXKI9
[
SBDGIAGpM
5
9<KGcac9G
[
93I9 [ T
ebGsSSBDWCEL9O [ K 5
BLM93KMQ
[
9IobM
5
QRSNM
5
9AC9393aG
[
eXG
[
MOIWCBLEDBLM^TI
465
9eXG
[
MOWRBLEDB¦M^TBPSSQC9OIEDSG
5
OJSNOIA
BL:/eROJKMGIAM
5
9NM 5 9
BDARaGI`SU9
[
VBPK93S\M
5
9FOeCeRELBPKOMBDGIA%KOIA%9ceX93KM
[
GI: M 5
99c93KQcMBDACH
5
GJSUM3o
?Y?
oCM
[
TVBDACHMG
[
B¦M9FMG%O RED9:BDH
5
M#ACGIMWb9:/93OIACBDACHQCEpGJA O
5
OARa
5
9EPaM93EL93e
5
GIAR9I
.
465
9vAR993aG
[
SO9M^TG-/9%QbSU9vM
5
9G
[
aSO|9M^T 5 9 [
9%BLA*M
5
9SU93ARS9M
5
OMO@WCQCH@BDA OSO|9
OeCeRELBPKOMBDGIAS
5
GJQCEPavACGIMO,)93KM6M
5
9<9c93KQcMBDGIAGxGM 5 9 [
BDARac9eX9Abac9AsMeRO
[
MSGI`M
5
9<9AVVB
[
GIAc§
:/9AsM3_8BD:BLM9ja OISSUQR:eCMBDGIARS#K3OAWb9:/OJac9GIAKGcac9BD:/ebG
[
M93a
[
GI: OAQCA
ACG|#A SUGJQ
[
K9Io
5 BPK
5
:/93OIARS\M
5
O|M6BLM6K3OACACGIMWX9NM
[
QbS^M93a%Oe
[
BDG
[
BbMGWX9<SO9IoVOARaSUeX93KBDOIEbe
[
GM93KMBDGIA%:QRS^M
Wb9e
[
G|sBPac9japNGMBDK9#M
5
OMM
5
BDSac9 RACBLMBDGIA%OIaRa
[
9jSS93SM
5
9FSO9M^T
[
GJ: OIAGIeX9
[
O|MBDACHSTcS^M9:
ebGJBLAsM#GsBD9
O|9M^T%K3OAOEPSUGWb9<BD:eXGJS93avWVT%OeCe
[
GIe
[
BPO|M9
[
93SUM
[
BDKMBDGIARSO|M6M
5
9e
[
GIH
[
OI:§
:/BLACHEPOACHJQROHJ9EL93I93E© CCG
[
9cOI:/eCEL9Jos
[
939OIK3K9jSS\MG:/93:G
[
TK3OA%WX993ELBD:/BLAbO|M9jaM 5C[
GJQCH 5 O
acBPSKBLeCEDBDAC93aeXGIBDAJM9
[
:/Gcac9EOARaSTVSUM93:O|MBPK<K
5
93K
BDACHGxM
5
9WXGIQCAbaCSG [ O
[[
OTOIK3K93SS93S3
.
465
9AC9393avG
[
S93KQ
[
BLM^TG-0OJSM
5
9:/GJWCBLED9KGcac9<BPSK
[
GJSSUBDACHe
[
GIM9jKMBDGIAacGJ:/OIBLAbSoCSeb9jKBPOE8K3O [ 9
:QRSUMNWX9MO
93ABDA G
[
ac9
[
MGe
[
GM93KMFOHJOIBLAbS^MS93KQ
[
BLM^T%M 5C[
9jO|MS#e
[
93S9AsM9jaWVT:GJWCBDEL9OIeCeCEDB¦§
KOMBDGIARS3
465
9WXGIQCARaRO
[
TWb9M^939ASO|9M^T,OARa S93KQ
[
BLM^T@KGJARK9
[
AbSBPSACGIMOEDOTcS<KED93O
[
KQcM3
O|9M^TBPS:GsS^MELTKGJARK9
[
AC9ja#B¦M 5 M 5
9Wb9
5
OVBLG
[
G\STcS^M9:SBDA M
5
9e
[
93S9ARK9GWCQCHsSobWCQcM
OISO%EPOIK
GISO9M^TKOIA Wb99ceCEDGIBLM9jaG
[
S93KQ
[
B¦M^TW
[
93OIK
5
93S3obSO|9M^TWX93KGJ:/93SNOvAC93K93SSO [ T
WCQCMNACGMSQ F%KBD9AsM e [ 9 [
9jYJQRBDSB¦M9FG
[
S93KQ
[
BLM^TI
,9aCBDSUMBDACHIQRBDS
5
Wb9M^939AGIQ
[
S93KQ
[
B¦M^Te
[
GIeX9
[
MBD93S
;d
qRi:>T-
0kmQ9V9[$mb^ Q WYP\[]X N:X [$V\QR^MV9c gN:VYN!U[mb^Q N:V9e!P1P9WYmb_kmQR^`VRmb^ Q QR^MUbmbNYN:_:WY^MPn
=
¤ ¥ y©{ y ¡
OIEDSG
ACG|#A%OJSS93K
[
9jKTG-`BLM#KGIAbK9
[
ARS\M
5
9<OWRS9AbK9NGI8EL9jO
OHJ9G8e
[
BD|O|M9
BDAcG
[
:O|MBLGJA 5 BPK
5
GIM93AGcK3KQ
[
SM 5C[
GIQRH
5
OKG|I9
[
M#K
5
OIACAC9E±o 8?1?
obOK
5
OIACAC93E)M
5
OMBDS
ARGM9ceCEDBPKBLMEDT%BLAsM9ARac9jaG
[
KGJ:/:QCACBPKOMBDGIA
y zy ¡
OEPSG
ACG|#AlOISFOIKKQ
[
OIKTG-e
[
BD|O|M9aCOMOS
5
GIQCEPaACGIMWb9/:/GcacBXOWCED9WVT QCAbOQc§
M 5 G [ BD93aeRO
[
MBL9jS
tC{{cuy
¡
M 5
9NAC93HJO|MBLGJA%G8
5
BDK
5
BPS
ARG|#A%OISac9ACBPOEXG`S9
[
VBDK9-`M
5
9<O|MMOIK
9 [
aC9ACBD93S
ARG
[
:/OIEpQRS9FGI0S 5 O [
9ja
[
93SGIQ
[
K9jSosG
[
9CO:/eCED9FWVT%G|J9
[
ELGsOIacBDACHM
5
93:
t y
y}y
¡
HIQRO
[
OIAJM99jSM
5
OMM
5
9BDac93AsMBLM^TGIOvKGI:/:QCACBPKO|MBLGJAeRO
[
MAC9
[
KOIAWb9M
[
QRS^§
M93ap
.
465
9#AC9393aG
[
9F%KBL93ARKTG-`9!F%KBD9ARKTBDSOIEL:/GsS^M\OED6OTVSxOABPSSQC9G [ e [
GIH
[
OI:/:BDACHEDOIACHIQROIHI9jS
OARa,M
5
9B
[
BL:/eCED9:/93AJMO|MBLGJARS
465
9/SeX93KBPOEAR993a 5 9 [
9/BPSFG
[
O:/BLARBL:OEG|I9 [5
9jOIa G [ M5 9
:/93OISQ
[
93SMO
93AvMG/9ARSQ
[
9FeXG
[
MOIWCBDELBLM^TIoCSO|9M^TIoCOAbaS93KQ
[
B¦M^TJ
Z G [
MOWCBDELBLM^TOIARa9!F%KBD9ARKTO
[
96BDSSQC93S0M
5
O|M
5
OI96Wb939A%SUMQRaCBL9jaBDAM
5
9Ne
[
GJH
[
O:/:/BLARHEPOACHJQROHJ9
KGI:/:QRACB¦M^T G
[
YsQCBLM9 O,ELGJACH@
5
BLED9I
465
9SO|9M^TOARaSU9jKQ
[
B¦M^TBPSSUQC9jSO
[
99EDE
ACG|#A BLAM 5 9
KGIAsM9VMG#GIeX9
[
O|MBLACHSTcS^M9:S3oWCQCMSO9M^TJoxOIARal93Seb9jKBPOEDELTJoxS93KQ
[
BLM^T,O
[
9BPSSUQC9jS<M
5
O|M
5
OJ9ACGM
[
93K9BDI9ja9ACGJQCH
5
O|MM9AsMBLGJASGO [ BDA%M
5
9O
[
93OGI`e
[
GIH
[
OI::/BDACHEPOACHJQROHJ93S3
93KQ
[
BLM^TOARaSO9M^T
e [
GJWCEL93:SMO
9FOAC93acBL:/93ARSUBDGIABLA%M
5
9<KGJAJM9VMGI8:/GIWCBDEL9FKGcac9J CRG [ M 5
BPS
[
9jOISGIA8oJ9FK
5
GVGJS9#MG
GcKQRS6GIAM
5
93S9FBPSSUQC9jS6BLAM
5
9AC9VMNS93KMBDGIA8
) $ x!\ ) 0
O|9M^T OAbaSU9jKQ
[
B¦M^TlKGJARK9
[A :OAVT,OJSUeX93KMSGOSTVSUM93:l9v#BDEDEacBPS^MBLARHIQCBPS
5
GJQ
[
ED9J9EPSO|M
5 BDK
5
MG*OJaCa
[
93SSM
5
9jSU9 BPSSUQC9jS!-M
5
9KGI:/:QCARBDK3O|MBDGIAED9J9E±oM
5
9GIeX9
[
O|MBLARH STcS^M9:"EL93I9E±oM 5 9
OIWRSUM
[
OIKM6:OIK
5
BDAC9<ED9I93E©obOARavM
5
9e
[
GJH
[
O:/:/BLACHEPOACHJQROHJ9NED9I93E©
! #"%$'&(&*),+.-/"%01-$'+32 54' 62
B
A,O/MGJeEL93I93E`VBL93fGO%KGI:/eCQcM9
[
SUTcSUM93:oX9KGJARSBDac9
[
OvKGIEDEL9jKMBLGJA GKGJ:/eCQcM9
[
SKGJACAC93KM9ja
#BLM
5
SGI:/9AR9M^G [
BDACHFM9jK
5
ACGJELGJHITI
O|9M^TKGIARK9
[
ARS 5 9 [ 9 [
93YsQCB
[
9O
[
GJWCQRSUM\e
[
GMGcKGIECBD:/eCEL93:/9Ac§
MO|MBLGJAvM
5
O|MNK3OA#B¦M
5
S^MOARaOIQCE¦M^TG
[
:OEDBDKBLGJQRS#KGJ:/:QCACBPKOMBDGIAeRO
[
MAR9 [
CRG
[
AC9M^G [
S3o\EDB
9M 5 9 B
AsM9
[
AR9M3o
5 9 [
9aCOMO KOIAebOISSM 5C[
GIQCH
5
QRAJM
[
QbS^M93a BLAsM9
[
:9jacBPO|M9
5
GJSUMS3oVM
5
9KGI:/:QRACBDK3O|MBLGJABLMS9EL0K3OACARGMWX9OISSUQC:/9ja%MGWb9S93K
[
9M#G
[
OQCM
5
93AJMBDKI
465
9 [ 9G
[
9<S9§
KQ
[
9e
[
GMGcKGIEPSWROIS93a/GJA%K
[
TVecMGJH
[
Oe
5
BPKM9jK
5
ACBPYsQC93SO
[
99:/eCEDG|TI9jaMGHJQRO
[
OAsM939#KGIA bac9AsMBDOIELBLM^TIo
BDAsM93H
[
B¦M^TJoXOIARaOQCM
5
93AJMBDK3O|MBLGJA8o)9I93A GIA@SQRK
5
AR9M^G [
S3
465
BPSFBDSBDARKEDQRac9jaBDA M
5
9AC93
B
AJM9
[
AC9M
e [ GIMGcKGJE©o
B^Z
= ;
QCBPq= >±oVWCQcMM 5 9 [
9NBPSOIEDSGOEPO
[
HI9NAsQR:WX9
[
G8e
[
GIeXGJSOEPS0M
5
O|M#O
[
9EDOTJ9
[
93a/GJAM 5 9
MGIelG9cBDSUMBDACHe
[
GMGcKGIEPS
93KQ [ 9
N4#4#Z ;d
q= >OARaM 5 9
9jKQ [ 9
GcK
9M_`OTJ9 [#;
C
AA
q=1>O [ 9
M^GF9CO:/eCED93S3 NOIBLEPOWRBLEDB¦M^TBPSOEPSGOABPSSQC9Io|WRQcMB¦MBPS0I9
[
TacBFKQCELMMG<ac93OIEc#B¦M 5
465
BDSacBF%KQCELM^T
BPSBDELEDQRSUM
[
O|M93aWVTM
5
9:OAVTac93ACBDOIERGI)S9
[
VBDK96OMUMOIK
S0GIAM 5 9 B
AsM9
[
AC9M S996G
[
9CO:/eCED9
;
CRGCq=1>