A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns
24
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns Gilles Grimaud — Yann Hodique — Isabelle Simplot-Ryl. N° 5937 June 2006. ISSN 0249-6399. apport de recherche. ISRN INRIA/RR--5937--FR+ENG. Thème COM.
(3)
(4)
(5) "!$#% &' ( )*!$ !,+.-/&&10 22 ( 3 42 0( 657 !$ (98" 4:2(! ;=<?>@>?ACBD;FEG<?HJILKNM ONP ILQQSR/T$M<?U$KNA OWV BGILXYAC>@>?A=Z2<?H\[>?TL]_^ `Da$> bced_fhgi jlk,monqpsrutvd_fhgGr w xyfhfze{e|}w~{ytr vx g trNxyr ~xyutsg g_wceg_wcg{LyC=myze{egymh~g_r ∗†. †. †. N_ e¡¢ bce|}rY~Lg%evgGrug_{Ctr%~ w xyf.xCru|£tv|¤x{~¥gGrvw_~Lg¦~{~¥¤pqrv|}r§~ye~stg_.¨©xy§zrug¦|£{/vgGruxyzewg ¥¤|¤fh|£tvgGFgfªgGesgG«rvpqrutvg_f*r¬bc|¤rl~{~¥£psrv|¤rw x ®g_r tvceg ¨©ze¥£¥WC~¯® ~.¥¤~{ez~gy°|¤{w ¥¤zs|¤{e/epC{~f.|¤w w¥¤~yrvr¥£xC~s|¤{e¬±bc~{e²srtvx³tcegzrug«x¨ ~{Sg ´Dw |¤g{Ct/®yg|¶µLw~ t|£xy{·~¥¤x|£tvcef °rvf.~¥£¥lgfªgGesgG rvpsr tgf*rl~gh~ªe¥£gtvx wcegGw²/tceg.g_rw~gh~{~¥£psrv|¤r¦|£{e¨©xf.~tv|¤x{1x¨Yf.xª|£¥¤ghwxssg¬ bcg t~ys|¶t|£xy{~¥ gGrvw_~LgY~{~¥¤pqrv|}r¸|¤r2~¥}rux g¹qtvg{sg_¸°¯t~²q|¤{e ¨©zevtvceg_2rutvg_r¸tx º%~er¸¨©ze¥£¥qC~¯®¯~vxy~f.f.|£{e rvzeeLxvt_° ªqp.~ee|£{e4tceg¦rvzeeLxvtYx¨¸wxf.f.x{*sgGru|¤{*~tutg{r°y{~f.g_¥£p.~ygy~tv|¤x{h~{h¨»~yw tvxyvpy°|¤{*xsg txD~¥¤¥£x ºStvceg vxy~f.f.g%tvx*zrvgw xss|¤{e.tg_wce{e|}¼Czeg_r%tc~ tl~glzruz~¥£¥¤p/rvxf.g_º c~ t |¤{eg ´Dw |¤g{Ctxy{ tceg_rvg w xy{r t~|£{g_rupsrutvgf*r_¬ ½F¾C¿ÁÀ à ÄN¢ g_f ªLg_eeg_ rupsrutvg_f.r_°erut~ t|¤w ~{~¥¤psru|}r_°Cxyªs g_w tr_°esg_rv|¤{~ tvtvg{r_°sg_rw~g ~{~¥¤pqrv|}r. ∗ †. Å©Ó2ÆNÔ¯Ç:Õ Ö ÅÉ× È1Í»Î Ê Õ Ì?ËGØYÌ?Ù˯ͻÕÛÚÛÎvÚÛÏ×%ÐLÜ ÑÐÁÒ. Unité de recherche INRIA Futurs Parc Club Orsay Université, ZAC des Vignes, 4, rue Jacques Monod, 91893 ORSAY Cedex (France) Téléphone : +33 1 72 92 59 00 — Télécopie : +33 1 60 19 66 08.
(6) ( (/ )*!$ #/ &&1 (
(7)
(8)
(9) «% !$-/&/&0 $N ( ! 042 !/ #%0(#§&/2 0(/ #§ 2 0(u0
(10) :%2! rvpsr t df. g_r$ g¢fªi§~gh¼C~"z e _L$r x#vvtgGrverv x _zervgw {CgGtvr¸g¥¤ze|£f.{eg.|£%t ~gG{r~¬ ¥£ps&'rvg ~{!~¥£ _pswrvcg~ee L _grvf.g{Cg%t {C _t gw w xxyf.ze®qLvxygrv(¥ |¶t|£|£{Cxy%t {e _{eg_~¥£¥¤¥¤g |¶ t ~ Ys~zs¥}t ~ {gy~~zsy¹ g C~¯® ~e°{xt~f.fhg_{CtY¥£glwc~g_f.g{Ctspq{~f.|}¼yzgsg¦w¥¤~yrvrvg_r_¬ )l+ *wg # (¥ zst|£¥¤|}rv~tv|¤x{! ze{D~¥£yx|¶tcef.g eg«,® _v|£µw_~ tv|¤x{ Lgv¨©xf*~{Ct_° ¥¤g_r/gtv|£tr rvpqrutvd_f.g_rDg_f ª~¼C"z Grrvx{Ctg_{"f.g_rvzevgsg«-® |¶µgD¥¤g_r |¤{s¨©xyvf*~ t|£xy{rg¥}~ t|£®yg_'r # .¥ ~{~¥¤pqrvg! _wc~eLgf.g{Ct%~yrvrvxsw /| gGr~zwxssgf.xª|£¥¤g1¬ 0xyzr% Grug_{ytx{r _cy~~ªe¥£|£g_tvfhzeg_g_{Crtszg {egvg xy¹qtg~{f.rv|£f*xy{F~ tvs|¤g x{/.¥ ~g{F{~C¥¤pq~¯rv®¯g~°q! g _{=wc~ ~xyezsLtg~f.{Ctg{Czt{ erv~ze{er L(¥ xxyvtstv |}t¼Cgze{gez sgef.g |¤w gg_zsu¹Ft~ru|¤{zref.xyxutvt|£g¨» r¥¤sg_gr wx{wgst|£xy{:°qw xf.f.gl.¥ ~y% _y~ t|£xy{.g t¥£gGrY¨»~ªe|¤¼CzegGr°q~ µ{sglg_vf.g tvtvgl~zDexy~fhf.g_ze§sg¦¨»~|¤g zrv~g4sg4tvgGwce{e|}¼yzg_r ezs t gGr|£{eg´Dw~wg_rg_{g_{q®C|¤x{e{eg_f.g{Ctwx{Ctv~|¤{Ct_¬ 2$ Gà wGc ~À e,¡ L3 g f.g_¢ {yt rvpqrutvd_f.g_r g_f ª~¼C"z Gr°L~{~¥£psrvgr t~ tv|}¼Czeg°xªs gtr_°f.xtv|£¨»rsghw x{w getv|¤x{:°L~{~¥£psrvg.
(11)
(12) . . ( $0/-#N 0( "§rvw_~Lgh~{~¥¤psru|}r|}r4~Dtg_wce{|¤¼Czegtvc~t c~rlªLgg{1x|£y|£{~¥¤¥£pFsg_®g¥¤xLg_=¨©xl¨©ze{w tv|¤x{~¥¥¤~{ez~gGr # rug_g4¨©x¦g ¹e~f.e¥¤% g $ &')(%txDceg_¥£Ff*~{~|¤{ehtvcg ~¥¤¥£xsw_~ tv|¤x{ x¨rutvzw tzeg_r_+¬ * tc~r ªLgg_{ tv~{rvxCrugG z{sgW® ~v|¤xzr2¨©xyvf*r|¤{ytx4xªs gGw -t , x|¤g{CtvgG¥}~{eyz~yg_r2|£{.f*~{qpº%x²s
(13) r $/.°e°e° ._ '@¬Wbcege|£{w |¤e¥£g ªLgc|£{JgGrvw_~Lg~{~¥¤psru|}rh|¤rhtx wxf.ezstg tvc~tD~{Jxªs gGw t*|¤r.z{evgG~wc~ªe¥¤g # tvc~tD|¤r_°tcegg |¤r.{ex Lxyrrv|£ªe|¤¥¤|¶t p«tvc~t |¶tf.~¯p«ªgDzrugG ¥¤~tvg (4~ t ~Fwgvt~|£{ Lx|¤{ytx¨tvcegDvxy~f °$~{«tcqzrw~{³ªg r~ ¨©g_¥£p sgGr tvx pyg_¸0¬ * {=xtvceg_º%xer_°|£¨§~*y~vª~gwx¥¤¥£gGw t|£xy{Fº§g_vg txªLgtv|¤ygg_ ~ t¦tvc~t¦Lx|¤{yt x¨§tceg*exy~f°:tvceg*xyªs g_w tº§xyze¥¤ªLgDw xy¥£¥¤g_w tvg_:1¬ * t|¤rxªq®q|£xyzrltvc~tzrv|£{e tce|}r exLgvt p«w~{ cg¥¤Fxst|£f./| 2|¤{eDf.gf.xpf*~{~ygf.g{Ct_°ªqp¨©xyg ¹e~f.e¥¤g r~¯®q|£{eD~.¥¤xt¦x¨º%x²*¨©xtvcegC~ª~yg wx¥¤¥£gGw txrv|£{wg*|¶tvgGszw gGr4tvcg~f.xz{ytx¨%g ¨©g_vg_{w gGrltvx=ªLgwcegGw²gG¸°$~{³~¥}ruxtvcgD{qzef ªLgx¨ w_~¥¤¥¤r tvx*tce|¤ry~vª~g w xy¥£¥¤g_w tvxy_¬%kFxgx ®ygG°ew x{w zevg_{Ct%tceg_~rw~{e{ext~wwg_rr xªe g_w trtvc~ t¦sx {xtg_rw~g~{htvcqzrYrupq{wcex{3| 2G~ tv|¤x{hf.g_wc~{e|}ruf*rWw~{.ªgg_¥£|¤f.|£{~ tvgG¸¬ 4¥¤¥etceg_rvgxetv|¤fh/| 2_~tv|¤x{r c~¯®glªg_g{Frucx º {tx.rv|¤{e|£µw~{Ctv¥¤pD|£f.ex ®glLgv¨©xf.~{w 5g $ e6° .G '@¬ * {«tvce|}rl~LgG°Áº§gevgGrug_{Ctl~{~e¥£|}w~tv|¤x{=x¨g_rw~Lg~{~¥¤psru|}r¦|£{«tvceg.w xy{ytg ¹qt¦x¨YgfªgGesgG rvpsr tgf*r~{fhxyªe|¤¥£gDwxqeg°2tvc~t t~²yg_r4tcegDC~¯®¯~¥}~{eyz~yg*~r~ ª~yru|}r rv|£{wgD|£t|¤r ceg_~¯®q|¤¥£p=zrugG |¤{tvce|}r w xy{Ctvg ¹qtG¬/j¦{eg.x¨Ytceg*f.xyrut zruz~¥exª¥£g_f,º |¶tc³y~¯® ~/|£{³w xy{rutv~|¤{eg_«g{q®q|£x{ef.g_{ytrl|¤r |£trº%g|¤cCt 72t~ys|£tv|¤x{~¥£¥¤p°qgfªgGesgG/rvpsr tgf*r~tvceg_zrug rv|£f.e¥¤|£µg_9 8sgy~ysg_D®grv|£xy{rYx¨NC~¯® ~ # ¥£|¤²ghy~¯® ~qi%~ ( °Lº ce|}wc=|£f.Lxyrvg_r4~{1~e~st~tv|¤x{=x¨Wtvceghex~f.f.gtvx/tvceghe¥}~ tu¨©xyvf : ¬ * sg_~¥£¥¤p tcegevxy~f.f.gº§xyze¥¤ ru|¤f.e¥£p³º |£tvg/tvceg w xssg/tvcegº~¯pcg/¥¤|£²yg_r # xy|}rhzrugG³t;x ( °Yº ce|£¥¤gtvceg rvpsr tgf º%xze¥} exqezw gº§g_¥£3¥ , ~ye~etvg_Fwxssg¬lbcegg ¨©xyvgy°xetv|¤fh/| 2_~tv|¤x{rx{«wv|£tv|}w~¥$~utrx¨Wtvceg rvpsr tgf # ¥£|¤²g f.g_fhxyvp*f*~{~ygf.g{Ct (%~vg4ce|¤ce¥¤pDg¥¤g® ~{CtG¬ bceg¦eg_rvg{CtvgGh~{~¥¤psru|}rrvzeeLxvtrtvceg¦f.~|£{Dwx{wgstrx¨Ltceg¦C~¯® ~4¥¤~{ez~<g 7¸¨©xf tvceg¦|£{Ctvg_- , ¨»~yw gGrW~{.~ªr t~yw tWw ¥}~rrugGrNtvx4tvcg g ¹ew g_stv|¤x{r_°~{hx¨tcegC~¯® ~ze{Ctv|¤f.=g 7$xyg_{e{egGrvr_°yspq{~f.|¤w_~¥¤¥£p ¥¤xy~ys|¤{ehw¥¤~yrvrvg_r_°s?g >gGw tv|¤x{$°sg tw¬Ynqxf.g4x¨Ntvcg_rvg~rvgGw tr|¤f.e¥¤p/rvg_w zv|£t pDw xy{w g_v{r_°e~{º%g º%~{Ct tx ªLgl~ªe¥¤gtvx¥£xC~.f.xª|£¥¤g¦wxqegtvc~ tªg_{eg µetr§¨©vxyf gGrvw_~Lg~{~¥¤pqrv|}r|¤{/~ rvg_wzegº%~¯py¬Nbcqzr_°Ctvceg rvpsr tgf f zrut{ext¦sg_¥£g_y~ tg4tvzrutx{=~{Cp/xtceg¦~vt p 7Y|£tf zrut¦wxf.ezstgx¦®g|£¨©pDtvcg ~{~¥£psrv|¤r |£trvg¥£¨ ¬=nq|¤{w gtvcegGrugrvpsr tgf*r~vg*g_rvxzew g.¥¤|£f.|£tvgG¸°Wº§g*c~¯®g.tvx1sg®yg¥¤x g ´Dw |¤g{Ctwxf.ezst~ t|£xy{ tg_wce{|¤¼CzegGrA¬ @1ghexLxyrvg ~{«~{~¥¤psru|}r tc~ t4w xyf ªe|¤{eg_r¦rug_®g_~¥2~rvLg_w t r 7 |£t¦|}rlw xf.Lxyrv|¶t|£xy{~¥2¥£|¤²g tceg x{glx+¨ $/._ ' °e®yg|¶µ~ªe¥¤gl¥¤|¤²gltvceg xy{eg4xB¨ $3. '@°~{~e~stvgGD¨©xy xªs gGw -t , x|¤g{CtvgGD|}rvrvzeg_r_¬ bce|}rl~Lgl|}r¦xyvC~{e/| 2gGF~r¨©x¥¤¥£x º ¬ nqgGw tv|¤xC{ . |¤{Ctvxqezw gGrtcegvxyªe¥£g_f*rg_{w xyze{Ctvgg_ º |£tvc w¥¤~yrvrv|}w g_rw~g4~{~¥£psrv|¤rYº ceg{~e¥£|¤g_Dtvxwx{rutv~|¤{Ct§g_{C®q|¤vxy{ef.g{Ctr_¬Wnqg_w tv|¤x{/ eg_rvg{Ctr%~{~¥£|}~r ~{~¥¤psru|}rlº§g_¥£¥rvze|£tvgG«¨©xy f.xªe|¤¥£gDwxssg*~{1tvc~ t w~{1ªLg*®g_v|£µgG«ªqp«rvf*~¥¤¥Wgf ªLg_sg_ rvpqrutvg_f*r¬ DN|¤{~¥¤¥¤p°rvg_w tv|¤x{F*rvcex ºrcex º tvx*ªeze|¤¥}tvceggGrvw_~Lg~{~¥£psrv|¤rxy{ tvxyx¨tvce|}r~¥£|}~r ~{~¥¤psru|}r°sº |£tvc ¥¤|£tutv¥¤g~yes|£tv|¤x{~¥$w xCr tG0¬ * {F~vtv|}w z¥¤~_°stceg {gg_eg_Fw xyf.ezstv|¤{e*txDµ¥¤¥:tceg C~ ªLg t º%gg{ tceg~¥£|}~r ~{~¥¤psru|}rW~{ tcegg¹Ctg{eg_.g_rw~g~{~¥¤psru|}rWw~{.ªgex{egg_{Ctv|¤vg_¥£p|£{htvcggfªgGesg_*rvpsr tgf E¬ @1g ~¥¤rvxevgGrug_{Ct4|¤{tvce|}r rvg_w t|£xy{rvxf.g.g ¹qtg{rv|£xy{r4x¨§tvceg*gGrvw_~Lg*~{~¥£psrv|¤rle|£{w |¤e¥£g.tc~ trvzeeLxvtr xyªs g_w t~yvg_y~tv|¤x{:°q~{¨»~w tvxyvpeg_rv|£y{/~tutg{:¬ !. Ç2Ç ÔFGHI?J.
(14)
(15) 9 . 2! 0 N/ D !¸N (/ !$#% &1 ( )*!$ ! "¹q|}rutv|¤{eº%x²qrÁxy{ g_rw~gY~{~¥¤psrugGr:~g~e¥£|}w~ªe¥¤gWze{sg_2s| Lg_vg_{Ct2w xy{s|£tv|¤x{r2~{4c~¯®ygs| Lg_vg_{yt yxy~¥¤r_¬ DxYg¹e~f.e¥¤g°tceg¦rut~tv|}w~¥£¥¤p~{~¥¤p 2g_*wxssgf*~¯p ªLgce|¤c*¥¤g®yg¥Lruxyzewgw xssg # f.xyrutv¥¤phC~¯® ~ |¤{xze w xy{Ctvg ¹qtG°sg®g_{/|£¨2f.xCr t g_rw~g ~{~¥¤psrugGrYxyg_~tvglx{/¨©ze{w t|£xy{~¥¸¥}~{z~g_r (Yx ~h¥£x º , ¥£g_®g_¥ gvgGrug_{yt~ t|£xy{ # zruz~¥£¥¤pªqpCtvgGw xssg (
(16) ¬ 4f.xyvg4|¤fhLxvt~{Ct e| Ágg{wg |¤r tvceg rvzeeLxvt ¨©xepC{~f.|¤w w¥¤~yrvr%¥¤xy~ys|£{ 7NfhxCr t ~{~¥¤pqrvg_rwx{rv|¤eg~w¥£xCrugG ,@º%x¥}*f.xqeg¥@°eruxtvc~ttvceg w xyf.e¥£gtvg w~¥£¥Áy~ec x¨%~exy~f w_~{ªgDrut~tv|}w~¥¤¥¤p=w xf.ezetvg_:°:º ce|}wc1f*~²yg_rl|£tg_~rv|¤gltvx Lgv¨©xf,~/®ygpFeg_w |}rvg ~{~¥¤psru|}r_¬/j¦{1tcegwx{Ctv~p°$rvxf.g.º%x²qr4¥¤|¤²g $/.'%wx{rv|¤eg~¨©ze¥¤¥£pxLg{ º%x¥¤:°$~ ttcegDw xCr tx¨ vgGw |}ru|¤x{:¬ 4¥}rux°¯tvceg%~{~¥£psrv|¤r2rvwceg_f.gYf*~¯p4ªg§¥£xsw~¥yxyNe|¤rutv|£ªzstvgG 7:g|£tvcg2tvceg%g ¹sg_wzstv|¤x{ru|£tvg%c~r tcegg_rvxzew gGr # tv|¤f.g¦~{hx º%g (2tvxLgv¨©xf±tceg~{~¥¤psru|}rx{*sg_f.~{¸°Cx|£tY{eg_g_erevgGw xyfhzstvgG g_rvze¥£tr # zru|¤{eh¨©x g¹e~f.e¥¤glvxqx)¨ , w~vpq|£{w xss<g $Û ')(§tx*²gg_/|£trLx º%g¨©xtceg g_~¥Ág¹qgGw zst|£xy{:¬ nCt~ t|¤w_~¥¤¥£phw xf.ezetv|¤{e xªs gGw trWexLgvtv|¤g_r|¤{ytvxsszw g_rW~eex¯¹s|£f*~ t|£xy{rszeg tx~ªrutv~w tW|£{Ctvg_- , vgt~ t|£xy{:¬ bcegg ¨©xyvg |£t¦|}rf*~{e~ txpDtxDf*~²gruzeg tc~ ttceg_rvg ~eex¯¹q|¤f*~ t|£xy{r exsszw gr~ ¨©g g_rvze¥£tr_¬ * {Ftceg|¤{Ctvxsszw t|£xy{:°Lº§gvgGrug_{ytg_FgGrvw_~Lg ~{~¥¤pqrv|}r~rl~Dw xy{q®g{|£g_{yt¦xst|£f./| 2_~ t|£xy{ ¨©x f.g_fhxyvpFf*~{~ygf.g{Ct_¬ * t4¨©x¥¤¥£x ºr¦tvc~ t |¶t |}r ~¥¤º%~¯psrlrv~¨©g # tvcexyzecLxtvg_{Ctv|}~¥¤¥£p«rvzeªLxst|£f*~¥ (tvx f*~v²xªs gGw tr~rg_rw~e|£{¬¦j¦zel~{~¥£psrv|¤rº |£¥¤¥:¨©xsw zrxyC{ ! "xªe g_w tr°Á~{tvceghvgGruz¥¶trº |¤¥£¥ ªLgsgµ{eg_ ~yr # $ ?%|£¨N{ex.xyªs g_w tf.~v²yg_/~r "|¤r~ ¨»~¥¤rvg4xCru|£tv|¤®gy¬ Ä 2*5 4 ¾ ¡7 698 ,;:< o =>: ! " ) ) " ?A@ %'¾ & ( ) )»*à (,+.-#/ 1 02 $ ¾ 3 . % ) m @1) # ) ?@ F o G. m. * *?A@ ) #B CA@. m. #B= :*DE . * { tcegDw xy{ytg ¹qtº%gD~esg_rr_°:|¶t|¤r z{~w_w get~ª¥£g.tx=w x{ru|}sg~ w¥£xCrugG1º%x¥}1rv|£{w g*ze{Ctv|¤fhg g¹qtvg{ru|¤ªe|¤¥£|£t p|}rW~¦²ygp4¨©gG~ tvzvgx¨Lxªs gGw t ,@xyv|¤g{CtvgG rvpsr tgf*r°º ce|¤wchf.xgx ®yg$|}rW~ªruxy¥£zstg¥¤p{eg_g_sgG |¤{ zeªe|}¼Cze|¶txzrw xf.ezetv|¤{e¬%bceg vgG~rvx{¨©x tc~ t|}rtvcg{eggG/tvx*¥¤xy~/f.xªe|¤¥¤gw xssg~{txDruc~g wxssgªLg t º%gg{1~ee¥¤|}w~ t|£xy{r # 4 * r¦¨©xyg ¹e~fh¥£gy°tx/~¯®xy|¤ge¥¤|}w~ t|£xy{Fx¨Ywxqegtvc~ t¦º%xz¥¤ ¥¤g_~y tx*g ¹ew gGrvrv|¤®g4f.gf.xp/wx{rvzef.stv|¤x{ ( °º c|¤wc ªeg_~²qr tvceg|¤{eceg_vg_{Ct|¤rvx¥}~ t|£xy{/ªLg t º%gg_{=w xssg4¨©xf e| Ágg{Ct.evxsszw gr_¬ bcgg ¨©xg°tceg ~{~¥£psrv|¤rhw~{e{exthªg Lgv¨©xf.g_³g_{yt|£g¥¤p6~ t*w xyf.e|£¥}~ t|£xy{ t|£f.gFtx t~²gF|¤{ytx6~w_w xz{ytD~{Cp\® ~¥¤|¤Jg ¹qtg{rv|£xy{:¬ DN|¤zeg .=rvcex ºr*~tv|£®q|}~¥g¹e~f.e¥¤gFx¨4tvceg rv|£tvz~tv|¤x{.º§g º~{CtWtxªg¦~ªe¥¤gtvxf*~{~yg¬ &$xqx²q|£{~ tWtvcgw xssgy°y|£tY|}rWxªq®q|£xyzrNtvc~ ttcegg|}rWx{e¥¤p xy{eg º~¯p/¨©x¦tvceghxªs gGw It Htvx/rvze®q|£®yg f.g tcexsK JLM;7 ~/vg¨©gg{wg tvNx H/c~rtvx/ªgh²g_sPt O xyzstrv|¤e$g Q ezev|¤{etvcgFg ¹sg_wzstv|¤x{JxS¨ RTLMC¬ 4 rvpsr tgf ze{e{|£{e º |£tvc·w ¥}~rrvg_r U ~{W V\rucexyze¥}\ªLg=~ª¥£gtvx epC{~f.|¤w_~¥¤¥£p/¥£xC~/tvcg w ¥}~rPr X;Y'Z1VÁ°sex ®q|¤sgG/tvc~t|¶tlsxqg_r {ext¦w xyf.evxyf.|¤rvgltvceg|¤{Ctvg_|¶t p/x¨tvceg rvpsr tgf ¬ 4{=xLg{ , º%x¥¤ ~evxC~wc # ¨©xyg¹s~f.e¥£g $3. ')(º§xyze¥¤ f*~²g tceg xyªs g_w [t H/g_rw~Lg|¤{«~{qp w_~rvg°yªgGw~zrug|£t§|}r§{extYLxyrrv|£ªe¥¤g txrut~ t|¤w_~¥¤¥£ph²q{ex ºJº c~ t%c~eLg{r|¤{*tvceg¦f.g tvcxq\ R]LMq°º cgg_~r ~«w ¥¤xyrvg_ , º§xyv¥}~eexy~ywc1º%xz¥¤³sgtvgGw t tc~ Et H=|}r w_~stzeg_ # rv|¤{w gtvceg/ªxsspx¨ tcegDx{¥£px{eg ~¯® ~|£¥}~ªe¥¤glfhgtvcexs^ RTLM |¤r g_f.st p ( °eªezetº§xyze¥¤/eg®yg{Ct¨©vxyf ¥£xC~s|¤{e\ X;Y_Z1VL¬ bceg ¥}~ tg/~ut.x¨¦tvceg ~{~¥¤pqrv|}r|}r.~«vxyªe¥£g_f ru|¤{wg/|£t*|£f.e¥¤|£gGr*~{\x ®gcegG~ º ceg_{\¥¤xy~ys|£{ tceg w xssg«|¤{Ctvx tvceg rupsrutvg_f¬ k=~{Cp wcexy|¤wg_rw~{Sªg1f.~ysg|£{"xyegDtx\sgGw g_~yrugFtceg w xyrut/x¨ tceg4~{~¥£psrv|¤r_°q¥£|¤²g¦c~¯®q|£{evgGw xyzervgtxh~eex¯¹s|£f*~ t|£xy{r_¬ Dexyg ¹e~f.e¥¤g°Ctvcglwxf.e¥¤g tvg¦tv~w²q|¤{e x¨ xyªs g_w t~ tutv|¤ªezstg_rW¥¤|¤²g|£{ $Û 'º%xze¥}ªgtxCx4g¹qLg{ru|¤®gy°~{h|£tf*~¯pªgwcg_~LgNtx ze{e|£¨©p~{hxªe g_w t º |£tvc |£trµg¥}erszv|¤{e.tvcg~{~¥£psrv|¤r_°qtvx*²yggFrv~wg w x{ruzef.st|£xy{F~ t~{F~yww g_st~ªe¥¤gl¥¤g®yg¥@¬§nqxyfhg. Å©ÆNÇ:ÅÉÈ.
(17) .
(18) . .
(19) "!"#%$'& ( *) ,+.-/ 0. *) ,+21345 *) 6. %7. %
(20) 8"-. 9 6. %;:=<>@?A. %
(21) 8"- 9 3+++ 6. J DHHGIHFLKMK4NO(P. BCED%F=GIH. N|£yzeg5.<73Qpq{~f.|¤wl¥¤xy~e|£{e.|}rvrvzegy¬ xtvceg_vg_¥¤~tvg_º§xyv²sr2¥£|¤²g:$ 'ewcexqxyrvgtvx4Lgv¨©xf~ >x º ,@|¤{rvg{rv|¶t|£®ygY~{~¥¤pqrv|}r$|¤{rutvg_~y¸° ¨©xy2tceg rv~f.g g_~yruxy{:¬SR%zst rvzwc³~eex¯¹s|£f*~tv|¤x{r4~g.{exthruzs´Dw|£g_{yt ezeg.tvx tcegD|¤{ecegg{Ct wxf.e¥¤g ¹s|¶t p«x¨tvceg ~ªrutv~w t|¤{Ctvg_veg t~ t|£xy{~¥£yx|¶tcef*r |£{q®yx¥¤®g_ # tcegp |¤f.e¥£p{exy{ ,?tv|¤®q|¤~¥¸µe¹ xy|£{Ct¦wxf.ezst~ t|£xy9{ ( ° ~{³tcegf.~ x.ruxyzew gx¨y~|£{ |¤rtvxLgv¨©xf f.xCr t.x¨tceg ~{~¥£psrv|¤rx ,@¥¤|¤{eg°Wtxeg_w g_~yrugtvceg x ®ygceg_~y«~t¥£xC~s|¤{e tv|¤f.g¬ bce|}r°w xyf ªe|¤{eg_º |£tvc tcegD{eg_g_¨©xrvg_wze|¶t p«tvc~t º%~yr4eg®q|£xyzrv¥£p g¹sxCrugG¸°sªe|£{eCrzr{~tvze~¥¤¥£pDtvx.zrvgruxyfhgl²q|£{/x¨Nvxqx)¨ , w~vpq|£{ w xss<g $Û '$r t~tvgyp¬ * {³tce|}rhw_~rvg*tvcgexqx)¨ , w~pC|¤{eFw xssg/rvwceg_f.g/sxqg_r {ext.~eLg_~~yr ~=º~¯p=tx1s|}rutv|£ªezetvg/~ g_~¥µrut%xyeg%evxqx¨:x¨$tceglfhxyªe|¤¥£g4w xssglªgt º§g_g{tvceg w xssglexsszw g_%~{*tceg w xssg4w xy{ruzfhg__¬ @g¦ zr t4tvp tx e|¤rutv|£ªzstvgtvceg*wxf.e¥¤g ¹s|¶t pFx¨§~{1g_rw~g.~{~¥£psrv|¤rl~ªr t~yw t¦|¤{Ctvg_veg t~ t|£xy{:¬ 4r f.g_{yt|£xy{eg_Dªg¨©xg°Cg_rw~Lg~{~¥¤psru|}r|}rYx¨Étvg_{Dª~rvg_Dx{~ {x{ ,@tv|£®q|}~¥µe¹*xy|£{Ct%wxf.ezst~ t|£xy{:¬ D2|£¹ Lx|¤{Ctwxf.ezst~ t|£xy{Dx{~u~¯® ~f.g tcexsD¥¤|£²ygtceg¦xy{eg|¤{q®xy¥£®yg_.|¤{ªqpCtvg_wxssgt pqLglwcegGw²q|£{ew~{/ªg g´Dw |¤g{Ctv¥¤pLgv¨©xf.g_|£{=~{ gf ªLg_sg_Frvpsr tgf º cg{=~{F~¥£g_~yspw xyf.ezstvgGµe¹ xy|£{Ct|}rW x|¤{egG txtceg*f.xªe|¤¥¤ghwxqeg5¬ * {«tce|¤r w_~rvg tceg.gfªgGesg_rvpqrutvg_f zrutwceg_w²sr¦tvceg*wxqeghº |£tvc1tvcgµ{~¥ µ;¹ , Lx|¤{ytG¬Nbcg t pqglwceg_w²ygG°¥£|¤²gtvcegxy{egexLxyrvg_hªqp $ ' °Cg{s¨©xywg_rWªLxtc*tvceg¦ªqpytg_wxqegt pC|£{e wxvgGw t{eg_rr4~{tcegD® ~¥¤|¤e|¶t p1x¨%tvcegDvxyxCrugG«µ;¹ , Lx|¤{yt|¤{6~ ¥¤|£{egG~ ~{~¥¤psru|}r # f.xyvg*eg_w|¤rvg¥¤p° gG~wc=ªqpCtvgGw xssgh|¤r4wcegGw²gGFg ¹e~w tv¥¤pFx{wg ( ¬ bcegg ¨©xyvgy°Áº§ghº |£¥¤¥Wsg_rv|¤{«xyze ~¥¤xyv|£tvcef |¤{1rvzwc1~ º~¯p.tvc~ t|£tr g_rvze¥£tr ~gl®g|£µ~ªe¥¤g4ªqp*tvcegr~f.g4f.g_wc~{e|}ruf ¬ ! (/ )*!$ ! T D. UWV4X. Y[Z\*]^4_`^4acbdZefbacg@gc\ hiaj^2k^.lmacn. j¦z xC~¥§|¤r tvx1evgGrug_{Ct~{6gGrvw_~Lg~{~¥¤pqrv|}r tvc~ t{gg_r~{6ze{sg_v¥¤pq|£{=g_{eg~¥§ezexCrug~¥£|}~r ~ {~¥¤psru|}r_¬ * {"tvc|¤rFrvg_w tv|¤x{Sº%gevgGrug_{Ct ~\¥£|¤cCt º%g|¤cCt~{"®yg|¶µL~ªe¥¤g1~¥£|}~r~{~¥£psrv|¤r¨©xFC~¯® ~ ªqpCtvgGw xssgy¬Nbce|}rY~{~¥¤psru|}rW|}rYrve¥¤|¶tY|¤{*t º%x ~vtr # x; 9, ¥£|¤{eg~{.x{ ,@¥¤|£{g(Ntc~ tYg_{~ª¥£g tceg~{~¥¤psru|}rtvx ªLgLgv¨©xf.g_hªqptvcg¦w xssg vxsszwgG°º ce|¤¥¤g tvceg¦w xssgw xy{rvzef.gxy{e¥£pc~rWtvx®yg|¶¨©p tvceg|¤{Ctvg_|¶t p x¨$tceg vgGruz¥¶tr¬ DN|¤rut_°º%g=g¹qLxyrvgFtceg=tcegxyvgtv|}w~¥¦ª~rv|}rDx¨xyze/~{~¥¤psru|}r_°~{ tceg{·tceg1~¥£yx|¶tcef |£trvg¥£¨ ¬ DN|¤{~¥¤¥¤p°sº%gs|¤rw zrvr rvxf.g ~rvgGw trx¨$tceg~{~¥¤pqrv|}r%~{|¶tr®g_v|£µw~tv|¤x{:¬. Ç2Ç ÔFGHI?J.
(22) .
(23) 9 . * {*tceg ¨©xy¥£¥¤x º |£{° eg{extvg_rtvceglrugtYx¨:~¥£¥tvceg¦xªs gGw trtvc~t§w~{*ªg¦zrvg_.|¤{D~y~¯® ~4exy~f ¬ ·cg{ sg_~¥£|¤{eº |¶tc~O¥£|}~rvg_r_°Áxze4xC~¥N|¤r¦tx wxf.ezstgh~yrlevgGw |}rug_¥£p=~yrlxCrvrv|£ª¥£gtvceg.|¤f*~ghx¨ O ªqp*tceg4¨©x¥¤¥¤x º |£{ehg¥}~ tv|¤x{$¬ %'¾ & ( ) )»*à ( -*à )( ¾ Ä ¿ ¾ 3»s )»Ã*( 6 ? ,→ : O → O : A ) ":? 3 G
(24) ? 3 o ,→ f ; f
(25) ) #E: o * % f @? "9 ) "5) + @. @ oG. 0xtv<g 7:tx¦rv|£f.e¥¤|¶¨©p4tceg%fhxssg_¥?°y~{ ~v~¯p|}rw x{ru|}sgg_ ~rN~{xyªs g_w t2º |£tvc.~Lxtvg_{Ctv|}~¥¤¥£p4|¤{sµ{e|£tvg {qzefªg_ x¨Nµg¥}er_°qtvceg_vg¨©xg ~{ ~~¯p*~¥}rvx OuLx|¤{ytr%tvxQl|£tr g_¥£g_fhg_{Ctr_¬ %'¾ & ( ) )»*à (> -¾ e¡Ns ) 3 ) ¿ 6 S= * S: ,→ ) % $ S @ ,→ * o ,→ f f = :? / @ 7 o G UWV U i nkZ%b k^4l,a b2x g_u¨©xyvf ~Fr t~ t|¤w.~{~¥¤pqrv|}r4x¨ ~ evxy~f º%g.{eggG~{³~ªrutv~w tv|¤x{x¨%tvceg*g¥}~ t|£xy{ tc~ t eg_~¥}rº |£tvcF~ªrutv~w t xªs gGw tr|£{rutvgG~/x¨xªs gGw trs|¤vgGw tv¥¤p°sªLg_w_~zrvg x{g4w_~{e{xtsgGw |}sgr t,→~ t|¤w_~¥¤¥£p º c|¤wc³g_~¥xªs gGw t |}rzrugG³~ t ze{Ctv|¤f.g¬ * { tvcgg_rutx¨tvceg/~LgG°Nº§gDº |¤¥¤¥§~¥}rvxFzrugDtvcegtvgf Oug ¨©gg{w g_Ar Q¦txsgGru|¤{~tvg4tcexyrvg ~ªr t~yw txªe g_w tr°Lru|¤{wgº§g {eg®ygwx{rv|¤egg_~¥$xªe g_w tr |¤{Ftvceg rut~tv|}w=~{~¥¤pqrv|}r¬ bceg«rvg tx¨ zrugG vg¨©gg{wg_r*|}rwxf.Lxyrvg_Jx¨ ® ~|£xyzrDrvzeªrvg tr°sgGrvwv|¤ªLg_·~r ¨©xy¥£¥¤x ºr_¬ ¾ à TÄ 6 ? m : \ + @ @? ? ? %'¾ & ( ) )»*à ( -¾ ¾ _¾ ( ¡ ¾ à @ m Ref = P ara ∪ {Ret } ∪ Except ∪ Alloc "! ∪ F unc ∪ {Static} # P ara ? ?9 ? @B A@ m. # Ret ) ?! $ A@ I . # Except 5 #B; FS: ) &% I9 + "%)D ;:? <? ( '. # Alloc ) @ ) ) ?:) ) I% ) 7. # F unc ? A@T@" ) ?! )) ? ) . # 5 Static : = 9 @ ;:< G 4{ |¤fhLxvt~{CtNrvzeªrvg t2|}r °¯tvc~t2geg_rvg{Ctr2~¥¤¥tcegYxyªs g_w tr$tvc~tNf*~¯plªgw g_~tvgG sze|£{e tceg f.g tcexs/g¹sg_w zetv|¤x{:¬ @gAlloc w xy{rv|¤sg_ x{eg g ¨©g_vg_{w gl¨©xy g_~wc+*,(-ªqpytg_wxqeg # tvcgrv~fhg yxqg_r§¨©x xtvceg_.*,(- ,@¥¤|£²yg.ªCpCtg_w xssgGr ( ¬«bceg_vg¨©xg*º§g/º |£¥¤¥§w_~¥¤¥ r tcegg ¨©g_vg_{w g.tc~ thvg_evgGrug_{Ctr~¥£¥§tvceg xyªs g_w tr%tc~ t~vg4w g_~tvg_/g ¹sgGw zst|£{ehtceg N ªqpCtvgGw xssg¬ %'¾ & ( ) )»*à (/ - 2. 4 ¾ ¡*sN_ e¡ )?à ( 6 o ∈ O * o˘ ∈ Ref G 5* o ∝ o˘ @ o˘ : = 9 @ %* o G O˘ ? A@ ;:? = : < G ∗. m. m. m. ∗. m. m. m. m. m. m. m. m. m. N. th. m. Å©ÆNÇ:ÅÉÈ.
(26) .
(27) . ,. Y1R. 7 H AR
(28) o.f = x. L. α ∗. α. L = closure(L{r1 ,→ r2 : r1 ∈ o¯ ∪ {y | o ,→ y}, r2 ∈ x ¯}) 0. "* ,. H Y 57
(29) 3HAR]L L. →. o.f ( p ). *M. S = exactT ype(o)?exactSign(f ) : approxSign(f ) L0 = closure(L{π→ (L) ? S}) p. Nb ~ªe¥¤g%.=7R%pCtvgGw xssg rug_f*~{Ctv|}wrg¹swgst_¬ j¦ªq®q|£xyzrv¥£p*tcegg¥}~ t|£xy{r sg_rw |¤ªgG/|¤{ Qgµ{e|£tv|¤x{rl.~{ *w_~{e{extªgrut~tv|}w~¥£¥¤p/wxf.ezstg_¸° rvxhtvc~tº§gl¨©xsw zrx{F~{ ~ªrutv~w tv|¤x{/x¨NtvcexCrug4g¥}~ tv|¤x{r¬ %¾'& ( ) )»Ã*( >-Ã*)( ¾ Ä ¿ ¾ 3»s )»*à ( sN_ e¡ )?à ( 6
(30) ;:? <? A@ $ ) #D:? . ? 3 ) PE 7%) A@ : = ;:< ? G"! [<
(31) "5 @ ) E ! o˘ ,→ f˘ ⇐⇒ α. ∃o, f : o ∝ o˘ ∧ f ∝ f˘ ∧ o ,→ f G. %¾'& ( ) )»Ã*( # - D_ e¡* @ ,→ α G. ¾ e¡2e ) 3 ) ¿ 6.8. A . α ∗. ,→. < ?5 % ) $ . j¦ze ~¥£yx|¶tcef ~|£f*r~ t w xyf.ezstv|¤{e.~¥¤|¤~yrYg¥}~ t|£xy{rWtc~ t ex ®q|¤eg~r~ ¨©glª~yru|}r¨©xy§f.xyvg4w xyf , ¥£g¹~{~¥£psrvg_r # ¥£|¤²gg_rw~g ~{~¥¤psru|}r( °rvx¦tc~ tWtceg |¤{s¨©xf*~ tv|¤x{hº%g§¨©xswzrWx{.g¹qvgGrvrvg_r2tvcg O ¥¤|£{²qrAQ ªLg t º%gg_{=g ¨©gg{w g_r_¬cR%zst r t|£¥¤¥@°tceg vg_¥¤~tv|¤x{F|}r{extlrut~tv|}w~¥¤¥¤p wxf.ezst~ªe¥¤g # szeg tvx/wx{Ctvx¥ >x º ( °rvx4tvc~tº§g c~¯®g%tvx ~evx¯¹s|¤f*~ ,→tvg|£t_¬E4"w g_{Ctv~¥erutvzw tzevg|¤{*xze~¥£yx|¶tceftceg ¥£|¤{e²h~~¯py¬ * tD|}r.f.g_~{yt.tx eg_rw |£ªLg # ~ t~y|£®yg{6t|£f.gy°%xy*r tg |£{JtcegF~¥¤x|£tvce1 f ( tvcegFg¥}~ t|£xy{ ªLg t º%gg_{ g ¨©g_vg_{w gGr # |¤{/tcegrvg{rvg4x¨Ntvceg ,→ vg_¥¤~tv|¤x9{ ( ¬ %'¾ & ( ) )»*à ( $>-&% )(' s¯¯ ¿ 6 8 )( $ % A@ Ref × Ref G * Link ? @ )(C $ @ m % Link ? @ @ ' Ref × Ref G %'¾ & ( ) )»*à ( )>-&% )(' s¯¯ ¿ ¡ à ¯ ¾ ¡ (N¾ G7 698 )(1 $ A : FS: " $ ; );%) α ∗. α ∗. m. m. m. " B< @. m. m. m. ˘ : f ,→ t ⇒ (f, t) ∈ A G ∀f, t ∈ O α ∗. 0~vxt~¯gDp/tv~c{~ thttvcecegg_vg/g¥}|¤~ rht|£xxy{{=¥£p³ªLg ~=t º%xyg{egg?{«, ºv~¯gp1¨©g|¤gf.{ew¥£g_|}r_w¬l~tvb|¤xce{6|}r¦ªL|¤g r4t º%szegg_g {6tvxtce{eg/g_wsg_gGrrvrvw~vv|¤p st~|£xy{ evr x¯t¹sx|¤f*g_³~ tv|¤|¤x{6{tr ce|£g{1¥£x|¤{eze² . ~¥£yx|¶tcef ¬ UWV+* ]&,3l3Z%^.k.-c_ j¦z¦~¥¤xyv|£tvcf |}r¦e|£®q|}sg_F|¤{Ctvxt º§xDf*~ x¦~yruLg_w tr 7%tvceg|£{Ctvg_-, f.g tcexs=~{~¥£psrv|¤r¦~{Ftvceg|£{Ctv~, f.gtvcexsx{egy¬ Ç2Ç ÔFGHI?J.
(32)
(33) 9 &. ( ¾ À ¾ " Ã Ä ( " 3 ¿ ) ns|£{wgDº%gw xy{ru|}sg_~{³xyg_{³º§xyv¥} # ~{³º |¤¥£¥§{exthvg , ~{~¥¤p2g*~¥¤¥tceg/sg_g_{sg_{yt.w ¥}~rrugGr º ceg_{ ¥¤xy~ys|¤{e ~{egº·xy{eg( °Cº%g¦w_~{e{xt§g¥¤p.x{~ w xyf.e¥£gtvglw~¥¤¥3,@y~ec.¨©x%xze~{~¥¤pqrv|}r¬ * {rutvg_~y¸°sruxyf.g f.gtvcexserNf*~¯p4ªg%¥£xC~sgG + É°º ce|}wc¨©xywg_r2zr2tvx4~{~¥£p 2g§~e|¤g_wg§x¨w xssg§|£{sgLg{eg{Ctv¥¤p x¨2|£tr w_~¥¤¥£|¤{e.w x{Ctg ¹qt_E¬ @g zrug4Lgru|}rutvg{Ct|£{e¨©xf.~tv|¤x{r§tx.eg_rw |£ªLgltvceg4ªLgc~¯®q|¤xx¨~ f.g tcexs¸° |¤{ xsg{exttvx*ªLg4¨©xw g_tvx.?g , ~{~¥£p 2_g¦|£trªLxsspº ceg_{ |¶t|}r|£{q®yx²gG¸¬ 4 rv|¤{~tvzeg.|¤r~rruxsw |}~ tg_«tvxFgG~wc f.g tvcxq:°2º ce|}wc6sgGrvwv|¤ªgGr ~r vgGw |}rug_¥£p~r Lxyrru|¤ªe¥¤g.tvceg ¥¤|¤{e²sr tvc~ tl~vgwvgG~ tg_ ªqpw_~¥¤¥£|¤{eD|£t_¬¦bcegrv|£y{~ tzeg |¤r¦~.tv~{ru¨©xf*~ t|£xy{/txDªLg~e¥£|¤g_=x ®g~ wx{wvgtvg®g_w tvxylx¨§~zfhg_{Ctrtvx xªst~|¤{1~{«x ®g_vgGr t|£f*~tv|¤x{Fx¨§tvceg*wvgG~ tvgGF¥¤|£{e²sr4º |£tvcexyzst4tvceg {gg_tvx*?g , ~{~¥¤;p 2_gtceg f.g tvcxq|¤{F~{gº w x{Ctg ¹qt_¬ Ä ) *( s $ ¾ 6 %'¾ & ( ) )»*à (,+ - ) ) 3 ¾ 3 )(' . ( ? @ : 3 @? ? ? @ % ) m E) ) @? ? ?A E #B< V is I = ) % ? % ) ? 1" $ ? * E %F) @ @ m ' _ B = ? ( );^;:< ? G ) ?$ @ B F< ? @ V is × V is G V Link 8 = @ % ) m Link 3 ) ?? ) : 3 )( V Link +. m. m. m. "\: %) " 3 ? 5 B 9A@ :" \A@. m. m. m. mG. )
(34) ( s 2 ¾ * ( Ä ¿ 0 )(. R%p ~{~¥£p2_|£{e tceg«ªqpCtvgGw xssgy°%º%g«wxf.ezstg1~6rv|£y{~ tzeg=~rruxsw |}~ tg_\tvx g_~wc·f.gtvcexs 71tvce|}r/|¤r º c~ t4º§g*w~¥£¥Ntceg B= = ¬.j¦ªq®q|¤xzrv¥£py°Átvce|}r rv|£y{~ tzevghw~{1ªLg*~ee¥¤|¤g_=º cg{º§g.²q{ex º rut~tv|}w~¥£¥¤p º ce|¤wc f.g tvcxqS|¤r w_~¥¤¥£gG 76tce|¤r|}r/tvceg w~yrug«¨©x g ¹e~f.e¥¤g«º |£tvc tvcg "* H ,_X. ªqpCtvgGw xssgy5¬ @·cg{³sg_~¥£|¤{e º |£tvc "* H ,'Y°e|£t|}r {ext4tc~ t tv|¤®q|¤~¥ 74x{ghc~rltvxF²q{ex ºtvceg #B= «x¨ ~³g ¨©gg{w g tvx\ªg~ªe¥¤gFtx ~e¥£p\tvcegw xyvg_w tru|¤{~tvzeg¬ Dxg¹e~f.e¥¤g°~ ¨Étg |¤{rutvzw t|£xy{ Z , H *,(,- X "* L Mtvceglxªs gGw Pt Hh|¤r%²q{ex º {*tx.ªg4~ X"* Á°tvceg_vg¨©xg¦~ t tce|}r§Lx|¤{Ct%x¨$tceg¦vxy~f ~{qp*w~¥¤¥Ltvx.~{ 7Z , f.g tcexswxze¥}DªLg4vgGruxy¥£®yg_*rut~ t|¤w_~¥¤¥£py°qg®g_{D|£¨ ~{ "* H , YlªqpCtvgGw xssg4|¤rg{g~ tvgG¸¬ %'¾ & ( ) )»*à (,+ + - e¡* ¿ 0 ¾ 6?8 ?;:< % % @? ' A@5 B<? @ % ) E= =
(35) " =
(36) " =5 :) :)
(37) [= ? : " G
(38) : % @ ) ); # ! exactT ype : Ref → bool G "W¹e~yw t.t pqgGrc~¯®gªg_g{JzrugG6|¤{ $/.?' txwxf.Lg{r~ tgtceg ¥¤~yw²³x¨eg_w|¤rv|¤x{ |¤{Ctvxsszw gG6ªqp f.gtvcexsSw_~¥¤¥¤r_°¦ezegtvxJ|£{ecg|¶t~{wg¬ * tFr t~ tvgGr/tvc~tze{sgFrvxf.gwx{e|¶t|£xy{r°¦x{eg1|¤r ~ªe¥£g1tvx wxf.ezstg r t~ tv|}w~¥£¥¤p.tvcg g ¹e~w twxqeg¦tc~ t|}r|¤{C®yx²yg_¸°srvx tc~ t |¤{eceg|£t~{w g4|¤r{xt~hevxyªe¥¤gf ¬Yj¦{ tceg xtcegc~{:°eº ceg{ tcexyrvgw xy{s|£tv|¤x{r ~vg {xt ¨©ze¥£µ¥¤¥£gG¸°~.¥¤g_rr eg_w|¤rvg ru|¤{~tvzeg4{eggGertxDªg ~ee¥¤|£gG¸¬ %'¾ & ( ) )»*à (,+ >- ) *( s 2 ¾=Ã Ä ¾ 6 ? s , s ∈ Sign ! ?]@ ) 7% ) G s ≤ s ⇐⇒ ∀ v , v ∈ V is , ∀ l : V Link , (v , v ) ∈ s (l) ⇒ (v , v ) ∈ s (l) G 5 + < ! ? = " : (! (v , v ) ∈ > (l) > ⊥ ∀ v , v ∈ V is , ∀ l : . m. 1. 1. 2. 1. 2. m. 2. m. 1. 2. 1. 1. 2. 2. 1. m. m. 1. 2. m. 2. m. (v1 , v2 ) 6∈ ⊥m (l). Å©ÆNÇ:ÅÉÈ.
(39) .
(40) . bceg*rv|£y{~ tzeg_r ¨©xy ru|¤{e¥¤ghfhgtvcexs ¨©xyvf,~/¥}~ tut|¤wg¬ bcgf.xyrut4gGrvrv|£f.|}r t|¤whrv|£y{~ tzevg ¨©x tce|}rf.g tcexs |¤r > °~{tcegDf.xyrut xysmtv|¤f.|¤rutv|}wDrv|£y{~ tzevg.|}r ⊥ ¬ @·|¶tc tvcexCrugeg µ{e|£tv|¤x{r°Nº§g |¤{Ctvxsszw gtvcegl{extv|¤x{x¨B< B< = °qº ce|}wc|}r§~ $ 1 x¨:tvcg¦g¹s~yw tru|¤{~tvzeg_r wxf.ezstg_¨©xy~{ |¤{eceg_v|£t~{w grvzeª,@tvggy¬bc|¤rru|¤{~tvzeg*|}rzrvg_ º ceg_{³{ex=g¹s~yw tt pqLgw~{³ªg wxf.ezstg_ rut~ t|¤w_~¥¤¥£p # ¨©xg¹e~f.e¥¤glg ¨©g_vg_{w gGr%xªst~|¤{eg_~rg tzev{® ~¥¤zeg_r ( ¬ bceglr tvzw tvzvgtvc~tYµ¥¤¥¤r§tcegC~*ªLg t º%gg{Dtvcegl|£{Ctg ,@f.g tcexsD~{~¥¤pqrv|}r~{*tvcegl|£{Ct~ ,@f.g tcexs xy{egW|}r$w~¥£¥¤g_ I~ ? E¬ * tr2xC~¥ |}r¸txcex¥}ltvcgYru|¤{~ tvzvgGr:~rruxsw|¤~tvg_tvxtvceg%w~¥¤¥}~ªe¥¤gWf.g tvcxqr¬ %'¾ & ( ) )»*à (,+ -A% ) ¡ )?à ( s ¿ 6 F unc : : A T @ % ? ) 7 * Sign m. m. : ) @+ : 3 ! ? G 8 ? S= ). d : F unc → (Sign × Sign) G. * {"~ s|}w t|£xy{~p°§tvceg«g ¹e~w t~{ ~evx¯¹s|¤f*~ tvg rv|£y{~ tzevgGr*~gF~wwg_rrugG 6tvceg ¨©xy¥£¥¤x º |£{ vx g_w t|£xy{r 7 # .( # =(. . exactSign : F unc → Sign approxSign : F unc → Sign. ( À ¾ Ã Ä ( 3 ¿ ) bcg ~¥¤xyv|£tvcef |¤r|¶tg~ t|£®yg=7r t~vtv|¤{e.¨©vxyf tceg f.xCr txystv|¤f.|¤rutv|}wrv|£y{~ tzeg º%g ~{~¥£p2_g tvceg ªqpCtvgGw xssgFªqp6¨©xy¥£¥¤x º |¤{etvceg«wx{Ctvx¥ >x º ~{·~e¥£pq|¤{e tvcegFvg_®C|¤xzru¥¤p e⊥g_rvg{Ctg_Jru|¤{~tvzeg_r º cg{1~{«|¤{q®xsw~tv|¤x{F|}r¦Lgv¨©xf.g_¸¬ 4¦r4r t~ tvgG=|¤{ Q¦g µ{e|¶t|£xy{C.Ge°Ltvcghrv|£y{~ tzeg x¨Ytvceghf.g tvcxq wxvgGruLx{ertx.tvceg ®q|}ru|¤ªe¥¤g4¥£|¤{e²srtvc~ t~g w g_~ tg_sze|£{tceg f.g tcexs/ªLxssp¬ "Y~ywc=r t~{~C~¯® ~hªCpCtg_w xssg |¤r|¤®g{F~*rvgf*~{Ct|¤wltxDg ¹seg_rrtvcg tv~{ru¨©xf*~ t|£xy{~ee¥¤|£gG xy{htvcegrut~tvg x¨Á¥¤|£{e²srWº cg{*|¤{h|}rWg_{w xyze{Ctvgg_|¤{D~4evxy~f ¬$kFxCr tªqpCtvgGw xssgGrW~g%y|£®yg{*~ltv|¤®C|}~¥ # {egzetv~)¥ (Yrvgf*~{Ct|¤w°qrv|¤{w gtvceg_psx {xte¥¤~¯pD~ vxy¥£g¦|£{/tvcg¦¥¤|£{²qrwvgG~ tv|¤x{evxswg_rr¬b2~ªe¥¤g .¦|¤®g_r tceg¦rvgf*~{yt|¤w ¨©x§tvceg¦f.~|£{/~w t|£xy{r_¬nqg_®g_~¥xLg~ txrW~{D{ext~ tv|¤x{rY~gzrvg_D|£{*tceg4rug_f.~{Ctv|}w ze¥¤g_r 7 closure(L) g{rvzeg_r§tvc~t tvceg ¥¤|¤{e²/~v~¯p L gf*~|£{r%t~{rv|¶t|£®yg¥¤pDw ¥¤xyrvg_¸° π (L) sg_{extg_r%tvcg evx g_w tv|¤x{x¨ L xy{/tceg ®gGw txx¨Ng Ág_w t|£®yg~zef.g_{ytr° I ? S |}r*tceg1wxf.Lxyrv|¶t|£xy{·xLg~ tvxy_°tc~ tex~y~ tg_rhtceg«¥¤|£{²qr/x¨ S ¨©xf tceg«|¤{e|£tv|}~¥ ru|£tvz~ tv|¤x{ I ° v¯ vg_eg_rvg{Ctr§tvcg~ªrutv~w t wx{Ctvg_{Ctx¨$tceg ® ~|¤~ªe¥£g v ¬ bceg.~¥¤xyv|£tvcf rutvxyr¦º ceg{1vgG~wce|¤{e~Dµe¹=xy|£{Ctl¨©x¦tvceg.rut~ tgx¨Wtvceg.¥¤|£{² ~v~¯p ~ t¦g tze{ Lx|¤{Ctr # º§g*{xtvg Link tce|}r¥¤|£{e²~~¯p ¨©xy ~ f.g tcexs m( °N~{|¶trex gGw tv|¤x{x{tcegD®q|¤rv|¤ªe¥£g ¥¤|¤{e²srx¨ m |¤®g_rzr%tvceg g¹s~yw trv|£y{~ tzevgl¨©xytvceg f.g tcexs¸¬ . m. →. p. r m. Ç2Ç ÔFGHI?J.
(41) G.
(42) 9 . .. 4¾ ) & ¡e )»Ã*( j¦{w gw xyf.ezstvgG¸°etcegrv|£y{~ tzevgGrf zrutªLgf*~sg~¯® ~|£¥}~ªe¥¤gl¨©x tcegg¹qgGw zst|£xy{ g{ey|£{egy°rvx.tvc~t|¶t w_~{*t~²yg~s® ~{yt~ygx¨¸tcegf ¬ 4 w tz~¥¤¥¤p°yt º§x|£{s¨©xyvf*~tv|¤x{rYf zrut§ªLgt~{rvfh|£tutg_ 7Ntceg¦rv|£y{~ tzeg |£trvg¥£¨~{:°$f.xg*|£f.Lxvt~{ytG°$g_{exzeyc³e~ t~¨©xyg{~ªe¥¤|£{ tvcegrvpsr tgf7tvxF®g_v|£¨©p=|£trw xg_w t{eg_rr_¬ * {\xsgtvx³~ywce|£g_®gtvce|}r°§º§gg¥¤p³x{\~1¥¤|£ycyt º%g|¤cCthªCpCtg_w xssg®g_v|£µw_~ tv|¤x{ $ ' ¬\bcege|£{w |¤e¥£g |}r¦tvx ze{~rv|£f.|¤¥¤~4~{~¥¤psru|}rl|£{1tvcghg_f ªLg_eeg_rupsrutvgf °:º c|£¥¤g*~¯®x|}s|¤{e*tcegDw xyfh¥£g¹q|£t pFx¨§tvceg ~¥£yx|¶tcef ªqp«²ygg|£{etceg.µ{~¥Yr t~ tg_r x¨§tcegD~¥¤xyv|£tvcef'~ t ¥¤~ªg_¥Lx|¤{ytr # rvx tvc~ t tvcggh|}r {ex {gg_¨©x z{e|¶µLw~ t|£xy9{ ( ¬ UWV _ j].\ _ \ a,k>bdk^.l,a g \ k>b^4]n bacg -cl,^ 5 \ n 0 02 à ) s )?à ( + S 4{~eex¯¹s|£f*~ t|£xy{=º~rlce|}esg{|¤{1tceg*rug_f*~{Ctv|}w x¨Ytceg Y1R , /ªqpytg_wxqeghzrugG=|¤{ bN~ª¥£g .¬ j¦{g²g_pLx|¤{Ct¦|¤{=g ¨©gg{w g_r¦~¥¤|¤~yru|¤{e*|}rcx ºevgGw |}rug º§gº |}rvcFtvx/ªgvg_y~s|¤{e.µg_¥¤er 7 x{g w~{ |¤f*~y|£{eg4ªLg|¤{e~yr eg_w |}rvg4~yr O tvce|}r g ¨©gg{w g4|¤r¦w xy{yt~|¤{eg_/|¤{ µg¥}
(43) x¨2µg_¥¤ /x¨µg¥} Dx¨Ntc~ t xyªs g_w At Q °¨©xy¥£¥¤x º |£{ º§xyv²sr¥¤|£²yg $ '@¬ R%zsttcegg~g~ t§¥£gG~rutWt º§xs~¯º ª~yw²qrNtx tvc|¤rYfhgtvcexs¸¬ DN|¤rut_° º%ghº%~{yt4txvx ®q|}sg|¤{s¨©xyvf*~ t|£xy{r¦tvc~t~g®yg|¶µ~ªe¥¤gªqp«rvf*~¥¤¥Wgf ªLg_sg_rupsrutvg_f.r_°$~{=tc~ t ²q|¤{x¨ sg_rw |¤stv|¤x{ w~${ tªLgDc~{s¥¤g_º |£tvcexyzstceg_~¯®qpFtvgG~ tfhg_{Ctr_¬kFxgx ®ygG°ÁtvcegDe|¤w tv|¤x{~vp fzrut2ªLgY²g_stNezev|¤{e tceg%¥£|£¨©g t|£f.gYx¨stvcegrvpqrutvg_f °¯rvx|£tNfzrut2ªLg§~r2ruf*~¥£¥q~r$xCrvrv|£ª¥£gy¬ * { ~yes|£tv|¤x{:° ²ygg_e|£{/rvzwc=eg_w|¤rvg |¤{s¨©xf*~ t|£xy{rº%xz¥¤=wx{rutv~|¤{Ftceg|¤{eceg_v|£tvgG=f.g tcexserl|£{«tvceghªLxze{r¦x¨ tcexyrvg¥£|¤{e²sr # ~{\|¤{eceg_v|£tvgG f.g tcexs w xz¥¤ {extDw g_~tvgxtceg*¥¤|£{²qrhtc~{\tvcgxy{eg_rh|¤f.xCrugG ªqp tcegª~yrug f.gtvcexs ( °º ce|}wcFº%xze¥}Fw ¥¤xyrvg¥¤pªe|¤{F~Drvgf*~{yt|¤wltxD|¤fh¥£g_fhg_{Ct~ t|£xy{=sg t~|¤¥¤r_B¬ * {r tg_~y x¨tvc~ t_°%º%gsgGw |}sg_ tvxze{e|£¨©p ~¥£¥%tvcg/µg¥}er.x¨4~{ xyªs g_w t 7º ceg{g®g_h~«µg_¥¤\|¤r*~ywwg_rrugG¸°Wº§g vgtvg{ tvcegxªs gGw tl|¶trug_¥¶¨Y|}rl~wwg_rrugG¸¬ * t4|¤rl~*ªe|¤/~eex¯¹s|£f*~ t|£xy{:°ªzst4~D®gp w x{q®yg{e|¤g{Ctxy{eg° ªLxtc1|¤{1tvgf*rlx¨§g´Dw |¤g{wp=~{1ru|¤f.e¥£|}w |£t p¬*nq|¤f.|£¥}~¥£py°¸º ceg{ ~w_w gGrvrv|£{/~{1xªs gGw tG°¸g®g_vp µg¥} x¨tvc|¤r4xyªs g_w tl|}r4w x{ru|}sgg_1~r4~w_w gGrvrvg_¸°L¨©xy¦tcegh®gp=r~f.gg_~yruxy{:¬ R%pFvg_¥¤~¹q|¤{ew x{r t~|£{Ctr xy{6|¤fh¥£g_fhg_{Ct~ t|£xy{r_°Wº§gy~|£{ >g ¹s|£ª|£¥¤|¶t py¬6nqxf.gxtvceg_g¥}~ tg_³º%x²sr¥¤|£²yg $ ' f*~²gs| Lg_vg_{yt wcx|}w g_r_°Ávg_f*~|¤{e|£{®g_vp eg_w|¤rvghº |¶tc«tcegxyªs g_w t¦µg¥}er4ªezst ¥¤xyrv|£{e/|£{Ctg ,@f.g tcexs=eg_w|¤rv|¤x{=ªqp Lgv¨©xf.|£{h5~ >x º , |¤{rug_{rv|¶t|£®ygl~{~¥¤psru|}r¬ bceg_vg¨©xg°Cº ceg{/zeÁe~ t|£{etvcg¦¥¤|£{²D~~¯py°yrvxf.g¦~yes|£tv|¤x{~¥ # ~{f*~¯pCªLg¦wxze{Ctg ,@|¤{Ctvze|£tv|¤®g ( ¥¤|¤{e²sr*~gwvgG~ tvgG6tx v g >g_w thtceg=~evx¯¹s|¤f*~ tv|¤x{$¬ i§x{ru|}sg|¤{e«tcexyrvgF~ee|¶t|£xy{~¥ g_¥£g_fhg_{Ctr.|¤{ tceg ¥¤|¤{e²F~~¯psr|}rtcegrv|£f.e¥¤g_rut¦º~¯p/tvxxyªst~|£{=~w xg_w t¦vgGruze¥£tº ce|¤¥¤g ²g_ge|¤{e*tceg.¼yz~{Ctv|£t p/x¨ |¤{s¨©xyvf*~ t|£xy{~yr¥£x º ~rLxyrru|¤ªe¥¤g¬ _¯ _ N¡ 2 ¾ jtceg.rutvzw tzevgGr ~vgD{gg_eg_ ezev|¤{eFtceg ~{~¥£psrv|¤r_°Wruzwc\~rh~{ ~ªr t~yw t|£xy{x¨tvcgg ¹sgGw zst|£xy{ rut~yw²Á¬ bcxyrvgDr tvzw tvzeg_r~g*{eggGsg_6x{e¥¤p«¨©xy t pqgw xyfhzst~tv|¤x{6~{³~¥}rux tx«sg tgf.|£{egtvceg g¹e~w t/fhxyf.g{Ctº ceg_{ tvceg~{~¥£psrv|¤r*c~r*g_~ywceg_J|£trµe¹JLx|¤{Ct_¬±bceg_pJex6{ext ~eLg_~D|¤{·tvceg rvgf*~{yt|¤w_rªe|£ g >psgGrvwv|¤ªgG|¤{Fb2~ªe¥¤5g .4|¤{ xsg%tvx*²ygg_tce|£{yr ~r w¥£gG~~yrxCrvrv|£ª¥£gy¬ . . . . . Å©ÆNÇ:ÅÉÈ.
(44)
(45) . .<..
(46)
(47) !#" $&%# ' ()* +,!--.0/1" 23%4 )(5678' :9;<%02 ' &%02 ' = =. 2|¤zvg7 4 ¥£|}~rg¹e~f.e¥¤g¬ D > N ?> 8F N. G*?%M 1K$!F E. GEH8?>K. @NBACD?. ∅. Empty. E ?. =
(48)
(49) = 88FHFHG G O ?"<*P Q ?
(50) ' =#5 MRF6G S ?
(51) < T ?
(52) M1 K! $ F6G U ?
(53) 8->$ EJI N G ?3#%$=& V O O G ?mJ < P G Q ?c
(54) #> >1 W$% P$%>
(55) '>XV Q G U ?% M>1 K! $ F O I G ?> 8 F E GY,?> 8 F O EJN Z ? P! < M-
(56) '$> V E EJO ?> 8 F O E1Q ?% M>1 K! $ F E E S ?,11 E M>. >. GIH8?>K. α. p1 ,→ r10. @NDACD?. \^]_*`. >. GIH8?>K α. p1 ,→ r10 α r10 ,→ r10. @NBACD?. \j]_1`. kl km. push(28). n op o qrs. α. α. p1 ,→ r10. p1 ,→ r10 α r10 ,→ r10. KBA'P a O A=Kcb Oed f,g J g O1h>H HO Oi pop(28) g g N C HN GEHDO α. EJI ?[ LKK$1$1MM<!<!KK# #. p1 ,→ r10 α r10 ,→ r10. N|£yzeg47 4 ¥¤xyv|£tvcef vze{$¬ D. )
(57) ( s 2 ¾ Y¥£gG~rvg~¥}rux {extg tvc~tYtceglwxf.ezst~ t|£xy{*x¨¸tvcg¦rv|£y{~ tzevg x¨$~ f.g tcexssg_g_{erY¨©vxyftceg¦rv|£y{~, tzeg_rx¨Á~¥¤¥stvcg fhgtvcexserNtc~ tY~vg|¤{q®x²yg_ |£{tvce|}rWf.g tcexs¸¬E@·ceg{*~lf.g tcexs R|¤rrutv|¤¥¤¥sze{e²q{ex º {:° . Ç2Ç ÔFGHI?J.
(58) ¯.
(59) 9 . .. º%g y|£®yg|£t¦tceghrv|¤{~tvzeg º ceg{w~¥¤¥¤|£{e|¶tG°¸º ce|¤wc«|¤r5* w xyvg_w t_¬cR%zst4º ceg_{=tvcg f.g tcexs R |}rlµ{~¥£¥¤p=~{~¥¤p;2_g_¸°:tvceg.⊥g_rvze¥¶t4tc~ tsg_g_{1¨©vxyf |¶tr ru|¤{~tvzeg.~g|¤{q®¯~¥£|}e~tvg_:°$rux/tvc~ t tvcgp g_¼Cze|¤g~l{eg_ºJ~{~¥¤psru|}r_¬ * t|}rW|£f.Lxvt~{yttx {extgtvc~tWtvceg~¥£yx|¶tcef±f*~¯p ~rrvxqw|¤~tvg~{ ) " $ ? rv|¤{~tvzegtx/gG~wc=f.g tcexs«z{yt|£¥|£tr txr # º ceg_{~µe¹, xy|£{Ct4|¤rlg_~wcg_( ¬j¦{«tvceghxtceg4c~{¸° º cg{«sgG~¥¤|£{º |£tvc1~f.g tvcxq f tvc~t4~vg ze{e²q{ex º {«~{Fº |¤¥£¥{ext¦ªLgh~{~¥¤p 2g_ # ¨©xlg ¹e~f.e¥¤g~ {gºS{~ tv|¤®gl¨©ze{w tv|¤x{$°etvc~ t c~r{x*ªCpCtg_w xssg ( °qtceg x{e¥¤pr~ ¨©g rv|£y{~ tzevgltxhªLg~e¥£|¤g_|}r > ¬ f. f. UWV. Wb_j].\. g vgGrug_{ytl~Dsg t~|¤¥£gGFg ¹e~fh¥£gx¨xzel~{~¥£psrv|¤r_¬bceghruxyzewg w xssg |¤®g{F|¤{ DN|¤zegDrvcex ºr~ ®ygp/rv|£f.e¥¤g ¥¤|¤{e²gG,@¥¤|}r t¦wx{rutvzw tv|¤x{:¬ bcegªCpCtg_w xssg~{tcegwxf.e¥¤g tvg g ¹sg_wzstv|¤x{Fx¨xyze¦~¥£|}~r ~{~¥¤psru|}r%|¤ry|£®yg{/|£{ DN|£yzegl¬bce|¤r ~v~¯p.|£¥¤¥¤zr t~tvgGrYtceg4¨»~w t tvc~t º ceg{¨©x¥¤¥¤x º |£{etvcg4wx{Ctvx¥ >x º °N|£th~eLg_~rrut~tv|}r t|¤w_~¥¤¥£p ªLg tutgtvx=yxFµr ttvxFtceg¥¤x º%g_rut ¥¤~ªg_¥¤r_°Wrux~rtvx=f.|¤{e|£f./| 2g/tvceg {qzefªg_x¨:~{~¥¤psru|}rrutvgrY~e¥£|¤g_htxg_~ywc.ªCpCtg_w xssgy¬ * {*xyzeYrv|£f.e¥¤gg¹e~f.e¥¤g°tcegxy{e¥£phg_~¥¥£|¤{e² wvgG~ t|£xy{=xsww zrlº |£tvc1tvceg Y1R , /ªqpCtvg_wxssg°¸º ce|}wc1wxvgGruLx{ertxtceg.¥£|¤{e² ~ygx¨§~w g¥¤¥W|¤{ tceg ¥¤|£{e²yg_ , ¥¤|¤rut # ."*
(60) ( ¬ 4¦r ¨©xtvceg ®yg|¶µw_~ t|£xy{/~utG°stvcg|£{e¨©xf.~tv|¤x{rc|£yce¥£|¤cCtg_|£{ DN|¤zeg.~gruze´*w|£g_{Ctru|¤{w g tcegªqpCtvgGw xssg_r¦~ t;x Árvg tr¦*~{= &~g4tvcegx{e¥¤pDt~g tr x¨¸ zfhr¬bceg_vg¨©xg°tvceg®yg|¶µLw~ t|£xy{ |¤{s¨©xyvf*~ t|£xy{rº |¤¥£¥:ªLg tceg ¥£|¤{e² ~~¯psr§x¨Ntvcegtvce|¤ wx¥¤zef.{/¨©xy tvcxyrvg ªCpCtg_w xssgGr
Documents relatifs
Les pratiques funéraires observées pour ces tombes dites "isolées" ne diffèrent en rien de celles mises en œuvre dans les ensembles funéraires ruraux comptant
La loi du 29 juillet 1998 relative à la lutte contre les exclu- sions comporte un chapitre concernant les « Mesures d’urgence contre le saturnisme infantile dans le code de
Finally, the proposed migration-cost aware ACO-based algorithm outperforms FFD and Sercon in the number of released PMs and requires less migrations than FFD and V-MAN when used in
L’objectif de cette étude visait (1) la reconstitution de l’alimentation de 33 sujets du site de la nécropole de l’Ilot de la Boucherie à Amiens (III-Vème siècles ap JC)
One of the main improvement that must be made is the ability to speak with the companions in natural language. The current system features a set of vocal commands, for
Developing an extremely high impe dance, the condenser mike needs amplification close to the mike , (studio versions f rom the early thirties on actually included
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
The present study aimed to compare couples based on their dyadic AEE and examine whether they differ on the intensity of pain reported by the women, and
