<<

This is !

Manuel Serrano Erick Gallesio Inria Sophia-Antipolis Universite´ de Nice - Sophia Antipolis 2004 route des Lucioles - BP 93 930 route des Colles, BP 145 F-06902 Sophia Antipolis, Cedex F-06903 Sophia Antipolis, Cedex

France France

¢¡¤£¦¥¨§¨© §¦¡¤£¢¤¦¢¡ £¦¢¡ 

&¨¢¦'"() +*¨¡¦©©§¦¥¦£,¦'¤§- ¦

¨¦ ¦ ¤  ¦  £¦¢¡  "!#$!%¨¡¦ ¤ ¡¤£¨¥§¨©  §¦¡£¢ ¨¦. ¦ ¨¡¤/ +§¦0 ¦¨ ¢132¡©¦©§¦

ABSTRACT 8N%PU5Ž<8d7YA,8=$>B@79A%Tf79Aª<]\¢Q¨P"N%VW="A¨BcB@5%=X\%<B@=iQ¤Ln7bB@8dR„<¤8 BMN%:S\,<¤B@=

Q>MB@5,=eAN%Vih#=$>[Q¤L;7bB@8MR„<¤8 Bj>@="`7Y879QA”K0B@Q€Q:#=$>U<B@79QA%8jB@53<B[k6Q¤>@Š

QAvB@5%=€\,Q¨P$N%VW="A¨Be7bB@8="RbL^«y,Q>W79A%8 BU<¤A%P"=K6QA,=aV]<"h#=fkD79RYR979A%T

B@Qe="Vih#=m\]7YA,87Y\,=j

465,798;:3<:#=?>;:,>@="8=$AB@8DC#E%F#GIH%J#K¢@QT>U<VWVW79A,TXRY<¤A,Z

8N%PU5€<86B@5%=dAN%Vuh#=?>6QL”k6Q¤>U\,8"K,:3<¤>U<¤T>U<¤:%5%8;Q¤>D8="P$B@79QA,8;7bBDP"QA¢Z

TN3<¤T=MLOQ¤>[<¤N,B@5%Q¤>@79A%T]\,Q¨P$N%VW="A¨B@8"^)_`="Aa7bL.7bBc7Y8dU<¤R0:%N¢>Z

BU<79A,8"^iC3E3F#GIH,Ja798[5%79T5,Rbl8N%7bBU<h,R9=iLOQ¤>[B@5%=$8=iP"QVW:%N¢BU<¤B@79QA,8"^Mo

:#Q8=fB@Q¨QRgK.79Bih#="8 Bi8N%7bB@8jB@5%=ek;>@7bB@79A%TlQLDB@="PU5%A,79Pm<Rn\,Q¨P"N,VW="A¨B@8

:,>@QT>U<¤V¬798]V]<\¢=}QLW‰@ g£g­ŽžŸg‰}®OB@5%<¤Bf798"KX­@‡¤%‰@ ¤,g‰W79A«B@5%=

8N,P?5X<¤8 k6="hj:3<¤T="8-Q¤> B@="PU5%A,7YP"<R¦>@=":#Q¤>B@8"K¦odpqr\,Q¨P$N%VW="A¨BU<¤B@79QA%8"K

 

:,>@QT>U<¤VWVW7YA,Ta¯<>@TQA#°€<¤A3\±`<¤>@79QN,8fLIN%A,P$B@79QA%8]B@53<B€\¢¢A3<¤VW79Z

=?B@P^)_.s¢="P"N¢B@79A%TeC#E%F#GIH%JW:¢>@QT>U<¤VW86Pm<¤Aa:,>@Q\¢N%P"=t\,Q¨P"N,VW="A¨B@8nQ¤L

Pm<¤RYRblP$QVW:%N¢B@=]®OkD5%="A}B@5,=WC3E3F#G„H%Ja:¢>@QT>U<¤V²>@N,A%8U°DA%=$k³B@=$sB@8"^

`<¤>@79QN%8iLIQ>@V]<B@8u8N%PU5v<8up Q8 B?wP$>@79:,BmK)px[ynK-z[4D{}|.K.40=$s¢79A,LIQ

465%=$8=nLON,A%P$B@79QA,8-<¤>@=6\,=$¡%A%=m\M79AXB@5,=;wP?5,="VW=.:,>@QT¤>U<VWVW79A%TcRY<A¢Z

Q¤>W~tA,7bsV]<Av:%<T=$8"^v4653<BW798"K)B@5,=€`¦=?>8@<VW=f:,>@QT>U<¤V‚Pm<A

TN%<T=^.465%=6C3E3F#GIH,Jt8 ¢A¨BU<¤s[=$A3<h,R9="8 <;8 k6=$=$B 5%<¤>@VWQA¨th#=$B+kn="="A

h#=tN%8=m\]B@Qe:,>@Q\¢N%P"=M\¢Q¨P"N%VW=$AB@8n7YAa\,7bƒS=$>@="A¨B;LIQ>@V]<¤B@8"^nC3E3F#G„H%J

B@5%=t8 BU<¤B@79PX<A3\€\¢¢A3<¤VW79P[P"QVW:#QA%="A¨B@86Q¤L@QT>U<¤V}^

798j<]LON%R9R.LO=m<B@N,>@=m\ :,>@QT>U<¤VWVW7YA,T€RY<¤A%TN%<T=Wh%N,B[79B]†9‡m‡mˆ¤‰dR979Š¦=u<

V]<>@ŠN%:fR„<¤A%TN3<T=Œ‹ † zt4D{}|^

 

odN¢B@5%Q¤>@7YA,T\¢Q¨P"N%VW="A¨B@8ukD7bB@5«<´:,>@QT>U<VWVW79A,TªRY<A,TN%<T= 798]QL

P"QN,>@8=MA%Q¤Bc

<:,:,>@Q<PU5”K8N%PU5j<8rB@5%=4  µ¤’¦B¢:#="8=$BB@79A%T;8 ¢8 B@="V}^”p Q8 B?wP$>@79:,B –

1. INTRODUCTION _

b¶$’)Pm<A<R98Q}h#=WP"RY<887b¡%=m\´79AªB@5,7Y8jPm<B@="TQ¤>¨^f_`="Aª7bL;7bBX798jA%QB

C3E3F#G„H%Jl798j<]LIN%A,P$B@79QA3<¤R.:,>@QT¤>U<VWVW79A%TfRY<A,TN3<¤T=W\¢="879TA,=m\ŽLIQ>

T=$A%=$>U<¤RYRb´\,7b>@="P$B@RbŽN%8="\ LIQ>i<N¢B@5%Q>@79A,T,K”79BM>@=$:,>@="8="A¨B@8j<€\,Q¨P"N¢Z

<¤N,B@5,Q>@79A%T \¢Q¨P"N%VW="A¨BU<B@7YQA%8"K-8N,P?5<8jk6="h:%<T=$8iQ¤>iB@="PU5%A,79Pm<R

VW="A¨BM<¤8M<€:¢>@QT¤>U<V©kD5,Q8=e=$s¢="P$N,B@79QA ¢7Y=$R„\¢8M<]8=$BjQL):,>@79A¨B@=m\

>@=$:#Q>B@8"^DqBd798dh,N%79RbBtQA}B@Q:lQ¤LB@5,=Xw¢PU5%="VW=M:¢>@QT¤>U<VWVW79A%TeRY<¤A,Z

:3<¤T="8"^

TN3<¤T=t ‘m’“^0qB@8”P"QA,P$>@=$B@=.8 ¢ABU<s[7980879VW:,RY=<¤A3\[7bB08QN%A%\,8”LO<VW79R97Y<¤>

B@Qd<A¨¨QA%=.N%8="\MB@QcV]<¤>@ŠN,:[RY<A%TN3<¤T="8"^ocN,B@5%Q¤>@79A%Tc

·

AuB@5,=cQ¤B@5%=$>)87Y\,=K¦8QR9N,B@79QA,8nh%<8=m\eQAeB@5%=cw%¸M{}| ¹’%Q> {}|

–

kD7bB@5€C3E3F#G„H%Ju798)<8n879VW:,RY=D<¤8)kD7bB@5Wz[4D{}|}Q¤>6|b•?4 ^-q“B)798="`¦="A

_,–

 º¤’¢LOQ¤>@V]<¤B@8.:,>@Q:#Q8=D@=6<R9R,B@5,=nP"QVW:%N,BU<B@79QA%8-QAe<

:#Q8879h%R9=[B@QuN,8=t7bB6kD7bB@5%QN,BDA%Q¤B@79P"79A%TiB@5%<¤B;7bBD798D@QT¤>U<VWVW79A%T

\,Q¨P$N%VW="A¨BD<>@=M=$s¢:,>@="88=m\fQN¢B@87„\¢=MQL-B@5,=M\,Q¨P"N,VW="A¨B;7bB@8="RbL+^)y%Q¤>

RY<¤A%TN%<T=ah#="Pm<¤N%8=€QLDB@5%=fP"QA,P"798="A%=$88eQLd7bB@8uQ>@79T7YA%<R;8 ¢A¨BU<¤sS—

·

79A%8 BU<¤A%P"=K#B@5,=jx {¬ ¹»’<:,:,>@Q¦<¤P?5 =$sB@QRY8t@7YP?BM\,79PU5%Q¤B@QVi

B@5,=n>U<¤B@79Qe˜ ˆ¤š›¨œ,žŸ3798.8V]<R9R9=$>.B@53<AjkD7bB@5uB@5%=nQB@5%=?>)V]<>@ŠN%:

h#=$Bk6="="A´\,Q¨P"N,VW="A¨B@8[<¤A3\ª:¢>@QT¤>U<VW8"^u465%798X\,79P?5,QB@QVil798M:,>@=?Z

™

8 ¢8 B@="VW86kn=M53B@N,=WhŽ7bB@8j:,>@Q:#QA%=$AB@8"K h%N,Bj7bBX798iQN,>XQ:,79A%79QA

B@53<B;7bBDV]<Š¦=$8n879VW:%R9=M\¢Q¨P"N%VW="A¨B@8)53<¤>U\¢=$>6B@QiP"Q\,=tB@5%<A]kD7bB@5a<

_-s¢="P"N¢B@7YA,T]<€C#E%F#GIH%J€:,>@QT¤>U<V kD7bB@5 [:¢>@QZ

T=$A%=$>U<¤R)R979A%TN%798 B@79PuB@Q¨QRh#="Pm<¤N%8=e7bB[>@=m¢¨N,79>@=$8[B@5%=uN,8@<T=eQLn8="`¨Z

\¢N%P"=$8 <;BU<¤>@T=?B.\,Q¨P"N,VW="A¨Bm^rqB P"<Ajh#=)zt4D{}|]¡%R9="8”B@5%<¤B 8N,7bB k6="h

=$>U<¤R.\,7bƒS=$>@="A¨BdR„<¤A%TN3<T="8tkD7bB@5ª\,7bƒS=$>@="A¨Bd8="V]<A¨B@79P"8[<¤A3\l\¢79ƒS=?>Z

•

h¢>@QmkD8=$>@8"K#| 4 ¡3R9="86LIQ>D5,7YT5,Z¢¨N3<¤RY7bB]:,>@79A¨B@=m\]\,Q¨P"N,VW="A¨B@8"KQ>

="A¨BD8 ¢A¨BU<¤sS^ _¢–

dQA,Z“R979A%=M\¢Q¨P"N%VW=$ABU<B@79QA”^

¼½7bB@5uB@5,=D\,="`¦=$RYQ:%VW="A¨B.Q¤Lr\¢¢A3<¤VW7YPnP"QA¨B@="A¨B.k6="hW87bB@="8"K¨<[T>@=m<B

¦)N%79RY\,79A%Te:,N,>@="Rb]8 BU<B@7YP[B@=?s¢B@8"KB@5%<¤B;798;B@=$sB@8;

AN%Vih#=$>lQLe7YA¨B@=$>@VW="\,7Y<¤B@=8QR9N,B@79QA,8ªh%<8=m\¾QA¾:¢>@QT>U<¤VWVW79A%T

Q¤LWP"QVW:%N,BU<B@79QA”K[7Y8 T="A%=$>U<¤R9R9§A,QB 8N,¨eP"79="A¨BlLOQ>Ž="RY<¤h#Q>U<¤B@="\

RY<A,TN3<¤T="8€53@Q:#Q8=m\S^¿465,="8=l8QR9N¢B@7YQA%8€T="A,=$>U<R9Rb

\¢Q¨P"N%VW=$AB@8"^y¢>@=m¢¨N%="A¨B@Rb]QA,=[A%="="\,8;B@QW<N¢B@QV]<B@7YP"<R9Rba:¢>@Q\,N%P$=

P"QA%8798 B]79A«T79`79A%T´<Žk;<"B@Qª="Vuh#=m\Pm<¤R9RY8WB@Q´<Ž:¢>@QT>U<¤VWVW79A%T

:%<¤>B@8[Q¤LnB@5,=XB@=$sBm^j465,798t>U<A,T="8[L„>@QV©`=$>l879VW:%R9=uQ:#=$>U<¤B@79QA%8

RY<A,TN3<¤T=i7YA,87Y\,=X<]\,Q¨P"N,VW="A¨Bm^Dpztp¾ À¤’-798d:,>@Qh%<h,R9€B@5%=jVWQ8 B

>@=":¢>@="8="A¨BU<¤B@79`¦=DQL#B@5,798)Š79A3\S^-o±\¢Q¨P"N%VW="A¨B.798)<[VW79siQL#B@=?s¢B)<¤A3\ P"Q\¢=}=$s¢:,>@="88="\vkD7bB@5Á\,7bƒS=$>@="A¨BW8 ¢A¨BU<¤s¢="8"^Â465,7Y8W79VW:,RY79="8iB@53<¤B

Permission to make digital or hard copies, to republish, to post on B@5%=}<N,B@5,Q>?Ã:,>@QT¤>U<VWVW=$>eVuN%8 BW\,=m<¤Rd<B]B@5%=a`=$>v8@<VW=aB@79VW=

servers or to redistribute to lists all or part of this work is granted with- kD7bB@5€B@5,=[N%A%\,=$>@Rb¢79A%TjB@=$sB;V]<¤>@ŠN%:]8 ¢8 B@="VÄ<¤86k6="R9R”<8;B@5%=d:,>@Q¤Z

out fee provided that copies are not made or distributed for profit or T>U<¤VWVW79A%TcR„<¤A%TN3<T=^y%N¢>B@5%=$>@VWQ¤>@=KB@5%="8=B@Q¨QR98\,QtA,QB-:#=?>@VW79B

commercial advantage and that copies bear this notice and the full cita- B@Qa>@="7bL„<}\¢Q¨P"N%VW=$AB[8 B>@N%P$B@N¢>@=W<A%\´<¤>@=WT="A%=?>U<R9Rb´R979VW7bB@=m\ŽB@Q

tion on the first page. To otherwise copy or redistribute requires prior B@5%=t:,>@Q\,N,P$B@79QA}Q¤L k6=$h}:3<¤T="8cQA,R9¨^ specific permission. Third Workshop on Scheme and Functional Pro-

gramming. October 3, 2002, Pittsburgh, Pennsylvania, USA. Copyright 465%=i<:,:,>@Q<PU5 kn=u:¢>@Q:#Q8=X798[79A%8:,79>@="\ h¨€B@5%=i|0o[{}|8 ¢8 B@="V 2002 Manuel Serrano, Erick Gallesio.

b¶m¹’;kD5%79PU5vN%8="8ew¢PU5%="VW=f<8u@ŠN%:RY<¤A%TN%<T=^qAv|0o[{}|

<¤8i79AC#E%F#GIH%J#K-@QT¤>U<V <A%\ª7bB@8j="`<¤R9N3<¤B@79QA

(3!/4&56 &5 "!+57#+('*)8-,,/.10222

¢79="RY\,8079B@8”¡3A3<¤R¦LOQ¤>@V}^-¦nQ¤B@5iRY<A,TN%<T=$8-:#=$>@VW7bB0B@5%=N%8=?> B@QcB¢:#=$Z

8=?Bj\,Q¨P"N,VW="A¨B@8dN,879A%T€<Aš¤%£ š%žd8 ¢A¨BU<¤sS^[zdQmk6="`¦=?>mKr|0o[{}|798

¡

R979VW7bB@=m\iB@QtB@5,=;:,>@Q\¢N%P$B@79QAuQL#zt4D{}|KkD5,=$>@=m<¤8"K<88@<7Y\uh#=$LIQ>@=K

B@5,=n="`<R9N%<¤B@79QAiQL#@QT¤>U<V¿P"<AX:,>@Q\,N,P"=n8=$`¦=$>U<RQN,BZ

kD5%79PU5}="`<R9N3<B@="8;B@Q,—

:,N,B;LIQ>@V]<¤B@8"^

qAew="P$B@79QAu¹6k6=n:¢>@="8="A¨B.<¤AiQ`¦=$>@`79=$kQ¤L%B@5,=DC3E3F#GIH,J[8 ¢8 B@="V³LIQ>

<¤N,B@5,Q>@79A%TX879VW:%R9=d8 BU<B@79PM\,Q¨P"N,VW="A¨B@8"^0¼´=d85,Qk«B@53<¤B;

 9"!$# :<;-0=)§0?>@AB>:>C@CD2

:¢>@QT¤>U<V RYQ¨QŠ8uR979Š¦=]@ŠN%:´RY<¤A,Z

TN3<¤T=^eo VWQ¤>@=uP"QVW:%R9=$s N%8@<¤T=eQ¤LnB@5,=uRY<A,TN3<¤T=W798M85%QmkDAª7YA

w="P$B@79QAŽºK3kD5%=$>@=X8QVW=X879VW:%R9=MB@=$sBcT="A,=$>U<¤B@79QA,8M<¤>@=i\,QA%=K#<8

kn="R9R-<8d8QVW=MB@=$sBc79A%P"R9N%879QA%8[h,N%79RbBdh¨€79AB>@Q8:#="P$B@79A%TWB@5,=i\¢Q¨P$Z

465%=tC3E3F#G„H%Jih¢>U<PUŠ¦=$BLOQ¤>@V P$QR9R9="P$B@8;<¤RYR¢B@5%=DPU53<¤>U<¤P$B@=$>@8)h#=$B+kn="="A

N,VW="A¨BX79B@8=$R9L^w="P$B@79QA£¢ 85%QmkD8i`<>@7YQN%8iP"N%8 B@QVW7¥¤"<¤B@79QA,8iB@53<B

B@5%=fh,>U<¤P?Š=$B@8i79AÂU<¤P$B@=$>@8e8 B>@79A%T8"^£EnQVW:%N,BU<B@79QA%8

P"<A´BU<¤Š¦=W:%RY<P$=€\¢N,>@79A%TfB@5%=W=$s¢="P$N,B@79QAªQLc< C3E3F#G„H%Jª:¢>@QT¤>U<V}^

79A%87Y\,=;h¢>U<PUŠ¦=$B@8-<>@=;53<¤A3\,R9=m\Xh¨MB@5%=nPU53<>U<P$B@=?>@88="¢N,="A%P$=GF§H§I6J,^

y 79A%<R9Rb¨K3k6=MP"QVW:3<>@=X79A w="P$B@79QAl‘]C#E%F#GIH%J]kD7bB@5l`<>@7YQN%8;B@Q¨QR98

y%Q¤>d79A,8 BU<A%P$=K,B@5,=[B@=$sBm—

Q¤>c:,>@QT¤>U<VWVW79A%TiRY<A%TN3<¤T="8dN%8=m\]LOQ>d<¤N,B@5%Q¤>@79A%TW\¢Q¨P"N%VW="A¨B@8"^

T(R3/O"T2U,/.OV%?!= T!=,3!/T2©; W

2. SCRIBE OVERVIEW K  L9MN/O§!? N4QP9%SR3/O

465,798i8="P?B@7YQA:,>@="8=$AB@8i<A´Q¤`=$>@`7Y=?k Q¤L;B@5%=€C3E3F#GIH,JŽ:¢>@QT¤>U<VeZ

VW79A,TeRY<A%TN3<¤T=i<A3\€79B@8c79VW:%R9="VW="A¨BU<B@7YQA”^)y 7b>@8 BmK3B@5%=M8 ¢A¨BU<¤sf798

:¢>@="8="A¨B@=m\e79A€w¢="P?B@7YQAf¹^9¶^)465,="A”K¨79A€w¢=$P$B@79QAf¹^ ¹¨K¢B@5,=D8 B>@N%P$B@N¢>@=

798D:3<¤>@8="\ah¨fB@5,=XC3E3F#GIH,J]>@="<\,=?>t<¤8"—

Q¤L#@QT>U<V¾7Y8-:¢>@="8="A¨B@=m\S^ y 79A3<¤R9R9¨K¦w¢=$P$B@79QAu¹^ ºdP"QA¨BU<79A%8-8QVW=

LI=$kŒk6Q¤>U\,8D<h#QN,B6B@5,=tP"N¢>>@="A¨B;8 BU<¤B@=tQL0B@5,=jC3E3F#G„H%JW79VW:%R9="VW="A¢Z

BU<B@79QA”^

(3!/41T LXMN/O§!? N4QPYTZSR3/O T(R3/O"T2

T=,/.O"T[?!= T!=,3!/T2\T;(T2

2.1 Sc-expressions

¼´=M53

™

‰@£ žc<8d:#Q8879h%R9=^d¼=j53@="VW79N,VÄ7YVW:#Q¤>BU<A,P"=XB@Q

465%=[C3E3F#GIH,Ju8 ¢A¨BU<¤se7986N,A%Qh,B>@N%879`¦=K¨<A%\W=m<8 eB@QMB,:#=$8=$B)kD7bB@5

VW79A,7YVW7 ¤"=€B@5%=akn="79T5¨B]QLjVW=$BU< 79A,LIQ>@V]<¤B@79QA«kD5%="A«<N¢B@5%Q>@79A,T

<Av=m\¢7bB@Q>W<"k6<¤>@=aQ¤L[|r798:,Z“R97YŠ=f8 ¢A¨BU<¤sSK.8N,P?5Â<8G];˜ ­$‰@^x[Q¨P?Z



\¢Q¨P"N%VW=$ABU<B@79QA%8"^Mo P$QVW:%R9=$s}8 ,A¨BU<sak6QN%RY\ :,>@="`¦=$ABd7bB[B@Qfh#=

N%VW=$AB@8W=?s,:¢>@="88=m\«79A§C3E3F#G„H%JÁ<¤>@=Ž<R98QT=$A%=$>U<¤RYRb½85,Q>B@=$>]B@Q

N,8=m\uh¨iA%QAuP"QVW:,N,B@=$>.8P"79="A¨B@798 B@8"^oŒC3E3F#G„H%Jj:,>@QT¤>U<V 798)<[R9798 B

B+¢:#=$Z“79AiB@5%<AeB@5,="7b>)P$QN%A¨B@=$>@:%<¤>B)=$s¢:,>@="88="\u79AWP"RY<8879Pm<R3LIQ>@V]<BZ

Q¤L.=$s¢:,>@="8879QA%8j®“w¢P$Z“=$s¢:¢>@="8879QAa5,="A%P$=$LOQ¤>B@5#°nB@53<Bc<¤>@=M=$sB@="A%\,=m\

B@79A%T]RY<A,TN3<¤T="8"^[y%Q>d79A%8 BU<¤A%P"=K#B@5,=j87¥¤$=uQL.B@5,=eC3E3F#G„H%Ja8QN,>@P"=

w¨Z“=$s¢:,>@="8879QA,8j9¶¶$’ ^nodAlwP$Z“=$s¢:,>@="8879QAa798"—

¡3R9="8QL%B@5%798.:3<:#=?>)798)<h#QN,B^¢¨¹¨K ¹¤»»MPU53<¤>U<¤P$B@=$>@8R9QA%T¢K¦kD5%=?>@=m<87bB

•

798[‘‘K »»»WP?5%<¤>U<P?B@=$>@8d79Al| 4 <A%\U_D_¨K _¤»»W79A}z[4D{}|.^#_.`¦="A}7bL

_,–

7bBt798c8QVW="5,Qmk¾N,A,Lg<¤7b>tB@QWP"QVW:3<¤>@=M5%<A%\¢Z k;>@7bBB@="A}P"Q\¢=i<¤T¦<¤7YA,8 B

odA “‡˜iK38N%PU5}<¤8c@79A%TeQ¤>tm^



T=$A%=$>U<B@=m\ŽQA%="8"K#B@5,="8=i¡%TN¢>@="8tT7Y`=iB@5%=j79A¨B@N%7bB@79QAŽQLB@5%=XP"QVeZ

:3<¤P$B@A%=$88nQL C3E3F#G„H%Ji:¢>@QT¤>U<VW8"^465%=D7Y\,="

o † £I‰UrQ¤Lw¢P$Z“=$s¢:¢>@="8879QA%8"^

\%<>U\Ww¢PU5%=$VW=)>@=m<\,=$>.LOQ¤>)B@=?s¢B.:¢>@Q¨P"="8879A%TMP$QVW="8-LI>@QV¿B@5%=D¦a`d|

8 ¢8 B@="V b¶m»’“^

o žŸg^

2.2 Scribe as a



“‡¤˜u£ ­džŸ?› ž?‰@‰@£ ‡¤,‰.<A%\f† £I‰Ug‰”<>@=n>@="TN,RY<¤>)w¢PU5%=$VW=n=$s¢:,>@=$887YQA%8"^

™

o‚žŸj798}U<¤P$B@=$>@8}=$A%P"R9Q8="\§79A%87Y\¢=´8@¢¨N3<>@=

q+A B@5%798j8="P$B@79QA”K0kn=e:,>@=$8="A¨Bj5%Qmk B@Q}h%N,79R„\Ž<}\¢Q¨P"N%VW="A¨BtN%879A%T

h¢>U<PUŠ¦=$B@8"^465,7Y8;798;B@5%=d8QR9=[=$sB@="A,879QA€B@QXB@5%=d8 BU<A3\,<¤>U\€w¢PU5%="VW=

C3E3F#GIH,JS^oc8;8@<7Y\ah#=$LIQ>@=K%:,>@QT>U<VWVW79A,Tu8Š79RYRr798DA%QBDA,="=m\¢=m\fB@Q

>@="<\,=?>m^X465%=uh¢>U<PUŠ¦=$Bt8 ,A¨BU<sl798M`¦=$>}879VW79RY<¤>MB@Q]B@5%=X8 BU<A%\%<¤>U\

:,>@Q\¢N%P"=i@QT>U<¤VWVW=$>dk;>@7bB@=$>@8tPm<A

š ‰@£ š,‡ždw¢PU5%="VW=tP"QA,8 B>@N%P$B@79QAr^nqAlwP?5,="VW=KB@5%= š ‰@£ š,‡ž

8="=[C3E3F#GIH,Je<8n<[87YVW:,R9=d\¢Q¨P"N%VW=$AB.LIQ>@V]<¤BB@79A,TX8 ¢8 B@="V 8N,P?5]<¤8

¡  ¡ ¡  ¡

8 ¢A¨BU<¤s[<R9R9QmkD8 B@Qc=$AB@=?>0P"QVW:%R9=$stRY798 B@8 h¨t<N¢B@QV]<¤B@79Pm<¤R9R9 š,‡g£I¤

z[4D{}|ªQ>cA,>@Q¤ƒÁb¶/¢’ ^

¡

B@5,=DP"QVW:#QA%="A¨[email protected]LSB@5%=;R9798 Bm^.qB)798B@QMh#=DN,8=m\e79AWP"QA¤¯ N%A,P$B@79QAWQ¤L

B@5,=e­@‡˜i˜ Q:#=$>U<¤B@Q¤>;B@53<BD<R9R9QmkD86B@Q€š¤ š,‡ž)B@5,=t=$s¢:,>@=$887YQA%8"^

C3E3F#GIH,JÂ:¢>@Q`¢7Y\¢="8]<A±=?s¢B@=$A%879`¦=}8=$BfQ¤LM:,>@=$Z\¢=$¡3A,=m\ÂV]<>@ŠN%:%8"^

 ¡

y,Q>c79A%8 BU<A,P"=K,B@5%=jwP?5,="VW=dLIQ>@V}—

465%=$8=c>@QN%T5,RbWP"Q>>@=$8:#QA3\eB@QMB@5%=Dzt4D{}| V]<>@ŠN%:%8"^ 465%=cTQ<R

QLB@5%798c8="P$B@79QAŽ798dB@Q]T79`¦=i<A 7Y\,="<]Q¤L)B@5,=]†9‡m‡ˆ ¤



8 ¢8 B@="V}^”qB kD79R9R¢<`Q7Y\[B@5%=)B@="\,79QN,8 :,>@="8=$ABU<B@79QAXQL%<AX=$sB@="A%879`¦=

="AN%VW=?>U<¤B@79QAQ¤Ld<R9RnB@5%=]V]<>@Š¢N,:%8XW<}P"QVW:%R9=$B@=

 "!$#&%('*)+-,,/.10222

V]<AN%<RtQ¤LeC#E%F#GIH%J#Kd7YA¨B@=$>@=$8 B@=m\«>@=m<\¢=$>@8aP"<AŒ53

^

¨¦ ¦ ¤  ¦ ©c¨ £¨¡ ¦¨ "!#$!3¦¦¡¦ , ¦ ¦'¤,d§

798c=m¢¨N%79`<R9="A¨B6B@QuB@5,=M=$s¢:,>@="8879QAr— 2.2.1 Scribe Markups

o C#E%F#GIH%JÂV]<¤>@ŠN%:Á798€P"R9Q8= B@Qv<¤A {}|³="R9="VW="A¨Bm^¿465,=Ž<¤BZ

–

B>@79h,N,B@="8DB@53<BdP"<A <:,:#=m<¤>d79A%87Y\,=i<A {}|="R9="VW="A¨Bd<¤>@=M>@=":¢>@=$Z

–

?!= = !5 ?!= = K67§§!©4£!= = ; W§2

8=$AB@="\ehuwP?5,="VW=;Š¦=$k6Q¤>U\,8"^.465,=$u<¤>@=c7„\¢="A¨B@7b¡3=$>@8-kD5%Q8=c¡,>@8 B

?!= = K6V%SR3/O T4/ N.O"T2 .N <; W§2

®gQ¤>jRY<8 BXP?5%<¤>U<¤P$B@=$>?°t798j<€P"QR9QA”^]w¢PU5%="VW=XŠ¦=$k6Q¤>U\,8M5%<`=uh#="="A

?!= = 6O N4©§!§!.

79A¨B>@Q\,N,P"=m\vh¨vxjw%w,w,|  ¢’ K6B@5%=fB>@="=aV]<¤A%79:%N,RY<¤B@79QAÂRY<A%TN3<¤T=

?!= = 98 SR3/O T¢§NDT2

%:

<¤88Q¨P"7Y<¤B@=m\}B@Q]w,¸M{}|^3w¢Q¢K,B@5,=tLOQRYR9QmkD79A%T {}|Ž=$s¢:,>@="8879QAr—

K-!/4U, D4?N,3<;§!/4?£!=O /.§!§§!? © ; W§2

–

?!= = 98 SR3/O T(RN, ©"T2

%:

K-!/4U,/./ N ©Z.N <; W§222

?!= = - /.§ ©, ?!= = T¤=.N <;(T2

?!= = T¢> ? ;(T2222

3D§0 ,§0=#"T¢¡§0T*,A#"T¢¡A§T¤£

§  L 3DA¦£¨§N¨©Z N L,=3 3DA¦£

¥

3D§0£

:,>@Q\¢N%P"=$8DB@5,=tLOQR9RYQmkD79A%T]QN,B@:%N¢B;B@=$sBm—

798D>@=":,>@=$8="A¨B@=m\€79A C3E3F#G„H%Jf<8"—

A@

‰@6£Ož?˜CB

™

EDGF¦H¦I)JLK

‡¤¤Sž B

- 3D§0 ¡§0 ¡A

K §  L&%- 3DA K§N¨©  N 9 L,=3 W§2=W§2

¥

@

£O‰ š‰Uš †R3.£O‰ ›Ž£ b¨ž?¤,g£ ž B

NMPOQO

  ™

SUTWV

£I‰ ¤3‡YX%ž ‡¤Sž B

 ™

B\[6¤Sž B

Z

B_^U`)‡.B

2.2.2 Document Structure ]

oc8i8@<¤7Y\vh#=?LOQ>@=K6<ŽC3E3F#G„H%J´:¢>@QT>U<¤V P$QA%8798 B@8i7YAÂ<}R9798 BeQ¤L[wP$Z

=?s,:¢>@="8879QA,8"^.odVWQA%TDB@5%="8=KB@5,= QA%=)8=$>@`¦="8.

¨'m¥¤!%§£¨

·

L]P"QN,>@8=Ku<R9RiB@5,=N%8N%<RiB@=?s¢BŽQ¤>@A3<VW=$AB@8 <>@=Â<`<79RY<h,R9=Á79A

:,N,>@:#Q8=^.qB798nN,8=m\iB@QM>@=":,>@=$8="A¨B)B@5,=;P"QVW:,RY=?B@=d\¢Q¨P"N%VW=$ABm^ odR9R

S

C3E3F#GIH,JSK,B@53<Bt798tQA%=jPm<¤AŽ="<879Rbl:,>@Q\¢N%P"=MB@=$sBc79A K.£O † £ ­¤K

ORab



B@5,=e8N%hS\¢79`¢79879QA,8jQLD<€\,Q¨P"N,VW="A¨BMVuN,8 BM<:,:#=m<¤>i<¤8i<>@TN,VW="A¨B@8

N%A%\,=$>@R979A%= Q>cP"QVih%79A%=dB¤ced#˜ ^

Q¤L.B@5%=  Pm<R9Rg^dw¢Q¢K3B@5%=MT="A%=?>U<R 8 B>@N,P$B@N,>@=jQL

¨'m¥¤!%§£¨

\¢Q¨P"N%VW=$AB6RYQ¨QŠ8dR979Š¦=—

465%=WC3E3F#GIH,J}8 BU<A3\,<¤>U\ R97Yh¢>U<¤>Ž<¤RY8Q€QƒS=$>@8dB@5%=uN,8N3<¤R B@Q¨QR98[LOQ¤>

79A¨B@=$>i<A3\ª7YA¨B>U<}\¢Q¨P"N%VW=$ABM>@=?LO=$>@="A,P"="8"K-LIQ¨QB@A%Q¤B@="8"K-BU<h,R9="8"K-¡3T¤Z

N,>@=$8"K^9^9^jqBt:,>@Q`7Y\,="8M<¤R98Q}<AŽQ>@79T7YA%<R.P"QA%8 B>@N%P?B@7YQA”KSB@5%=

¨¦2!

V]<¤>@ŠN,:”K;B@Q› ž?ggfD¨9› £O¤%jP"Q\¢="8aQ¤>l<¤RYTQ>@7bB@5%VW8"^ qA±P"QA¨B>U<¤8 B

™ ™

¨!#" $ %&')(*

•

kD7bB@5«:¢>@="`7YQN%8W8 ¢8 B@="VW8e8N,P?5Á<8]| 4 B@5,=$>@=}798WA%QªA%="=m\SK679A

_,– ;;;

C3E3F#GIH,J B@Q€N%8=W=$sB@=$>@A%<R.:,>@=?Z:¢>@Q¨P"="88Q¤>@8X8N,P?5´<8iw,|”<40=?sÁb¶_’

6ON?§ /. ¨+##, ¨-.¢/#0

% ¨!#" $ %&')(* (1 ¨!#" $ %&')(*

-,/RD4 ©,N 2

¨!#" $ %&')(*

<A%\±|”798:3¹40= 9¶m‘’dLOQ>€:,>@=?BB+Z“:,>@79A¨Be:,>@QT>U<¤VW8f79A,87„\¢=lB@=$sB@8"^

–

4/ N§!. ¨+##,

% ¨!#" $ %&')(*

465%= LOQ¤>@V‚BU<Š¦=$8€<¤8f<A«Q:,B@79QAÁB@5%=}RY<A,TN%<T= 79A«kD5,7YPU5

¦¦2!

;;;

B@5%=iP"Q\,=i798M=$s¢:,>@="88=m\Ž<A%\l79B@8M=$`<¤RYN%<¤B@79QA ¢79="RY\,8j@V B@53<¤B

4?RD4/ N§!. ¨+##, 2

% ¨!#" $ %&')(*

798dB@5,=M:,>@=$BB¢Z“:¢>@7YA¨B@=m\f`¦=$>@879QAlQ¤L.B@5%798dP$Q\,=^dy%Q¤>t79A%8 BU<¤A%P"=K3B@5%=

;;;

LOQR9RYQmkD79A%T]Pm<¤R9R

4?RD4/ N§!. ¨+##, 2

% ¨!#" $ %&')(*

;;;-2

;;;

4/ N§!. ¨+##, 22

%2 ¨!#" $ %&')(*

S¦©M?  ,¢¨hiG-#i 1P§ ©N.j¨§§!3 1T= L j/O <;ST22

% k

oc8nk6=dPm<A]8="=K%<¤R9RSB@5,=d8=$P$B@79QA%79A,TiP"QVW:#QA,="A¨B@8nQL0

<>@=€=$Vuh#=m\,\,=m\´79AB@5,="7b>uP"QA¨BU<79A%79A%T P"QVW:#QA,="A¨Ba®g7g^ =^Ž8N%h,8="P$Z

:,>@Q\¢N%P"=$8DB@5,=tLOQR9RYQmkD79A%T]QN,B@:%N¢B

B@79QA%8;<>@=t="Vih#=m\%\¢=m\u79A]8="P$B@79QA,8"K%8="P?B@7YQA%8;<>@=t79A%87Y\¢=dPU53<¤:,B@=$>@8"K

<¤A3\l8Q]QA3°?^M465%798d8 B>@7YP?BMA%="8 B@79A,TfQ¤L6\¢Q¨P"N%VW=$ABcP"QVW:#QA,="A¨B@8d798

:%<¤>B@79P"N,R„<>@RbN%8=$LIN%RnkD5,="AQA,=fk6<A¨B@8iB@Q \¢Q 7YA¨B>@Q8:#="P$B@79QAvQA

!. §,D!.Q?!.\, ©M %G¤ N, ©X'', ©M ¡§27l

B@5,=t8 B>@N,P$B@N,>@=cQL”B@5%=[\¢Q¨P"N%VW=$ABmK¨<8nkn=tkD79RYRS8="=d79A}w="P$B@79QA€º¢^ ¹^

m m.n\oNp# +¨¨h.C0¢qN ,¢ + .,sr 0i ¢tNn¢m

( " ! ! " ')( (

¦©§!. § TuN 33Q% ©§!RN ¦v.T2xw

¥

© ¦©.NyRw

2.2.3 Scribe standard library z

C3E3F#G„H%J798W:,>@Q`7Y\,=m\kD7bB@5ÁB@5,=aN%8N%<R;LON,A%P$B@79QA%8uLIQ>WB@=$sBW:¢>@QZ

P$="8879A%T,^6w¢QVW=[QL0B@5%="8=j<>@=M:,>@="8="A¨B@=m\f5%=$>@=^

7bL B@5%= E±:¢>@QT>U<¤VÄ8QN¢>@P"=j7Y8DR9Q¨Pm<B@=m\}79A€¡3R9=  ^

§/¨ {"c¨' §- '

465,=43-£O‰@g‰DQƒS=$>@=m\l79A´C3E3F#GIH,Jl<¤>@=XP"RY<8879Pm<Rg—t79B@=$VW7¥¤"<¤B@79QArK”=$A¢N¢Z VW=?>U<¤B@79QAÁ<A%\«\,=$8P$>@79:,B@79QAr^±y%Q¤>W79A%8 BU<¤A%P"=KnB@5%=€LIQR9R9QmkD7YA,T=$sZ

:¢>@="8879QAr— 2.3 Front-ends and Back-ends

QA,="8MB@53<Bj7YA`¦QR9`¦=}£O¤% ‡‰ ›,ž­$g£ ‡¤ŽQAŽB@5%=e8QN,>@P"=WB@=$sB]®“w¢=$P$B@79QA 465,=dP$N,>>@="A¨B)`¦=$>@879QAWQ¤L-C3E3F#G„H%JikD5,79P?5W7986

¨¦. §c

™

º¢^ ¹°?^M465%=$8=uP"QVW:%N,BU<B@79QA%8cP"Q¤>>@="8:#QA%\lB@QWBk6Q€\,7bƒS=$>@="A¨Bd="`<¤RbZ P"QA¨BU<79A,8DBk6QuL„>@QA¨BZ

 ¦ ¦ ©c¨¤ £¦¢¡  "!#$!%¨¡¦ ¢ ¨ ¨'¤¢Nd¨§

N3<B@79QAÂ8 BU<T=$8eQLcB@5%=}C3E3F#GIH,J="`<¤R9N3<¤B@Q¤>m^v465%=]¡%>@8 BuQA,="8W<¤>@= =$A3\,8;kD5,7YPU5l<>@=MN%8=m\€B@QiB>U<A%8RY<B@=M=$s¢7Y8 B@79A,T]\,Q¨P"N,VW="A¨B;8QN¢>@P"="8

¥ ‡¤% ¨+ž?¤´h#="T79A¢Z 79A¨B@QfC3E3F#G„H%Jf\,Q¨P"N,VW="A¨B@8"—

™

A%79A,TŽQ¤LdB@5,=€=?s,=$P"N,B@79QAvQ¤L[< :,>@QT>U<V}^465%=f8="P"QA3\QA,="8W<¤>@=

¦ ­Uˆ¨+ž?¤=$A3\QL



P"QVW:%79R9="8M40=$s¢79A,LIQ]7YA¨B@QaC3E3F#GIH,JS^todAl=?s%<¤VeZ

¦'¤d§£¦

B@5%=j=$s¢="P$N,B@79QA}kD5,7YR9=i<Al79A¨B@=$>@A3<¤R”>@=":¢>@="8="A¨BU<¤B@79QAŽQ¤L.B@5%=MkD5%QRY=

:%R9=iQL68N,P?5Ž<]P"QVW:,79R„<B@79QAŽPm<AŽh#=uh¢>@QkD8="\ª<B

¨¦. §c

C3E3F#GIH,Jf:¢>@QT¤>U<V 53<¤8ch#=$="AaR9Q¦<\,=m\€7YAaVW="VWQ>¨^

 ^;q“B

¤ ¦   £¨¡ ¦¨ "!#$!3¦¡¦  ¡ ,¤2©¨¦ ' ¤£¢¢0 “¦¤!3© 798-<AXQA¢Z“RY79A,=)`¦=?>@87YQAiQ¤L,B@5,=;wP?5,="VW=\,=$¡%A%7bB@79QA”K<¤N,B@QV]<BZ

79Pm<R9Rb}:¢>@Q\,N,P"=m\fL„>@QV @P"=^ 3.1 Computing Sc-expressions

B>U<¤A%8RY<¤B@=$8 ¦n79h,B@=?s[h%79h,RY79QT>U<:,5¨j\%<BU<h3<¤8="8

¦'¤d§d,d¨¨§/

{}<A¨eB¢:#="8=$BB@79A%TM8 ¢8 B@="VW8)8N%PU5]<8;|b•?4 =$A3<h,R9=dN,8=$>@8)B@QX\,=?Z

–

_

79A¨B@QeC3E3F#G„H%Ju8QN,>@P"=$8"^465%798)B@Q¨QR#7Y8"K¨LIQ>n7YA,8 BU<A,P"=KN%8="\WB@Q

¡3A,=€P$QA`¦="A,7Y=$A%P"=l˜ ­ ‡‰@^qAÂ7bB@8i87YVW:,R9="8 BuLIQ>@V}Kn<˜ ­ ‡f798

 ™  ™

:,>@Q\¢N%P"=[B@5,=[h%79h,RY79QT>U<:,5%79PM>@=$LO=?>@="A%P"=$8dQ¤L B@5%798D:3<¤:#=$>m^

¯ N,8 Bi ž›#† ­Užb<`£IYXK-<€B@=?s¢B

 ™ 

B@53<BM798M:3<>BMQL)B@5%=u:¢>@Q\,N,P"=m\ \,Q¨P"N,VW="A¨Bm^i{}<P$>@Q8X<¤>@=e79VW:%R9=$Z

VW="A¨B@=m\l79AvC3E3F#G„H%Jlh¨lB@5%=eVW=m<¤A%8[Q¤L6LON,A%P$B@79QA%8[B@53<Bj:,>@Q\¢N%P"=

C3E3F#G„H%J§Pm<A¿:¢>@Q\,N,P"=`<>@79QN%8 Š79A3\¢8ŽQ¤Lf\,Q¨P"N,VW="A¨B}LOQ¤>@V]<¤B@8"^

w¢P?Z=?s,:¢>@="8879QA,8"^ty,Q>[79A,8 BU<A%P$=Kr@Q]\¢=$¡3A,7YA,TeB@5%=MB+¢:#="8=?BZ

EnN¢>>@="A¨B@Rb€¡%`¦=th%<PUŠZ“="A%\,8D<>@=M8N%:%:#Q¤>B@=m\r—

B@79A%TiQL0B@5,=dknQ>U\+FC3E3F#GIH,J©JX798;N%8=m\f<R9R”<R9QA,TiB@5%798;:%<:#=$>m^.q“B;798

\,=?¡3A%="\a<8;LIQR9R9QkM—

—$qB”7980=$sB@="A,87Y`="Rb[N%8="\[QA[B@5%=nC3E3F#G„H%Jckn="hj:3<¤T=^

¥¤§¦©¨

Q> ®g`7Y<}|b•?4 °?—j4653<BX7Y8"K0LOQ>X79A%8 BU<¤A%P"=K-N%8=m\

_%–

¥ © 

6O §§!.N  ©§!RN <;  L§2

¥

B@Qe:¢>@Q\,N%P$=tB@5%=jp Q8 B?w¢P$>@79:,Bc`¦=?>@87YQA}QL0B@5%798D:3<:#=?>m^

4 T ©§!RN §T22

¥

T

—-kD5%79PU5}798DB@5,=[LOQ¤>@V]<¤BDQL.~dA%7bs1F+V]<¤Aa:3<¤T="8J¢^

¥¨

d£— kD5%79PU5}798d@V]<¤Bm^

¥¦

4653<BcPm<A}h#=tN%8=m\a79Aa@="8879QA}8N,P?5a<8"—



—WkD5,79P?5798iB@5,=WLOQ>@V]<BeQ¤LcB@5,=f_V]<¤P"8u\¢Q¨P"N%VW=$ABU<Z

¥ MPO

B@79QAr^

K> "!/4* L7 N,N4 RN  /.9¦©N/OD/ O9RV% ©§!RN <;  L§2©; W

¥

C3E3F#G„H%J«N,8=$>}:¢>@QT¤>U<VW8}<>@=´79A3\¢=":#="A%\,="A¨BfQLXB@5%=lBU<¤>@T=$BaLIQ>Z

V]<B@8"^W465%<¤Bj798"K N,87YA,TaQA%=eN,A%7Y¢¨N%=u:¢>@QT¤>U<V}K”79Bj798j:#Q8879h,RY=eB@Q

:¢>@Q\,N,P"=a<¤Avz[4D{}|½`¦=$>@879QArK)<A3\< p Q8 B?w¢P$>@79:,Bu`¦=$>@879QArK)<A3\

<¤A}otwQEnqqn`=$>@879QA”K,=$B@P^465,=XC3E3F#GIH,J€odpq)798;T="A,=$>U<R”:%N,>@:#Q8=^

4653<Bc:,>@Q\,N,P"="8;B@5%=dLOQR9R9QmkD79A%T]QN¢B@:%N,Bm—

q“Bn798A%Q¤B)79VW:%<P$B@=m\ihi8:#="P"7b¡%PcQN,B@:,N,B.LOQ¤>@V]<¤B@8"^-qA3\,=$:#="A3\¢="A%P"=

kD7bB@5«>@=$8:#="P$BWB@Q´B@5,=a¡3A%<Rc\,Q¨P"N,VW="A¨BeLOQ¤>@V]<¤Bf\¢Q¨="8]A%QB]R979VW7bB

F^ X¨£O‰[žŸ X ‰ ¦UžUž?¤f› ‡bš,­?žb ¦¨fuC#E%F#GIH%J B J

 ™

B@5,=M=$s¢:,>@="8879`¦=$A%="88cQL6C3E3F#GIH,J€:¢>@QT>U<¤VW8Dh#="Pm<N,8=j8:#="P"7b¡3P"7bB@79="8

Q¤Lt:%<¤>B@79P"N,R„<>uLIQ>@V]<¤B@8e<¤>@=f53<A%\,R9=m\h¨\¢=m\,79Pm<B@=m\h3<¤P?Š¨Z“="A3\¢8"^

465%=cLON,A%P$B@79QA 7Y8;Q`¦=?>@R9]879VW:,RY=ch#="Pm<¤N%8=[7bB;VW=?>@="Rb

¨'¤¢d§- ¨§/

¦n<PUŠZ“="A%\,8€<¤>@= LI>@="= B@Q¡3A%\«P"QA¢`="A%79="A¨B]k;<"¢8€B@Q79VW:%R9="VW=$AB

£O¤,‰"ž g‰-79AuB@5,=[C3E3F#G„H%Jj:,>@QT>U<V QA,=;A%=$kÁ8 B>@79A%TM=m<¤P?5eB@79VW=67bB)798

™

C3E3F#G„H%JLO=m<B@N,>@="8"^³y%Q¤>]79A%8 BU<A,P"=KD79A¨B>U<\,Q¨P$N%VW="A¨Be>@=$LI=$>@="A,P"="8

Pm<¤RYR9=m\S^;wQVW=$B@79VW="8)k6=MA%=$=m\fB@QiP"QVW:,N,B@=[VWQ¤>@=[P"QVW:,R9=$s]:3<>B@8

<>@=d5%<A%\,R9=m\e\¢79ƒS=?>@="A¨B@R9ih¨iB@5,=;z[4D{}|}h%<PUŠZ“="A%\u<¤A3\uB@5%=D4

_,–

QLc@=Wh#=$BB@=$>MB@Q}h#=WP$QVW:%N¢B@=m\r^

h%<PUŠ¨Z=$A3\r^ q+A]z[4D{}|.K¨B@5%=$]<¤:%:#=m<>D<8n5¢:#=$>Z“R979A%Š8.kD5%Q8=cB@=$sB

_.79B@5,=$>Mh#="P"<N%8=XB@5%=$}P"QA¨BU<79AŽ:3<BB@=$>@Al>@=":#=$B@7bB@79QA%8tQ>Mh#="P"<N%8=

798uB@5,=fB@7bB@R9=aQ¤LdB@5,=€8=$P$B@79QA”^q+Av4 B@5%=$<:%:#="<¤>W<¤8e8="P$B@79QA

_,–

B@5%=?Ž<¤>@=eB@5%=X>@="8N%RbBjQ¤L6B@5%=i="`<¤R9N3<¤B@79QAQL6<A<¤R9TQ>@7bB@5,V}K 8N%PU5

AN,Vuh#=$>@8"^ ocA½QN,B@:,N,BfBU<¤>@T=$B}V]<"Á="`¦="A½A,QB}8N,:%:#Q¤>Ba8QVW=

<8;B@5,=[BU<h%R9=MQ¤L.y 79TN,>@=e¶^

C3E3F#G„H%JaLI=m<¤B@N¢>@="8"^jq+AlB@53<B[Pm<¤8=KSB@5%=ih3<PUŠ¨Z“="A3\}P"QN%RY\l:#Q8879h%Rb

QVW7bBnB@5%=$V ®OLIQ>D79A%8 BU<¤A%P"=K¨¡%TN¢>@="8679Afo[wQEnqq-LIQ>@V]<¤B@8"KQ¤>D\,7Y<¤RYQT

h#Qms¢="8D79Alp Q8 B?wP$>@79:,Bd\,Q¨P$N%VW="A¨B@8U°?^

  ! #"

$ %

¼±5%="AiP"N%8 B@QVW7¥¤"<¤B@79QAeQ¤L3B@5%=;:¢>@Q\,N,P"=m\u\¢Q¨P"N%VW=$AB@807Y8->@=m¢¨N,79>@="\rK

& '!(

B@5,=€C3E3F#GIH,J LOQ¤>@V ViN%8 Bj\¢=":%R9Qm¨=m\S^]qBj="A%<h,RY=$8XB@Q€7YA,8=$>B

¢(

) *',+

PU53<>U<P$B@=?>@8d79AaB@5,=t¡3A%<R”\,Q¨P"N,VW="A¨Bm^ EnQN%:,R9=m\€kD7bB@5}P"QA3\,7bB@79QA%<R

- ./',+

=$`<¤RYN%<¤B@79QArK;B@5%= LOQ>@V P"<A±h#=lN,8=m\ÁB@Q79VW:%R9="VW=$ABi¡3A,=

¢(

0 1

+#(£+

T¤>U<79AWB@N%A,7YA,TM<"k;<>@=dQ¤L#B@5%=;7Y\,79Q8 ¢A,P$>U<879="86Q¤L#B@5%=6BU<>@T=$B)LOQ>@V]<B

2 (£+3',+

®g8=$=Xw¢="P$B@79QAlº¢^ º¦°?^

4 3,%/',55¡+

6,7 3,%/'¡55,++ 3¡88*,%95,++

3. DYNAMIC TEXTS 6£6

V TDC V T

dA@B 

;:=  O : a

¼´=€85,Qmk 79AB@5%798u8="P?B@7YQAÁ`<¤>@79QN%8u87bB@N%<¤B@79QA,8ukD5%=$>@=ZbGf¤¤ ˜i£ ­



žŸg‰@KrB@53<Bt798tB@=$sB@8cA%Q¤Btk;>@7bBB@="A ‰j£O‰679AlB@5%=uC3E3F#G„H%J}8QN¢>@P"="8"K



P"<A´h#=uN%8=m\lkD5%="A´<N¢B@5%Q>@79A,T}\,Q¨P$N%VW="A¨B@8"^X¼=u5%

465%798jBU<h,RY=WP"<Ah#=}‰@ g£ ­ †O† fW\,="P"RY<>@=m\´79A<}:,>@QT>U<¤V N,879A%Tl< Bk6QŠ79A3\¢8eQL[P"QVW:,N,BU<¤B@79QA%8"^Œ465,=}QA,="8eB@53<B]:,>@Q\,N,P"=}8QVW=

 

:%<¤>B@8XQL;B@5,=]\,Q¨P"N,VW="A¨BMh#="79A%Tl:¢>@Q¨P"="88=m\±®“w="P$B@79QAº^9¶°?^ 465,= w¢P?Z=?s,:¢>@="8879QA}8N,P?5a<8"—

.bib

¡ 0 0

6,/R3 Scribe Evaluator

(£¢¦%¨(

6 © 6 T(.#"T2\6 T¢§,N"T22

G

© 6O .,¤+iGh 56/ /. ©8SR3/O :D22 6 . ... .html ...

C

6O .,¤+iGh 5g©§!=M 8?!= BD222

© 6O .,¤+iGh 56/ /. ©8SR3/O )§22 6 A Sc−expr B Sc−ast

.scr

6O .,¤+iGh 5g©§!=M 8?!= A)§222

6 © .,¤+iGh 56/ /. ©8SR3/O >D22

6O D .ps

.,¤+iGh 5g©§!=M 8?!= 0?A yD222

6O .

© 6O .,¤+iGh 56/ /. ©8SR3/O BD22 6 E F

.

6O .,¤+iGh 5g©§!=M 8?!= ¤A yD222

© 6O .,¤+iGh 56/ /. ©8SR3/O ¤D22

6 .texi

6O .,¤+iGh 5g©§!=M 8?!= > y)¦yD222

6 © 6O .,¤+iGh 56/ /. ©8SR3/O CD22

V CGV S V C

d © B ced d d 

6O .,¤+iGh 5g©§!=M 8?!= )¦y:A yD222

;:= ¦ : O

6 © 6O .,¤+iGh 56/ /. ©8SR3/O @D22

6O .,¤+iGh 5g©§!=M 8?!= :BACC yD222

6 © 6O .,¤+iGh 56/ /. ©8SR3/O 0¤yD22

6O .,¤+iGh 5g©§!=M 8?!= :BACC y yD222

6 © 6O .,¤+iGh 56/ /. ©8SR3/O 0022

465%= ="`<R9N%<¤B@79QA½Q¤LX<ÂC#E%F#GIH%JÂ:,>@QT>U<V 79A`¦QR9`¦=$8]B@5¢>@="=l8 B@=":,8

6O .,¤+iGh 5g©§!=M 8?!= :@@D0?BC y yD2222

®g8="=jy 79TN¢>@=X¹°?—

y 79>@8 BmKrB@5%=i8QN¢>@P"=u¡3R9=e798[>@=m<\´<¤A3\l>@=":,>@="8=$AB@="\ª<¤8j<€R9798 B

·

h`79QN,8R9B@5,=fBU<¤h%R9=}P"QA%8 B>@N,P$B@79QAÂPm<AÂh#=}<¤N,B@QV]<B@=m\r^Á465,=

QLwP$Z“=$s¢:,>@="8879QA,8j®g=m\,T=UF o J¦°?^

LO<P$B@Q¤>@7Y<R `<R9N%=$86Pm<A€h#=[P"QVW:%N,B@="\€<¤A3\WB@5%=tBU<¤h%R9=t>@QmkD8DPm<A€h#=

w¢="P"QA3\SKmB@5%=w¢P?Z=?s,:¢>@="8879QA,8 <¤>@=.="`<R9N%<¤B@=m\[N,87YA,T;B@5%=.8 BU<A¢Z

T="A%=?>U<¤B@=m\S^~tA,RY79Š¦=fV]<A¨´QB@5%=?>WV]<¤>@ŠN%:´R„<¤A%TN3<T="8"KcC3E3F#G„H%J

\%<¤>U\uC3E3F#GIH,JMRY79h¢>U<¤>¨^-465,798-:,>@Q\,N,P"="8.<¤Au<¤h%8 B>U<P?B.8 ,A¨BU<s

=$A3<h,R9="86B@5%798;P"QVW:%N,BU<B@79QA]B@QXBU<¤Š¦=t:,R„<¤P"=[79A%87Y\¢=tB@5%=t\,Q¨P"N,VW="A¨B

B>@="=MA3<¤VW=m\awP$Z<8 BX®g=m\¢T=UF ¦ J¨°?^

7bB@8="RbL^]|”=$BjN,8M<88N,VW=uB@5%=i8 BU<A%\%<¤>U\ª\,=$¡%A%7bB@79QA,8tLOQ¤>XB@5,=

¥¦¦

<¤A3\ LON,A%P$B@79QA%8"—

¨¡¨'¤

465%7b>U\rKSB@5%=ew¢P$Z<¤8 BM798[B>U<A%8RY<B@=m\ª79A¨B@QfB@5,=iBU<>@T=$B[LIQ>@V]<B

•

£BOž BSzt4D{}|K%| 4 Kr^9^Y^c®g=m\¢T="8YF(EaJ]<A3\1F+x J¦°?^

_%–

6O §§!.N 8SNY !.*§,L§2

465%=iP"QVW:,N,BU<B@7YQA%8d:,>@="`79QN,8R9 :¢>@="8="A¨B@=m\l79Aw="P$B@79QAªº¢^9¶iBU<Š¦=

?!§ 6#  !. §,L§2

:%RY<¤P"=DQAuB@5,=;=m\,T=$F+_^J¢^465%7988="P$B@79QAeLIQ¨P"N%8=$8nA%QmkÂQAeB@5,=;P"QVeZ

(3!/4 §,L§2

:%N¢BU<¤B@79QA,8;B@53<¤Bc<>@=M79A¢`QR9`¦=m\fQA}=m\¢T="8YF+y J]<A3\1F¸ J¢^

.D4Y !. SN+¦¥  !.£02G§,L§2222

6O §§!.N 8P§,NU."2

y,>@=m¢¨N,="A¨B@R9X8QVW=;:3<¤>B@8QL”<[\¢Q¨P"N%VW=$AB.V]<"X>@=$LO=?>)B@Q[B@5,=D\,Q¨P"N¢Z

?!§  .XAD2

VW="A¨B-7bB@8="RbL+^y,Q>.79A%8 BU<¤A%P"=K,£O¤% ‡‰ ›,ž­$g£ ‡¤X798A,="=m\¢=m\jB@QtP"QVW:,N,B@=

™

.

@Q`7„\¢=m\ŽkD7bB@5ª7YA¨B>@Q8:#="P$B@79QA

(' .8P§,N8j .£022222

Lg<¤P"79R979B@79="8;B@5%<¤B)Pm<A]h#=cN%8=m\W79AWN%8=$>n:,>@QT>U<VW8"^y,Q>679A,8 BU<A%P$=K7bB

="A%<h%R9="8;B@5,=MP"QVW:,N,BU<¤B@79QAaQL 8N%PU5}

F^ X¨£O‰ b¦‡m­$š˜]ž?¤,D­@‡¤% £O¤%‰e‰$ž­$g£ ‡¤%‰¨B J



465,=dT="A%=?>U<¤B@79QAfQLSB@5%=;LO<P$B@Q¤>@7„<¤R#BU<h%R9=D>@=m¢¨N%7b>@="8B+k6QX<\%\,7bB@79QA%<R

C3E3F#G„H%JWLON,A%P$B@79QA,8"^)465%=[¡%>@8 BcQA%=[h,N%79RY\,8;BU<h,RY=[>@QmkD8"—

465%=]<¤P$B@N3<¤R)AN,Vuh#=$>tQL;8="P?B@7YQA%8j798MB@5%=u>@="8N,RbBjQLc<€N,8=$>XP"QVeZ

:%N¢BU<¤B@79QAr^)465%=[kD5%QR9=X8=$AB@=$A%P"=[798cP"QVW:,N,B@=m\]h¨]B@5%=tLIQR9R9QkD79A,T

w¢P?Z=?s,:¢>@="8879QAr—

6O §§!.N 8 §,¨§N ¦j¨§,N#j¨©N?\."2

6 © 6O .,¤+iGh 56/ /. ©VSR3/O ."22

6O .,¤+iGh 5g©§!=M  ?!= P§,NU."22222

K> "!/4*ON?§ /.[.,D!.D4

% § ¢qW

%¨(

(3,=RO,8?2

6O§!/4?3,9 (3 /.M

465,=M8="P"QA3\aQA%=M798D7YAaP?5%<¤>@T=MQ¤L-P$>@=m<B@79A%TeB@5%=dBU<h%R9=—

6ON?§ /.#j4/ N§!.D4'

?¦© © /.#j/ON?§ /. 222222

4/ N§!.D4Q; W

6O §§!.N 8 §,¨§N ¦j¨§,N#j/,/R3 X."2

-,/3/9,/R3 ¡ 0 0

(£¢¦%¨(

6 © 6 T(.#"T2[6 T¢§,N"T22

qBN,8="8B@5,=dC3E3F#GIH,JiR979h,>U<¤>XLON,A%P$B@79QA kD5%79PU5e="A%<h%R9="8)P"QVeZ

¢¦(

 §,/U§,¨§N ¦j¨§,N#j¨©N?&SN :*."2222

:%N¢BU<¤B@79QA,8dB@Q]BU<Š¦=X:%RY<¤P"=XkD5,79RY=XB@5%=uw¢P$Z<¤8 B[798[h%N,79R9BmK#B@5%<¤Bt7Y8tQA

B@5%=X=m\¢T=ZF+y J€Q¤L;y 79TN¢>@=W¹¨^j465%= <¤>@TN%VW="A¨Bd7Y8[<]LIN%A%P?Z

 ¡¦¨§

B@79QA]kD5%79PU5€798;=$s¢="P"N¢B@=m\WQA,P"=dB@5,=Mw¢P?Z+<¤8 B;798nB>U<A,8RY<¤B@=m\f7YA¨B@QjB@5%=

BU<¤>@T=$BtLIQ>@V]<Bm^DqBc› £I¤%g‰D@79A%TWB@53<Bt798c79A%8=$>B@=m\l79A}B@5%=MBU<>Z

™

· h`7YQN%8Rb¨KrB@5%=]\¢¢A%<VW79PuB@=$sBjQL;B@5,=W:,>@="`79QN,8j=$s,<VW:%R9= 3.2 Computing Sc-ast T=?Bm^

="A,8N,>@="8.h3<¤P?Š¨Z“="A%\i79A3\¢=":#="A3\¢="A%P$=6h#="Pm<¤N%8=;7bB:,>@="`¦=$AB@8 B@5,= P"<A%A,QBih#=]P"QVW:,N,B@=m\´="<¤>@R979=$>e79AB@5%=aC3E3F#G„H%J´="`<R9N%<¤B@79QA:¢>@QZ

¢¦(

Pm<¤RYRrB@Qe8:#="P"7bL„a5,Qk§N,A3\,=?>@RY79A,=M<A%\€7bBU<R979Pj53@="A3\¢=$>@=m\ P$="88d879A,P"=tB@5%=tA¢N,Vuh#=$>6QL-8="P?B@7YQA%8cPm<A,A%Q¤BDh#=[P"QVW:,N,B@=m\]N%A¨B@79R

LOQ¤>.=m<PU5u8:#=$P"7b¡3PnBU<>@T=$B-LIQ>@V]<¤Bm^ 465%=nLIN%A,P$B@79QA\ <¤R9R)B@5%=u8="P$B@79QA,8u<>@=Wh%N%79RbB¡ ]465,=eLON%A,P$B@79QAQ¤L6B@5%=u8 BU<A3\,<¤>U\´R97bZ

¨'¥¤!%§¤£¨c¦¦§¦§

798c\,=$¡%A%=m\€<8"— h¢>U<¤>  >@=$B@N,>@A,8c@N%P$B@N¢>@=[B@53<¤Bd\¢="8P$>@79h#="8

'¥¨¦¨§¤£¨c ¦'¥¤!%§£¦

B@5,=\,Q¨P$N%VW="A¨B}h#=$7YA,T«:¢>@Q¨P"="88=m\S^ 465%=´LIN%A,P$B@79QA 

¨'¥¤!%§¤£¨c

>@=$B@N¢>@A%8dB@5,=uR9798 BjQL)8="P$B@79QA,8jP"QA¨BU<79A,=m\Ž79Aª<€\¢Q¨P$Z

c¦§'¤¢¤£,£¢

N,VW="A¨Bm^¥¤dQBDB@53<BmK3879A%P"=jB@5%= LON%A,P$B@79QAl="A%<h,RY=$8[<¤>@h,7bB>U<¤>

¦(

6O §§!.N 6ON?§ /.#j/ ©  D2

PU53<>U<P$B@=?>@8e79A%8=$>B@79QArKn7bBuPm<AÂh#=€N,8=m\´B@QŽ7YA¨B>@Q\¢N%P"=]R9QmkÄR9="`¦="R

 §  0 

')( " %¨! !>=

h%<PUŠ¨Z=$A3\jP"QVWV]<¤A3\,808N%PU5e<8)4 P$QVWV]<A%\,8 Q¤>z[4D{}|aP"QVeZ

_,–

¢qW (3,=RO, ?2

%¨(

V]<¤A3\¢8e79AÂB@5,=€BU<¤>@T=$Bm^«y%Q>W79A,8 BU<A%P$=KnB@5,= C3E3F#GIH,JP"QVWV]<¤A3\

S¦©M?

•

kD5%79PU5e:,>@Q\¢N%P"=$8.B@5,=6LOQRYR9QmkD79A%T F | 4 Jt7987YVW:,R9="VW="A¨B@=m\

¦¡¨§¨§ ©

 §,¨§N ¦j/ ©  ?¦© © /.#j/ON?§ /. 222222

_3–

<¤8"—

465%=Ž<>@TN%VW=$AB VW="<A%8]B@53<B€B@5,=l>@="8N%RbB€QLjB@5%=

“¨¨¨'§¦@?

6O §§!.N ¦j§, © § P;, > §2

<:,:%R979Pm<¤B@79QAaQLrB@5%= LIN%A%P?B@7YQA€5%<8nB@QXh#=t=$`<¤RYN%<¤B@=m\Wh%<PUŠ

 ¡¦¦§

?!§ 4©§!RN ¦j¨§N¨©?§, 57 L§2

h¨lB@5%=fC3E3F#G„H%Jl="A,T79A%=^W465%798MLON%A,P$B@79QAªP"QA,8 B>@N%P$B@8X<€A,=$k w¢P?Z

 § ¢qW (3,=RO, ?2\6O§!/4?3,9 T¤v v¨;, > "T222

%¨(

=$s¢:,>@=$887YQA´kD5%79PU5´798jV]<\¢=uQL;< P"<R9Rg^f465%=]\,=?¡3A%7bB@79QAªQL

T¢;, > "T22

¨¦2!

798"—

!3¡(§"c¦¨§§

wQVW=$B@79VW="8"Kn79A%8 B@=m<\ÁQLt:,>@79A¨B@79A%T´PU53<>U<P$B@=?>@8f79A¨B@Q B@5%=aBU<>@T=$BmK

6O §§!.N  §,¨§N ¦j/ ©  ZONN2

7bBM798MA,="=m\,="\lB@5%<¤BdB@5%=u=$`<¤RYN%<¤B@79QAŽQLn< A,Q\,=i:,>@Q\,N,P"="8t<

¢¦(

(3 X3V4£4©§!RN ¦j/M #j¤ "!3/O © /.1ONN22

L„>@="85Âw¢P?Z=?s,:¢>@="8879QAr^a465%<¤Bi798"K.<A=?s,:¢>@="8879QAB@5%<¤Bj53<¤8XB@Qah#=

 8TT2

=$`<¤RYN%<¤B@=m\jh¨[B@5%=6C3E3F#GIH,J[="A%T79A%=t®OB@5,=)="\,T= F¸ JdQL#y 79TN,>@=;¹c°m^

P§U.O ©N3!.N 22

465,798;7Y8;79R9R9N%8 B>U<B@=m\ah¨eB@5%=cLOQRYR9QmkD79A%TW=$s,<¤VW:%R9=^.465,=[N%8=$>nLON%A,P$Z

?!§ S.33¡ X4N2

5?2

B@79QA  P"QVW:%N¢B@="8dB@5,=u5%79=$>U<>@P?5,79Pm<R8 B>@N%P$B@N¢>@=uQ¤L

¨'m¥¤!%§£¨"c¦¨§¦§

-,/N /.O8 §,¨§N ¦j¨©N? V/, ©\4N2C§§2

>@="A¨Bc\,Q¨P"N,VW="A¨BD79BD:¢>@Q\,N,P"="8"—

(3V4©§!RN ¦j/M #j¤ "!3/O © /. /, ©\4N22

4 ©§!.M#j,/N /.OU TA T2

!= 2

(3VO ©Z4N2  §§22222

¥#j j¨6¡ > ¦6 >

¥

k

¥#j j0. ©N/OD§!.

¥#j jA ©§!RN X¨¡ © ¡§!? ¨?

¥

 ¥#j j 9 +¨0¨h

" $ %&')(#%¨! ! !

 ¥#j j  +  4t. 8 - ,¢¨hiG-#i

"¨( % ! ( ' %

465%=[LIN%A,P$B@79QA 798"—

!3¡m(¢§"c

 ¥#j j 9 +  8 -

"¨( % ( ')!

 ¥#j j  )0 -¤t h.!W - ¢-

" % ( " (#%

 ¥#j j #"  + ¤¨h  ,¤+ 

"¨( % ! ¢ (£¢ ( ( :

 ¥#j j #" $ 0¨h. h ¨h  8 h

( $ % ¢ ! ¢&% " $ % ¢ !

6O §§!.N  §,¨§N ¦j¨©N? 14 §§2

¥#j j:('.N,= !/* L4

(3!/4 4 ©§!.M#j,/N /.OU T¡¥#j jDT2

 ¥#j j)"*97r¦0¢t -.¨+¤hi+ +¨0¨h

' " $ %&')(#%¨! ! !

P§ 4©§!RN ¦j/M #j/§!=N3 14N22

 ¥#j j)"* r¦0¢t -.¨+¤hi+  

' " $ !

T¤v.T22

 ¥#j j)"*#" r¦0¨h +#¨+¨0¨h#., -.¨+¨0¨h

¢ %&G% "

¥#j j/) D4N !5,§!.

k

¥#j j>(N 3, O7?¨© §

 ¥#j j),*9 - ¨h

). ¢0/ ).

465%=]R979h,>U<>ªLIN%A%P?B@7YQA  >@=$B@N,>@A,8XB@5,=W="RbZ

 ¥#j j),* / t p \0¢/ q- h ¨+¨0¨h#., ,¢¨hiG-#i

¦'¤¢d§"c2¨§c¨',© ¨§£

" % % ! %¨( " %¨!

 ¥#j j),*#" o

. ).

="VW="A¨B@8dP"QA¨BU<79A,=m\Ž79AŽ<]8="P$B@79QAªQ>j<]8N%h,8="P$B@79QAr^X465%=uR979h,>U<>

 ¥#j j),*21

% 3).

LON,A%P$B@79QA >@=$B@N¢>@A%86B@5%=[B@7bB@R9=MQL

¦'¤¢d§"c2¨§c¢¤¨©§

 ¥#j j),*#,54  /

!

¥#j jB .D3D4N!.

k

¥#j j ¤(N § © /.D/ N4

q+A}<\%\¢7bB@7YQAaB@Qe79R9R9N%8 B>U<¤B@79A,T}C3E3F#G„H%J]79AB>@Q8:#="P$B@79QArK3B@5%798D=$s,<VeZ

¥#j j¨6¡6¡6¡7¡8 '9:

:%R9=ª<R98QÂ85%QmkD8}5%Qmk©8N%7bBU<h,RY=ŽLON,A%P$B@79QA%<RM:¢>@QT>U<¤VWVW79A%TRY<A¢Z

TN%<T="8W<¤>@=]B@QlP"QVW:%N,B@=WQ`¦=?>uB@=$sB@8"—uB@5,=WkD5%QR9=€7YVW:,R9="VW="A¨BU<¤Z

B@79QAvQLdy 79TN¢>@=}ºl798e@="P"N¢>@87Y`=fB>U@8@<¤R;QLDB@5%=WB>@="=

V V

d<; B dxd

;:= ¦

>@=":¢>@="8="A¨B@79A%TuB@5,=M\,Q¨P"N,VW="A¨BM®OLON,A%P$B@79QA °?^

!3¡(¢§§c¦¨§¦§

465,=dB>@="=ch,>U<¤A%PU5%="8n<¤>@=t\,798:%RY<"¨=m\WN%879A,Tu<[B+¢:#=$k;>@7bB@=$>nLOQA¨B6<A3\ 3.3 Conditional execution

<RY<"¨QN,BWB@53<Bf:,>@="8=$>@`="8]8:3<P$="8a<¤A3\ÂRY79A,=lh,>@=m<¤Š¢8"^¾465%=}B>@=$=

A,Q\,="8u<¤>@=€\,798:%RY<"¨=m\N,A3\¢=$>@R97YA,=m\<A%\79A79BU<¤R97YP^465,=fP$QVW:%N¢Z

EnQA%\,7bB@79QA%<R.=$s¢="P"N¢B@7YQA 7Y8d>@=m¢¨N%7b>@=m\}kD5%="AlB@5,=XB@=$sBdB@Q€h#=X:,>@Q¤Z

BU<B@79QA§7YA`¦QR9`¦=m\½79A1 :,>@Q\,N,P"="8l<>@="TN%RY<¤>ŽwP$Z

¦'¥¤!%§£¦c¦¨§§

\,N,P"=m\i\,=":#="A%\,8 QAe8QVW=n:,>@Q:#=?>B@7Y=$8Q¤L3B@5%=)BU<¤>@T=?BLIQ>@V]<Bm^-465%=

=?s,:¢>@="8879QA±B@5%<¤B€7Y8f="`<R9N3<B@=m\«h¨ÂB@5%=ªC3E3F#GIH,JÁ="A,T79A%=^ 465%798

:¢>@=m\,79Pm<B@=MP?5,="PUŠ¢86kD5,79P?5fBU<¤>@T=?BcLIQ>@V]<Bd7986B@Q

¦'¤d§"c¨!3¡9B

h#=X:,>@Q\,N,P"=m\S^tq“Bt798[N,8=m\l8="`¦=$>U<¤R0B@79VW="8t79AlB@5%=j:3<¤:#=$>m^My,Q>[79A¢Z



q+A¨B>@Q\,N,P"79A%T<´L„>@="85§w¢P$Z“=$s¢:¢>@="8879QA±79A±B@5%=}B>@=$=ŽV]<"Â79A¨B>@QZ

8 BU<A,P"=K¨79Aew¢="P$B@79QAWº¢^9¶;k6=;5%@=$8="A¨B@=m\iB@5%=6\,=$¡%A%7bB@79QAuQ¤L#B@5%=

\¢N%P"=j79A%P$Q5%=?>@="A%P"=$8dLOQ¤>[P$>@Q88 Z >@=$LO=$>@=$A%P"="8"^D¼½5,="Al7bB@=$>U<¤B@79QA%8[<>@=

A,="=m\¢=m\rK,7bBdh#=$RYQA%T8DB@QiB@5%=[:¢>@QT>U<¤VWVW=$>;B@Qe79VW:%R9="VW=$AB679Bm^ V]<¤P$>@Q,^}465%=]<P?B@N3<RnV]<P$>@Q}N,8=m\´79AB@5%=W8QN,>@P"=$8

¨'¤d§- ¦§/

Q¤L B@5%798;:%<:#=$>c798;8R97YT5¨B@R9€VWQ>@=tP"QVW:,RY=?sr^ q+A%8 B@="<\€Q¤L >@="A%\,=$>@79A%T

B@5,=ek6Q¤>U\ FwP$>@79h#=J,K-kD5,="A´BU<¤>@T=$B@79A%Tlzt4D{}|K 7bBX79A¨B>@Q\,N%P$="8X<

9:¡7#\4©§!RN

¥

k

>@=?LO=$>@="A,P"=WB@Q}B@5%=€C3E3F#G„H%J 5%QVW=W:%<T=^l{aQ¤>@="Q`¦=$>mK.h#="P"<N%8=]Q¤L

; 6©¨ # j¡ Z4N3

¥§¦ ¥

QN,>W:#Q¨Q¤>W_.A%TRY7985Â8 B+¢R9=Kk6=f53@Q\,N%P$=

<¤Al~ `d|´R979A%ŠaQA%Rb‡¤¤#­Užc:#=$>d8="P$B@79QA”^tw¢Q¢K%B@5%=X<¤P$B@N3<¤R0LON,A%P$B@79QA

6 >¡7 # §,D!. ;S4©

¥

:8¡6¡ ¦>#X,/RD4 ©,N ;S4© !. ©N ;S4© ? N, ;S4©7?  ;S4©X "!/4Q;S4©

N,8=m\a79A€B@5,=M:3<¤:#=$>D8QN¢>@P"=j7Y8c\¢=$¡3A,=m\€<¤8"—

7¡ 6 6 ;¡7#\ L¦y L§0 LA L: L) §,¨§N §§!3

>¡ ¦;¡7#\4N3 3/,3 ;S4©

¥

t.#+¤h h.



% ( :

6O §§!.N ©§!RN

¥

,33 P 4©§!RN <;  L

(3 84/ N §§22

=

(3,=RO, ?2

4©§!RN <;  L P 6 >¡7 "2  :8¡6¡ ¦>§2  >¡ ¦;¡7§2  7¡ 6 6 ;¡7§2

¥ ¥

?!§ 4©§!RN ¦j¨§N¨©?§, 5 ?"32

 9:¡7§2  ; 6©¨ 2  6 >¡7 "2 j94©§!RN <;  L

¥ ¥§¦ ¥ ¥

k

 § ¢qW

%¨(

(3,=RO, ?2

(3  4£?¦© © /.#j4/ N§!. 222

?!§8- ¡  X4 4/ NN2

 ©§!RN <;  L§2

¥

oÁ:¢>@=$BB+Z“:,>@79A¨B@=$>”LON%A,P$B@79QAe798

SRN M§!.

:3<>U<VW=$B@=?>m^465%7986LOQ¤>@V]<RS:3<>U<VW=$B@=$>67Y8;h#QN%A%\WB@Qu@79A,Ti>@=":¢Z

4/ £¢ 4/ N 4N2

>@="8="A¨B@79A%TB@5,= B@=?s¢B]B@Qvh#= :,>@=$BBZ:¢>@79AB@="\r^ o©:¢>@=$BB+Z“:,>@79A¨B@=$>

P© § P- ,+4©§!RN ¦j¦©N32

(

>@=$B@N¢>@A%8;@="8879QA]>@=":,>@="8=$AB@79A,TXB@5,=t:,>@=?BB+Z“:,>@79A¨B@=m\e:,>@Q¤Z

T ©§!RN §T22222

¥

T>U<¤V B@53<¤BXViN%8 Bjh#=]79A%P"R9N3\¢=m\´79A´B@5,=eBU<¤>@T=?Be\¢Q¨P"N%VW="A¨Bm^€465%=

 0 §2

')( " %¨! !>=

 ©§!RN <;  L§22222

¥

\,=?¡3A%7bB@79QA€QL-B@5,= :,>@=$BBZ:¢>@79AB@=?>6798"—

!3¡(¢§¢©§

6O §§!.N  §,¨§N §§!3 \RD2

SN, ©4/ ¦j§,¨§N §§!3 V(N /.Gj!.#j4 ©§!.M+RD222

q+AiQ>U\¢=$>-B@Qt79VW:%R9="VW=$AB”B@5%=6:¢>@=$BB+Z“:,>@79A¨B@=$> kn=;<¤>@=;N,879A%T[¦)7YTR9Q¨Q

>@="TN%RY<¤>M:%<¤>@8=$>ub¶©¤’ ^t465%798[VW="PU53<¤A%798VÄ="A%<h%R9="8[<]R9=$s¢79Pm<¤R-<A%<RbZ ¢8798cQ¤L.P?5%<¤>U<¤P$B@=$>c8 B>@79A%T8"^

4. CUSTOMIZATION

o ž †r<A%\ª› ­$g£ ­ †”:¢>@QT¤>U<VWVW79A%T€R„<¤A%TN3<T=€798jN%8=?LON%RkD5%="A

™  ™ 

P$QA%87Y\¢=$>@79A%TX­$š‰U“‡¤˜u£¥¤ g£ ‡¤¤%‰®g79AXC3E3F#GIH,JdB@5%=$dN%8N%<R9Rb[BU<Š=-:%RY<P"=



79A}‰@gf†Yž.¡3R9="8U°?^C#E%F#GIH%JXP"N%8 B@QVW7 ¤m<¤B@79QA,8n="A%<h,RY=DN,8=$>@8B@QMPU53<¤A%T=

B@5,=)k6@=n>@=$A3\,=?>@=m\r^0465%=$X<>@=6N%h,7Y¢N,7bB@QN%8”79AXB@5,=

8 BU<¤A3\,<¤>U\aC#E%F#GIH%J]odpqU^¢y%Q>;79A,8 BU<A%P$=K¢QA%=dV]<"W8=$B@N%:]B@5%=ck;<"

@="A%\,=$>@=m\SK¢P"QA¢¡3TN¢>@=tB@5%=t5%=m<\,=$>c<¤A3\fB@5,=dLIQ¨QB@=$>

·

Q¤L%B@5,=n\¢Q¨P"N%VW="A¨BmKmQ¤>-="`¦=$Ai\¢=$¡3A,=)V]<>@T79A%8"^ A%=V]<"M<R98Qd8:#="P$Z

7bL„eB@5%=D8 B>@N%P?B@N,>@=cQLSB@5%=D:,>@Q\¢N%P"="\W\,Q¨P"N,VW="A¨B@8"^ q+AeB@5,798n8="P$B@79QA

kn=]7YR9R9N%8 B>U<B@=€5,Qmk QA%=WV]<"Žh#="A%=$¡,BjLI>@QV B@5,=W=$s¢:,>@="8879`¦="A,="88

Q¤L[C#E%F#GIH%Jª7YA´Q>U\,=?>uB@Q <PU5%79="`=fP$QVW:%R9=$sªP"N,8 B@QVW7 ¤m<¤B@79QA%8"^ q+A

:%<¤>B@79P"N,R„<>mK¦k6=)kD7YR9R,85%Qmkv5%QmkÂP"QVW:,N,B@=$>@80:,>@QT¤>U<V Pm<¤Auh#=n>@=$A,Z

\¢=$>@=m\S^

xt=":#="A3\¢79A%TfQL6B@5,=u8:#="P"7b¡%=m\ŽRY<¤A%TN%<T=K)C3E3F#GIH,J}N%8="8j\¢7bƒS=$>@="A¨B

P$QR9Q>@8u<A3\´LIQA¨B@8jkD5%="A´>@=$A3\,=?>@7YA,TlP"QVW:,N,B@=$>j:¢>@QT¤>U<VW8"^ 465,=

8 BU<¤A3\,<¤>U\i79VW:,RY=$VW="A¨BU<¤B@79QAj8N%:,:#Q>B@8-8="`=$>U<RRY<A,TN3<¤T="88N%PU5i<8

C3E3F#G„H%J#K%w¢PU5%="VW=KEdK,Q¤> {}|.^ EnQVW:%N¢B@=$>;:¢>@QT>U<¤VW8;<¤>@=t8:#="P$Z

–

7b¡%=m\lh€B@5%= V]<¤>@ŠN%:´®g8="=ew="P$B@79QAª¹¨^ ¹¨^ º¦°dkD5%79PU5Ž<P"P"=$:,B@8

¨¦2!

QA%=;Q:,B@79QA%<R3<>@TN,VW="A¨B-kD5%79P?5u7Y8

>@=$A3\,=?>@7YA,TaQ¤LnB@5%=i:,>@QT>U<V}^i465,7Y8[LIN%A,P$B@79QAŽ7Y8MP"<R9R9=m\

™

·

› £O¤,ž ^ A%=tV]@=$BB+Z“:,>@79A¨B@=$>@8"^

™ ™

y,Q>}B@5,=ª8@<¤Š¦=´Q¤LiB@5,=ª=$s,<¤VW:%R9=K[R9=$BaN%8}79VW:,RY=$VW="A¨Ba@=?BB+Z

@

:¢>@79AB@=?>uLOQ¤>e>@="A%\,=$>@79A%T˜ ˆ¦ž †Yž?‰]kD5%79PU5ÁN,8="8u8QVW=€P$QR9Q>@8eLIQ>



BU<¤>@T=$B@8"KX`<>@7Y<h%R9="8"Ki<¤A3\³P$QVWVW="A¨B@8"^²q+A¾<\%\¢7bB@7YQA”KMLIQ>

!%¡(¢§

h%<PUŠ¨Z=$A3\,8]8N,:%:#Q>B@79A,TÂ5¨¢:#=$>fR979A%Š8ª®g8N,P?5Œ<¤8azt4D{}| °]<>@=?LIZ

=?>@="A%P"=[B@Qu79B@8c\¢=$¡3A,79B@79QAa798c<\%\¢=m\fB@QiB@5%=tB@=$sB;kD5,="A}@7Y<¤h%R9=

798cN%8=m\S^;y%Q¤>tQ¤B@5%=$>ch%<PUŠZ“="A%\,8"K,`<>@7Y<h%R9=M>@=$LI=$>@="A%P$="8[<>@=XN,A3\¢=$>Z R979A%="\r^

q+AÂP"QA%8=m¢¨N%=$A%P"=K6<A¨v:,>@Q¨P$="8879A%T±®OLIQ>@V]<¤B@79A,T,Kn>@=$A3\,=?>@7YA,T,Kn=$sZ

B>U<P?B@7YA,T¨°uQ`¦=$> {}|½B@=$sB@8u>@=m¢¨N%7b>@="8eQA%=}Q¤>W8="`¦=?>U<RD=$sB@=$>@A3<¤R

–

6O §§!.N 8SN, ©4/ ¦j§,¨§N §§!3 X¨©  +¤h -. 0 2

' $' (

B@Q¨QR98XN%879A%T}\,7bƒS=$>@="A¨Bj:,>@QT>U<¤VWVW7YA,TaRY<A,TN%<T=$8XkD5,7YPU5<¤:%:#=m<>

P© ,O ©

B@Qeh#=K,VWQ8 BcQ¤L-B@5%=tB@79VW=K ¦Bc53<¤8

P© M3, ©#j/M ©,=§, © ?2

h#="="A V]<\,=jB@Q€:¢>@Q¤`7Y\,=XVWQ8 BtQLB@5%=jLON,A%P$B@79QA%<R-:¢>@QT>U<¤VWVW79A%T

DP v ¦¥ ,3322

= =

t. 8 q)+, 0¢t t h.

RY<A,TN3<¤T="8.kD7bB@5uB@Q¨QR98-LOQ¤>53<A%\,R979A%T {}|fB@=$sB@8"^0qB.=$s¢798 B@8 {}|

% % " %

¡

– –

(3  (D 6 N ¦j4 ©§!.M§222

:3<>@8=$>@8aLIQ> VWQ8 B@Rb±<R9RMLON%A,P$B@79QA%<RM:,>@QT>U<¤VWVW7YA,TvR„<¤A%TN3<T="8"^

.D4+?!=Z(D§2[?!=M.¨© D2222

z[<¤8Š¦="R9R53<¤8-z[< VWR3b¶mÀ’“K"E6<VWR53<¤8.p.sX<¤A3\X40QA¨¨K<A%\uwP?5,="VW=

–

SR3+DP ¦¥ (£T v/#v. P(T22 v P-22

=

53<¤8dw%w,<sŽ _m’ ^

¤ i 

( %

¡

(3  S¦©NV6 N ¦j4 ©§!.M§222

q+AŽ<\%\,7bB@79QA B@Q]:3<>@8=$>@8"K0w¢PU5%="VW=X53<¤8[<R98Q}w {}|½ ¤’.kD5,7YPU5 798

.D4+SR3/O ¦©N§2[?!=M.¨© D2222

–

SR3+DP ¦¥9,3 N,D2 v/#§22

="7bB@5%=?>.<AX<h,8 B>U<P$B 8 ,A¨BU<s[B>@="=QL#<¤A {}|]\,Q¨P"N,VW="A¨B0Q¤>.

=

–

p# +¨£ , q)+¤h+#¨+¨0¨h

( % ¢¦% !

P$>@=$B@=X>@=":,>@=$8="A¨BU<¤B@79QA N%879A,T}w¨Z=?s,:¢>@="8879QA,8"^jw {}|7Y8t8N%7bBU<h,RY= ¡

–

(3 N'1(3 /.Vj16 N ¦j3 /.M "2\022

LOQ¤>cw¢PU5%=$VW=$Z“h3<8="\ {}| <N¢B@5%Q¤>@7YA,T,^.q“B67986@V 7YVW:,R9="VW="A¨BU<¤Z

–

P¡, © 6 N ¦j4?RD4 ©§!.M y93 /."222

B@79QA}Q¤L B@5%= {}|´\¢Q¨P"N%VW="A¨Bm^

–

.D4 (3!/4&% §, © § ¡, ©§2

3¨© q¦i T RR#y y y y§T[SR3/OV%g¡, ©§22

=

465%=ª\,Q¨P$N%VW="A¨Bf8 B+¢R9= 8="V]<A¨B@79P"8}<¤A3\±8:#="P$79¡%Pm<¤B@79QA§RY<¤A%TN%<T=

%T#"T2[?!=M.¨© D2222

¦¥ (+T v/#v. P #DT22

® <ŠU<¤R :,>@QT>U<¤VWVW7YA,TuRY<A,TN%<T=$8tLOQ¤>

,¢#+¤h  +¤hi

' ! ( !

53<¤A3\¢RY79A,T´w,¸M{}|³<¤:%:,RY79Pm<B@79QA%8"^465%=axMw%w%w¢|«8N%7bB@=€:%RY<",8u<:¢Z ¡

(3  4 © 6 N ¦j4 ©§!.M§222

·

:,>@Qms¢79V]<¤B@79`¦="RbdB@5%=.8@<VW=.>@QR9=)<8 {}| w,|¢4tK"x { <A%\jw%w,o

– – –

.D4X4 © ?!=M.¨© D2222

\,Q¢—Â79B}="A3<¤h%R9="8}:%<¤>@879A%TÁ<A%\ŒP$QVW:%N¢B@79A%TQ`¦=$>lw%¸M{}| \,Q¨P"N¢Z

DP v© v ¦¥ (£TU2v.T22 v22

= = =

VW="A¨B@8"^.465,=txjw,w%w,|}RY<¤A%TN%<T="8D<¤>@=dh3<8="\fQA€Z

p# +¨£ , q h

( % (#% %¨(#% " %¨!

¡

879QA}Q¤L)w¢PU5%="VW=^

(3  4 © 6 N ¦j4 ©§!.M§22

P¡, © 6 N ¦j4?RD4 ©§!.M[A+j£6 N ¦j3 /.M "2\02222

.D4+P© § t. 8¡, © S.O ©N3!.N [4 ©§22

(

_ p `© ¹¨¶$’;798e<}8P?>@7Y:¢B@79A%TlRY<A,TN3<¤T=]B@53<BuN,8="8 {}|½<8X7bB@8

– – –

?!=M.¨© D2222

:,>@79V]<>]8 ,A¨BU<sr^ qB;5%<8;h#="="A€\,=?¡3A%="\]B@QX=m<879Rb€="Vuh#=m\W8P$>@79:¢B@8

¦¥ ?!. T v/#v. P(T22

79A%87Y\,= {}|«\¢Q¨P"N%VW=$AB@8[<A3\ Q`¦=$>@P"QVW="8[B@5%=iN%8@<¤T=WQL;<AŽ=$sZ

–

 ¤0

!#%' ( ( !

¡

B@=$>@A%<RD8P$>@79:,B@79A%TªRY<A%TN3<¤T=}79AÂQ>U\,=?>WB@Qª:¢>@Q¨P"="88]<´\¢Q¨P"N%VW=$ABm^

(3  S.3+6 N ¦j4 ©§!.M§222

465%=dRY<A%TN3<¤T=M\¢=$¡3A,="8n7bB@8="RbL0B@QXh#= ž f]­"†9‡¤‰"žt“‡ gfU›3£ ­ † 3.£I‰“›

.D4*.31?!=M.¨© D2222

™  

- 34/

‡ ­@‡˜ ¦$£I¤ “‡ ¨6¦ ‰"žb† ¤"š ¨ž ` X,ž ž€YX%žX› £O˜ fª˜Wž ¤%‰f‡ ¥

™  ™    ™ ™ ™ 

q.¨-),¨

¢¦%

¡

› ‡= ˜i˜u£O¤"X£O‰6YX ‡šD¦Xd¥?š¤#­$g£g‡¤ †%­@‡˜t›¢‡‰@£Og£g‡¤QB _ p `Â<RbZ

– –

™ ™ ™ 

(3  16 N ¦j¨§,D!3¦© D222

R9QmkD80B@5%=)\,=$¡%A%7bB@79QAjQLLIN%A%P?B@7YQA%8 N,879A%T;B@5%=  =$RY=$VW="A¨Bm^

§£§

?!§ - ¨§#jR N ZN2

zt=?>@=m<¤L„B@=$>X7Y8j<€\,=$¡%A%7bB@79QAŽQL6B@5,=iLO<P$B@Q¤>@7„<¤R)LIN%A%P?B@7YQA´=$s¢:¢>@="88=m\

5?2

79A _ p `j—

– –

- © ©N¨©1T(¦©M?  §,¨§N §§!3 D2T

T .N LN N O1¤ N, ©,N ©"T

N22222

¨©§22

O §§!.N U.N,=§ #"T¢§,NN¨©§!?,3DT , ©M4#"T(.T¤£

!§#£

3/#£ . £A 3/#£

. £

3/§!3/#£

. £

5. RELATED WORK

§,NN¨©§!?,3 £

qAªB@5,7Y8M8=$P$B@79QA´kn=eP"QVW:%<¤>@=fC3E3F#G„H%JŽ<A%\ŽQ¤B@5%=$>XV]<¤>@ŠN,:ŽRY<¤A,Z

4?RD4 ©,N#£ . £0 4?RD4 ©,NG£

TN3<¤T="8"^M¼´=u<¤RY8QfP"QVW:3<¤>@=X7bBtkD7bB@5ŽQB@5%=?>[=$ƒSQ¤>B@8tLOQ¤>M53<¤A3\,R979A%T

§,NN¨©§!?,3 £

B@=?s¢B@8D79A€LIN%A,P$B@79QA3<¤R0:¢>@QT>U<¤VWVW79A%TuRY<¤A%TN%<T="8"^

3/§!3/#£

!§#£

O §§!.N ¦£

5.1 SGML and XML

oc8;8 BU<¤B@=m\f79A´ º¤’£¢¥¤§¦ 3 .YX%ž ])Ÿž?¤,‰U£7¦"†Yž¨¦ ˆ¤š›<3 ¤š ¨ž£O‰

™  

@

© ¨+ž?¤

™  ¤™ ™ ¤™ 

kD5%79PU5 VuN%8 Bdh#=jP"QVW:%<¤>@=m\}kD7bB@5lB@5%=iw¢PU5%=$VW=X`=$>@879QA T79`¦="A 79A

¨ž?¤#ž £g­l‰f¤¤% Ÿ´š‰$žb´“‡ª˜ ˆŽš›Vb  `.£OYX‰@£O˜t›#†Yž X¨š¢˜ ¤ ¨

™  ™   

·

w¢=$P$B@79QAlº^Y¶^ h`7YQN%8Rb¨Kk;>@7bB@7YA,T]hf5%<A3\fRY<¤>@T=X8P$>@79:,B@8c8="="VW8

ž b ¦"†Yža ‰¨BU;› ‡ m£ b¨ž?‰ ‰@ ¤ b bW¥$‡ ˜ ¥"‡ ­@‡˜d›3šž

™    ™   ™ ™  ™ ™

53<>U\,RbM<¤P?5,79="`<¤h%R9=7YA _ p^`j^my,N,>B@5%=?>@VWQ>@=K<6P"<¤>@=$LIN%R¦>@=m<\,79A%T

– –

b‡m­$š¢˜Wž?¤%g‰?^²q+A½Q¤B@5%=$>€k6Q¤>U\,8"K {}| 7Y8}<ÂVW=m<¤A±B@Qv8:#="P"7bLI

–

QLnB@5%=i>@=$:#Q>BX\,=?¡3A%79A,TfB@5,7Y8MRY<¤A%TN%<T=W8="="VW8[B@Qa79A%\,79Pm<¤B@=iB@53<¤B

=?s¢B@=?>@A3<RD>@=":¢>@="8="A¨BU<¤B@79QA,8eLOQ¤>a\,<¤BU<´8 B>@N,P$B@N,>@=$8"^½qBW798f<ªVW=?>@=

B@5%=?>@=l7Y8fA%Qk6<"ÁB@QV]<¤A%79:%N,R„<B@=}B@5%= \¢Q¨P"N%VW="A¨BW7bB@8="RbLX79A%87Y\,=

LIQ>@V]<¤RY798V LIQ>n8:#="P"7bLI¢79A%TXT>U<¤VWV]<¤>@8"^.qB)Pm<¤Afh#=cN%8="\WB@QM>@=":¢>@=$Z

<A _ p ` =$s¢:,>@="8879QA”^«465%=aRY<¤A%TN%<T=l8="="VW8uB@5,="AÁR979VW7bB@=m\

– –

8=$ABcB@=$sB@8th,N,BDB@5%798d7Y8cA%Q¤B[7bB@8tV]<¤79A}:%N¢>@:#Q8=^d465%=XVWQ8 Bc:#Q:,Z

B@Qu879VW:,RY=cB@=$sB;T=$A%=$>U<B@7YQA%8D79A%87Y\,=[<A {}|ª\¢Q¨P"N%VW=$ABmK¢<¤86B@5%=

–

N,RY<¤> {}| <:,:%R979Pm<¤B@79QA½N%8=m\ÁLIQ>€>@=":,>@="8=$AB@79A,T´B@=$sB@8ª®g5,="A%P$=$Z

–

QA,="8D:,>@="8=$AB@="\}w¢=$P$B@79QAlº^Y¶

LIQ>B@5 {}|¾B@=$sB@8U°]7Y8 zt4D{}| ® <>@=$LIQ>@ViN%RY<¤B@79QA§QLXzt4D{}|

– –

¢¢^ »¦°?^ {}|¾Pm<¤A±h#=}B@5%QN%T5Bf<¤8f<´879VW:%R97b¡3Pm<B@7YQA½QLXw,¸M{}|^

–

¦n="87Y\¢="8[\¢=":%R9Qm¢7YA,TeQA,=jN%A%7Y¢¨N%=[LIQ>@V]<¤RY798V <A%\a8 ¢ABU<s€LIQ>t<N¢Z

465,=$€h#QB@5a85%<¤>@=[B@5,=[8@<VW=MTQ¦<R98d<A%\a8 ¢ABU<sS^

B@5%Q¤>@79A%TM\¢Q¨P"N%VW="A¨B@8 kn=c5%@=

P"QVW:3<P?BM8QN¢>@P"="8tB@5%<A {}|Œ®g8="=Ww="P$B@79QA´¹^9¶°?^i465,=]C3E3F#GIH,J

–

465,=ŽLIN%A%\%<VW=$ABU<¤Rt\¢7bƒS=$>@="A%P$=Žh#=?B+k6=$="A {}| <¤A3\§C3E3F#GIH,JÁ798

–

8 ¢A¨BU<¤sX798)R9="88`¦=$>@h#Q8=6B@53<AXB@5%= {}|aQA,=;V]<79A%RbXh#="Pm<¤N%8=;B@5%=

– B@5%<¤B;B@5,=d¡%>@8 BDQA%=[798D\¢=$¡3A,79B@=$R9]A,QBc@QT¤>U<VWVW79A%TXRY<A,TN3<¤T=^

P$RYQ879A%TW:3<>@="A¨B@5%="8798;Q¤L-@="8879QAa798;=$s,<P$B@RbfQA,=[PU53<¤>U<¤P$Z

B@=?>dR9QA%TukD5,="A}7bBc7Y8DN,8N3<R9Rb€VuN%PU5fVWQ>@=[79A {}|^

–

?"3 £

N ,O#£ §!=N3 ¦£¨6.£ L,=3 §!=N3 ¦£ N ,O#£

R/O#£

R¦©#£

> "!/4\!/4*,/. =.£u¦> ; =.£ L,=3 <;

R¦©#£

5.2 Scheme vs. other functional languages

R/O#£

¼´=j53

?"3 £

7bB@8”8 ,A¨BU<s[798”T="AN%79A%=$R9[P"R9Q8=.B@QDB>U<\,7bB@79QA%<R¦V]<>@Š¢N,:[RY<A,TN3<¤T="8"^

wN%PU5}<¤8 {}|K¢B@5%=jwP?5,="VW=[8 ¢A¨BU<¤sf798dh%<8=m\aQAaB@5%=d>@=":,>@="8=$A,Z

–

BU<B@79QAQ¤L;B>@="="8"^€465%=eVWQ\¢7b¡3Pm<B@7YQA%8MB@Ql<¤:%:%Rb B@QaB@5,=]w¢PU5%="VW=

798DVW79>>@Q¤>@=m\a79A}|”o[{}|<¤8"—

T¤>U<VWV]<>t<>@=M`¦=$>fR979VW79B@="\}<A%\a879VW:%R9=^)465%798cV]<Š¦="86B@5,798cRY<¤A,Z

TN3<¤T=[8N,79BU<¤h%R9=dLIQ>6B@=?s¢B)>@=":,>@=$8="A¨BU<¤B@79QAr^465%=cQB@5%=?>6LON,A%P$B@79QA%<R

RY<¤A%TN%<T="8-8N%PU5j<8"KDE6<VWR¦<A3\Mzt<8Š¦="R9RgK>@="RbMQAj|”ot| `8 ¢ABU<s¢="8

B@5%<¤Bd\,QiA%Q¤Bc¡,B;B@5%=[V]<>@ŠN%:fRYQ¨QŠ¨Z+<¤A3\Z“LI="="Rg^

 ?"3

 N ,O 6§!=N3 1T¢6.Z L,=3 §T22

qA±<\%\,7bB@79QArK6k6=€B@5%79A%ŠB@5%<¤BWB@5%=lw¢PU5%="VW=fB+¢:#=a8 ¢8 B@="V‚798f<A

SR/O SR¦©§2

<\,`<A¨BU<T=[LOQ¤>jC3E3F#G„H%J]:,>@QT¤>U<VW8"^qBD798DP"QA¢`="A%79="A¨B;B@QW\¢7Y8:#Q8=

T¢> "!/4\!/4*,/.TZ- =8Tu¦> ;"T2\T= L,=3 <;(T

SR¦©§222

Q¤L%LIN%R9Rbj:#QRb¢VWQ>@:%5,79Pn\,<¤BU<;B+¢:#="8"^-oc80:¢>@="8="A¨B@=m\j7YAiw="P$B@79QAu¹^9¶K

<¤AWwP$Z“=$s¢:,>@="8879QAiPm<Aih#=;@=;QL#\¢7bƒS=$>@="A¨B

B¢:#="8"^y%Q>D79A,8 BU<A%P$=KB@5%=t¡,>@8 B;="R9="VW="A¨B;Q¤L 8N%PU5}

U<¤P$B@=$>D8 B>@79A%Tu<A3\WB@5%=dA%=$sBnQA%=tm^-465,798;="A3<¤h%R9="8

w¢Q¢Kc|0ot{}|¾<A%\ŒC3E3F#GIH,JÁ<>@=l`¦=$>ÂP"R9Q8=^¿465,=$v>@="Rb«QA«B@5%=

P$QVW:3<¤P$B6>@=":¢>@="8="A¨BU<¤B@79QAaQLrB@=$sB@8"^.qLrB@5%=dN%A%\,=$>@Rb¢79A%TjRY<A%TN3<¤T=

A3<B@N,>U<¤R-w¢PU5%=$VW=[8 ¢ABU<s}<¤A3\€B@5,=$€h#QB@5}P"QA%87Y\,=?>[

79VW:#Q8="8D@QA%T=$>;B+¢:%79A,TX8 ¢8 B@="V}K¨B@5,=t8QN,>@P"=d:,>@QT¤>U<V}KB@53<B

<8j<]:,>@QT>U<¤V}^izdQmk6="`¦=?>mK”B@5,=$>@=u798tBk6Qa79VW:#Q¤>BU<A¨BM\¢79ƒS=?>@="A%P"=$8

798[B@5,=eN%8=$>tB@=$sBmK”kD79R9R)h#=i:#QR9R9N,B@=m\ kD7bB@5´Pm<¤8 BjQ:#=$>U<B@7YQA%8MB@53<B

h#=$Bk6="="A€B@5%="V}—

B>U<¤A%8 LIQ>@V²<R9R”B@5,=[`<R9N%="8D79A¨B@Qu8 B>@79A%T8"^

¼´=n5%<`=)P"QA%87Y\,=?>@=m\XN,879A%Tc)C3E3F#G¡

 

465%=t8 ¢A¨BU<¤sS—)C3E3F#G„H%JWN%8=$8D<Af=$sB@="A3\¢=m\fw¢PU5%="VW=c8 ¢ABU<sS^

H,JªLON,A%P$B@79QAv<:%:,R97YP"<¤B@79QAÂ79AQ>U\¢=$>uB@Ql79VW:%R9="VW=$ABMB@5,=WA%="8 B@79A,T

od8c:,>@="8="A¨B@=m\ w="P$B@79QAŽ¹¨^9¶KS7bB[79A¨B>@Q\,N,P"="8DB@5%=£¢ A%Q¤Z

¦ ¦ ¥¤

Q¤Ltw¢P$Z“=$s¢:,>@=$887YQA%8"^}od8j:,>@="8=$AB@="\´79Avw¢="P?B@7YQAvº¢^ ¹€B@5%=€C3E3F#G„H%J

BU<¤B@79QAeB@5%<¤BmK¨<¤8kn=D53@P"=

R979h,>U<>´:¢>@Q:#Q8="8i79A¨B>@Q8:#=$P$B@79QA´LIN%A%P?B@7YQA%8"^€y%Q¤>i79A,8 BU<A%P$=K0B@5,=

B@=$sB@8"^

 >@=$B@N,>@A,8XB@5,=]RY798 BuQLc8="P$B@79QA,8uP"QA¨BU<79A%=m\

¨'¥¤!%§¤£¨c¨§¨'¤¢¤£¢£¢

79Al@N%P$B@N¢>@=m\€8N,P?5a<8"—

465%=fw¢P?Z+<¤8 Bm—i465%=W="`<R9N3<B@79QAQL;

\,7b>@="P$B@Rb€:,>@Q\,N,P"="8d<Alzt4D{}|=$s¢:,>@="8879QAr^;y%Q¤>t79A,8 BU<A%P$=K

B@5%=D\,=?¡3A%7bB@79QAiQL#B@5,=D|0o[{}| LON,A%P$B@79QAuQL#B@5%=;:¢>@="`79QN%8

§m!

=$s,<VW:%R9=[798"—

6ON?§ /. ;;;

¤ N,/ © ;;;-2

¤ N,/ ©

6O §§!.N - =14 ©§2

;;;

4 ©§!.M#j,/N /.O8T 7 £DT*4 ©£T 7 £DT22

4/ N§!. ;;;-2

;;;-2

;;;-2

EnQA¨B>U<¤>@79RbjB@QjC3E3F#GIH,JSK|”o[{}|f\,Q¨="8.A%Q¤B-h%N,79R„\X@=$=)>@=":¢Z

>@="8="A¨B@79A%T€B@5,=uB@=$sBMB@Qah#=uT="A,=$>U<¤B@=m\S^]465%798X\,7b>@="P?BjV]<:,Z

:%79A%Te5%<8;B@5,>@=$=M\¢>U<"kDh3<¤P?Š8"—

465,=6P"QABU<¤79A%=$>-A,Q\,="8n®O>@=":,>@="8=$AB@79A,Tt\¢Q¨P"N%VW="A¨B@8"K¤PU53<:¢B@=$>@8"K8="P$Z

¶^D|0ot{}|e8QN,>@P$="80Pm<¤A%A,QB :¢>@Q\,N,P"=-QB@5,=$>0LIQ>@V]<¤B@8SB@53<¤A

B@79QA%8"Kc^Y^9^ ° Q¤LtB@5,=}wP$Z<8 BW<>@=a:¢>@Q¤`7Y\,="\´kD79B@5Â:#Q79A¨B@=$>@8uB@QlB@5,=

z[4D{}|.^

PU5%79RY\¢>@=$AaB@5%=$fP"QA¨BU<79Al<A%\X m£ ­Už ž ‰ ^Dw79A%P"=MRY<¤$7YA,="88c="A3<¤h%R9="8

™ 

B@Ql:#Q8 B@:#QA,=eB@5%=WP"QVW:%N,BU<B@79QAQ¤LD=$s¢:,>@="8879QA,8iN,A¨[email protected]@5%=?´<>@=

¹¨^;qB.798P"QVW:,RY=?sMB@Q[79VW:%R9="VW="A¨B-=$¨eP"79="A¨B@R9u<[|”o[{}|€79A¢Z

>@="¢N,7b>@=m\rK7bB;Pm<¤A€h#=cN%8="\WB@Qi\,=$R„<"WB@5,=d="`<R9N%<¤B@79QAfQL”79A%A%=?>;="R9=$Z

B@=$>@:,>@=?B@=$>m^od86>@=":#Q¤>B@=m\]7YAªb¶¹’ K¢B@5%=t|0o[{}|Ž="`<R9N3<Z

VW=$AB@8;Q¤L.@=m\r^

B@79QAj:,>@Q¨P"=$88-<R9R9Q¨Pm<¤B@=$8)<;R9QB0QL,8 B>@79A%T80QL¢P?5%<¤>U<¤P$B@=$>@8"^

¼´=653UZ

465%798a=?s,=?>@P"798="8a79A¨B@="A%879`¦=$R9ÂB@5%= VW="VWQ¤>ÂV]<A3<¤T=$>

8@<¤R0Q¤L B@5%=XwP$Z<8 Bj®g8="=jº^ ¹°?^

®gT¦<>@h3<T=}P"QRYR9="P?B@7YQA±<¤A3\VW="VWQ>´P"Q:,79="8U°?^Â465%="8=

8 B>@79A%TjV]<A,7Y:,N%RY<¤B@79QA%8)<¤>@=;B@QBU<¤RYRb]

·

H%J#^ A%=6C3E3F#GIH,JMV]<¤>@ŠN%:j<¤RYR9Q¨Pm<B@="8QA%=)Qh¯ ="P?B-B@53<¤B

798u<}A,Q\,=WQLDB@5,=fw¢P$Z<8 Bm^a465%798XA%Q\¢=f798XN%8=m\ªN%A¨B@79R B@5%=€h3<PUŠ¨Z“="A3\v53<¤8WP"QVW:,RY=?B@=m\B@5%=a¡%RY=€T="A,=$>U<¤B@79QA”^

5.3 LAML qBMA,="`¦=$>t53<¤:%:#="A,8tB@53<BjtB@5%=uPU53<>U<P$B@=?>@8

798dP"QA¨BU<79A%8c<¤>@=j\¢N%:,RY79Pm<B@=m\r^

|”o[{}|§®3.£O‰ › ‰ ¦ ˆ¤š›N3 ¤š ¨ž°eb¶mº’)798j<¤A´<BB@="VW:,B[B@Q

  ™  

º^;q+A¨B>@Q8:#=$P$B@79QAeQ`¦=$>@ŠN%:RY<¤A%TN%<T=^q“BuVW7b>>@Q>@8jB@5%=]zt4D{}|

q+AX:3<>B@7YP$N%RY<¤>mK79B 53<8 B@QDBU<Š=n:%RY<¤P"=6h#=$LIQ>@=nB@5,=n8 B>@79A%T V]<>@ŠN%:%8)79Alw¢PU5%=$VW=^.4653<B;798"K,LIQ>c=m<¤P?5fz[4D{}|ŽV]<¤>@ŠN%:WB@5%=?>@=

>@=":,>@=$8="A¨B@7YA,Tf<A z[4D{}|=$s¢:,>@=$887YQA 7Y8th%N%79RbBm^d4653<B 798X<€P$Q>>@="8:#QA3\,79A,Tlw¢PU5%=$VW=XLIN%A%P?B@7YQA´79A|”o[{}|.^0465,=uzt4D{}|

798"K¨7bB)5%<8-B@Q[BU<Š=6:%RY<P$=ch#=?LOQ>@=c|”o[{}|€LIN%A%P?B@7YQA%8<¤>@= \¢Q¨P"N%VW=$ABm—

:#Q8879h,RY=WkD7bB@5´¼<85ªB@Qa7YA¨B@=$>U<¤P$B@79`¦="RbªP$>@=m<¤B@=]<¤A3\ŽV]<A%79:,N%RY<¤B@= Pm<¤RYR9=m\S^Žq+AQB@5,=$>uknQ>U\¢8"Kn|”o[{}|±798uQ¤LcA%Q 5%="R9:LIQ>

k6=$h}:3<¤T="8"^ P"QVW:%N,B@79A,T}QAv\¢Q¨P"N%VW="A¨B@8"^ |”o[{}|±N,8=$>@8u5%<`=]B@Q

79VW:%R9="VW="A¨BjB@5%=$79>uQmkDA«\,<¤BU<}>@=":,>@=$8="A¨BU<¤B@79QAÂh#=$LOQ¤>@=

qL,¼<¤85i85%<¤>@="8-kD7bB@5]C3E3F#G„H%J[B@5%=)P"QA,8 B>@N%P$B@79QAiQLS@N%P?Z N%879A,Te|0ot{}|ªLON,A%P$B@79QA%8"^

B@N,>@=[>@=$:,>@="8="A¨B@79A%TiB@5%=tB@=$sB;B@QWh#=t>@=$A3\,=?>@=m\rK,A%Qe=?ƒSQ>Bc798cV]<\,=

B@Q}:¢>@Q¤`7Y\,=W7bBjkD7bB@5

 ™  

\,<¤BU<¤h3<8=?ZQ¤>@79="A¨B@=m\R„<¤A%TN3<T=€B@Q ="Vih#=m\´79Az[4D{}|Œ<A%\QB@5,=$>

?"3 £

V]<>@ŠN%:%8"^XqAª8QVW=e=$sB@="A¨BM¦a`d|«<¤:%:¢>@Q¦<PU5Ž7Y8j`¦=?>l879VW7YRY<>XB@Q

N ,O#£

B@5,=jpztp«QA,=—)79Bd:,>@Q:#Q8="8DB@QWVW7bs]B@5%=[B@=$sBd<A%\€B@5%=M:¢>@QT>U<¤V

§!=N3 ¦£uN 33Q%§¦¨©N3/O §!=N3 ¦£

kD5,79P?5]LOQ¤>@V B@5%=t\,Q¨P"N,VW="A¨Bn79A]B@5%=c8@<VW=t8QN,>@P"=d¡3R9=^y%Q¤>D¦a`d|K

N ,O#£

<ª\,Q¨P"N,VW="A¨BW798]<ª8=m¢¨N,="A%P"=aQL[=$79B@5,=$>]8 B>@79A%T8fQ¤>€w¢PU5%="VW=€=$sZ

R/O#£

:¢>@="8879QA,8"^D¦a`d|\,798:%RY<"¢8c8 B>@79A,T8 ‰[£O‰;<¤A3\ž † š ž?‰cw¢PU5%="VW=

> "!/4\!/4  N U ©,O§!=§!.N,3©¨ :) wuN 33Q% ¦¨©N3/O£¢ ¨ :) w N,M <;

  

= =

=?s,:¢>@="8879QA,8"^«4”Q´<¤RYR9="`7Y<¤B@= \¢Q¨P"N%VW=$ABXB+¢:#="8=?BB@7YA,TªN,879A%T B@5%798 ¦©#£

R/O#£

P$QA`¦="A¨B@79QA,8"K0¦ `t|53<¤8[79A¨B>@Q\,N%P$=m\ jPU53<¤>U<¤P$Z

?"3 £

B@=?>}8 B>@79A%T8"—B@5%=$>@= 798aA,QA%="="\«B@QÂ:,N,B€l<8 B>@79A,T

8 BU<>B@79A%TŽ<}¡3R9=]Q>uB@=?>@VW7YA%<¤B@79A%T B@5,=$>@VWQ>@=K F’¥JŽ<A3\

F? JWPm<A}h#=tN%8=m\€B@Qi>@="8:#="P$B@79`¦="RbfQ:#=$Al<A%\€P"R9Q8=X@79A,T,^nw¢Q¢K

<A%\fB@5%<¤BcPm<Aah#=[79VW:%R9="VW="A¨B@=m\]79A C3E3F#GIH,J€<¤8"—

W,X4 ©§!.M K

6O §§!.N X'/§!=N3 '1TuN 33Q% ¦¨©N3/O£¢-T2

6ON?§ /. ¨+##, TuN 33Q% ¦¨©N3/O"T K

%

> "!/4Z!/4  N 9 ©,O§!=§!.N,3V%SRN M§!.['/§!=N3 '2 N,M <;

798D@79A%TX79Aa¦a`d|^¢465,=[79A¨B@=$>@="8 B;Q¤L”B@5,7Y8nA%QBU<B@79QAa8=$="VW8

% ¦©3 2=W§2

VWQ¤>@=M="`7Y\,="A¨B;79Al@N,P$B@79QA}8N,P?5a<8

k6QN%RY\ah#=[k;>@7bBB@="A}79Af¼<85}<8"—

> N <¡,3N X¨§U"!9!/48K?('*)+-,,/.1022=W ;

ON N ,O PP u)7 6 '

ON N ,OX#

kD5,=$>@=]k6=]53@="8879QAv="A,P"R9Q8=m\h#=?B+k6=$="AB+knQ

§,¨§N N ,O

8 B>@79A,T8v®F J½<¤A3\ F J¦°?^ zdQkn="`¦=$>mKtB@5%798

§¨§¥¤¡¦©¤¥¨§½«,Á¦

 ,OO<U §,¨§N §!=N3 V ,OO< TuN 33Q% ¦¨©N3/O"T2

8 ¢A¨BU<¤saPm<Alh#=j8QVW=$B@79VW="8dP$QVW:%R9=$sa<8d7bBt798t85,QmkDAl7YA}B@5,=MLOQRbZ

R9QmkD79A%TW=$s¢P"=?>@:,BDLI>@QV B@5%=t>@=$LI=$>@="A,P"=jV]<AN3<¤R ^

ON R/O PP #='©

ON R/OX#

§,¨§N R/O

 ,OO<U §,¨§N N ,O§!.M£0+ ,OO< §!=N3 D2

K?6O §§!.N ©N?D. 4 N3 j¨© /N , ;;;-2

 ,OO<UT¢> "!/4Z!/4  N U ©,O§!=§!.N,3 vDTT

SR¦©N3*W 3!£ 4 ©N.M#£

¥¥ §!=N3 ¥¥

, ¦© §#"T(NA<; R¦©N3¡ K

T¤vDT N,M <;(T2

SR¦©N3 j¦©N3 j, ©M4UR¦©N3 jR3,/.§¨ \3¨©§2

 ,OO< §,¨§N ¦©

W"T¤£SR¦©N3 j ?"3 j N4/,/N +3¨©§2=W ,¦£ 4 ©N.M#£

? N © §!=N3 #£TuN 33Q% ¦¨©N3/O£¢-T

K-222=W

ON8PP u¦> ;

?"3  ,OO< ON N ,OV ,OO< ON R/O ON # §,¨§N

  ©84¤ ? ?"3*ONN2

¥

oc8-k6=;Pm<¤Ae8="=K¦¦a`t|€7Y8#¯+N%8 B)B)QL%› ž› ‡m­Už?‰U‰?‡ <¤A3\e<¤88N,P?5

™ ™ ™

7bBcPm<¤A%A%Q¤Bch#=[N%8=m\fB@QW\,Qi7YA¨B>@Q8:#="P$B@79`¦=[k6Q¤>@Š€QAl

qBj798MQh¢`79QN,8[B@53<BM¼<85Ž798X\,="879TA,=m\a¥$‡ :¢>@QT¤>U<VWVW=$>@8"^u~tA,Z

5.5 Wash ™

R979Š¦=ŽC3E3F#GIH,J79BePm<A,A%QB]h#=a<8]=m<¤87YRbÂN%8="\Â79AÁ>@=$:%RY<P"=$VW="A¨BWQL

B>U<\¢7bB@7YQA3<¤R0V]<¤>@ŠN,:€RY<A,TN%<T=$8"^

¼<85€9¶"µ¤’,798.

LIQ>u:,>@QT¤>U<VWVW79A%T€¼="hv<¤:%:%R979Pm<B@7YQA%8"^ª_<PU5R„<¤A%TN3<T=€798i="VeZ h#="\%\,="\[7YAMB@5,=LIN%A%P?B@7YQA3<¤R¦RY<A%TN3<¤T=6zt<8Š¦="R9RgKkD5%79PU5XVW="<A%8SB@53<B

7bBi798i79VW:%R9="VW=$AB@="\ª<¤8uXRY79h¢>U<¤>¨^l465,=Wh3<¤87YP]7Y\,="< 6. CONCLUSION

Q¤L;¼<¤85798jB@Qah%N%79RY\<}\,<¤BU@N,P$B@N,>@=eB@5%<¤BjPm<¤Ah#=e>@="A%\,=$>@=m\

C3E3F#GIH,Je798D@QT¤>U<VWVW79A%TjRY<A,TN%<T=[LIQ>D<¤N,B@5,Q>@79A%T B@Q€z[4D{}|vB@=$sBm^W¦n="P"<N%8=WQ¤LnB@5,=uB+¢:#=u8 ¢8 B@="V QL6B@5,=uzt<8Š¦="R9R

`<¤>@79QN,8}Š7YA%\±QLi="R9="P$B>@QA%79P\¢Q¨P"N%VW="A¨B@8"^ qB€Pm<A§h#=ŽN%8=m\«B@Q B¢:#=€PU5%="PUŠ¦=$>mK¼<¤85ÁTN3<>U<A¨B@="="8uB@5,=€kn="R9R9Z LIQ>@VW=m\¢A%="88eQ¤LtB@5,=

T="A%=?>U<¤B@=m\Âz[4D{}|³:%<T="8"^±~d87YA,T< z[<¤8Š¦="R9RD7YA¨B@=$>@:¢>@=$B@=$>]7bBW798 :,>@Q\¢N%P"=eBU<>@T=$BXLOQ¤>@V]<¤B@8X8N%PU5<8Xz[4D{}|½<¤A3\p Q8 B?w¢P$>@79:¢Bm^}qB

>@=$RY79="8nQA]<AWQ¤>@79T79A3<¤R#8 ,A¨BU<siB@5%<¤B)V]<Š¦="8.7bB)RYQ¨QŠ7YA,TMLg<VW79R97Y<¤>6B@Q

¡ab?¢ê‡Ä©®h a!j'©/_Áž ")v)9©Ak,.4/5ŽsCo 0t,k4sC2:$ay89A.A/ uƒT€U+ZM]^E.ZHU N

@ @

B‰F^·LHZM]kF‰GO~ LHZaN U €U+]kE.‚?L¥À/U+IW \UMWLaF'_:d ‘ ‘ ‘©_:¸¸78d ¨ „M d+¦ ¦

¿

<¤A¨¨QA,=[N%8=m\fB@QeV]<¤>@ŠN%:fRY<A,TN3<¤T="8c8N%PU5}<¤8Dz[4D{}|^

¡a`?¢¥‹|j'ghg›j' _:Š|j'¦<ˆTîh!j'/_8mn usC2:$ay89A.AS2 4)vˌ 0#à

@

qC94/9* ,V(<ë"7™Îwž,k4/2%M"7*?$‰" *!onœ)-ž9+ìHÌ¥2:$a9vío¥*M2 4)$?A›2% ,›"/4rî£

¼´=}53@QT>U<¤V

I8]M N–¶xG IM~aïxG I<ð/\I:ZM]^E.G I:U+N:ƒT€GHW €U+´´fEVIW _ Áxj'lO®hM_è8lHj'©a _

«

79A`¦QRY`="8Bk6QM8=":%<¤>U<B@=c8 BU<¤T="8"^x[N¢>@79A%TtB@5,=6¡%>@8 BQA,=DB@5,=;8QN¢>@P"=

¡a` ` `©

=?s,:¢>@="8879QA,8n<>@=D>@="<\uN,87YA,T[B@5%=dC3E3F#G„H%JM>@=m<\¢=$>m^465%="8=;=?s,:¢>@="8 Z

d ‘?¢¥‹š¨ lgh¦C‹í®h¦ n‹Y  Îm–¨ O¨ l€O®hÃñ uŸ!")(6r™š9©4:%uò=w/ó9('%

879QA%8.<¤>@=B@5%="Aj="`<R9N%<¤B@=m\MN%879A,Tt@:¢>@=$B@=$>m^

"/v)9An¢€Ÿ£ò ¤f039±:9A &)-x9(,› x( 2% ,›"74z íK ¶

@ @

6 3

465,79868 BU<T=d:¢>@Q\,N%P$="86<¤Af79A¨B@=$>@A%<R,>@=$:,>@="8="A¨BU<B@7YQA€Q¤LSB@5%=D8QN¢>@P"=

RTLHZHG ´´1LMI:D+U ]^E.G Ir_)“§£a_)¡a` ` b©

:¢>@QT¤>U<V}^l465,=W8="P"QA3\="`<R9N3<B@79QA8 BU<¤T=]N%8="8jB@53<Bj>@=":,>@="8=$A,Z

d©¡£¢¥‹š¨ lgh¦C‹í®h¦ n‹Y  Îm–¨ O¨ l€O®hÃñ uŒ!ƧŒ! •;ô쥲õ&)(+* ,.-/%',k4/5

BU<B@79QAª<A3\SKr<8M

032 4/576/285 9C>" *uŒ 0 ËK ¶×‰G ]L_8Ò#¨a¹7_d ‘ ‘ ‘©

@

3

>@=$:,>@="8="A¨BU<B@7YQA³7bB@8="RbL^Ä4653<B}798"KM\¢N,>@79A%TB@5,=Ž8=$P"QA%\§8 BU<¤T=ª< C3E3F#G„H%J]:,>@QT>U<V V]<"]P"QVW:%N,B@=t:,>@Q:#=?>B@7Y=$8d<¤h#QN¢Bd7bB@8="RbL^

APPENDIX

C3E3F#G„H%Jl798MN%8=m\ QAª\%<¤79R9 h%<8798MB@Q€:¢>@Q\,N,P"=uRY<¤>@T=]\,Q¨P"N,VW="A¨B@8"^

y,Q>f79A%8 BU<A,P"=KDB@5%=}kD5,QR9=lk6="h«:3<T=

y%Q¤>tB@5%=j8@<¤Š¦=iQ¤L.B@5%=X=$s,<VW:%R9=K,k6=X:,>@="8=$ABt79A}B@5%798[ocA%A%=?srK,B@5%=

¨¦. ¦ ¤ ¦   £¨¡ ¦"c

<¤A3\uB@5,=t\¢Q¨P"N%VW="A¨BU<B@7YQA%87bB6P"QABU<¤79A%86<>@=

kD5%QR9=eC3E3F#G„H%J]8QN¢>@P"=MP"Q\,=[LIQ>cB@5%=M<¤h%8 B>U<¤P$BcQL-B@5%798;:%<:#=$>m—

$!#$!3¨¡¦ ¢  ,¤2©¦

·

79VW:,RY=$VW="A¨B@=m\Á79A³C3E3F#GIH,JS^ h¢`79QN,8Rb¨K;B@5%= P"N,>>@=$ABf:%<:#=$>Ž£O‰

<ªC3E3F#G„H%Jª:¢>@QT¤>U<V}^ ocAz[4D{}|±`¦=?>@87YQAPm<Ah#=]h¢>@QkD8="\Â<B

 ^

¦¦  ¤ ¦ ¦  £¨¢¡0 ¦ "!3$!3¨¡ ¦¢ ¦ ¨'d§ ¦' ¦'¤¢Nd¨§- “¨¤!3©

SN, ©,M ©,/ K

> "!/4 N,/N © ¦© N4/ /.4 % ©§!RN D2%G,<§.D§!.N,3 ¦©N/M ©,= !.M

¥

§N¨©9,/ ¨©§!.MXON?§ /.4Q; 7 ¡ /.£!§[!=£!/4*,*M /.N ©,3

7. REFERENCES 3,/.MN,M

¦©4/ N3Q%$!=URN N4Z4?"!=4U N ?¦©§!=§!.MZ¨§  N¤ ."!//,3

¡£¢¥¤§¦©¨   © ! #" $%'&)(+* ,.-/%1032 4/576/285:9<;=9>9*?9©4)( 9

ON?§ /.4Z4?D¤ X,N4 ?N /R N,M N49¨©  N¤ ."!//,37© /¨©4 %s6¡6£

2 4/6/2 A7 CB#D+D E.FHG+I8J?K

@

ON?§ /.,§!.D4 %Y Q; 7L N?§!.M % ©§!RN D2 ¦©N/M ©,=4Z/,/.

¥

¡a` b c©

¦©N/OD/ ON?§ /.4X¨§7¡, ©§!D4<§N¨©?§,4X4?D¤ X,N4 6N4 ©§!<%

¥

d?¢fe§¨ gh¦©ikj'lO /_:mn !op/9Y&rq 0tsu2 4)vrwx"7" yz |{S}O~£G+€D

@

6 ' % u¦> ;<% > L§!.¦§NX¨© ."!=L*§,/. N,M N4Q; > N,[!/4 %  N 7¡ ©

¦

I8EV‚'La£FHEV]^PƒT€LMFOF'_)¡a` `©¡ 



4/,=§ U¦©N/M ©,= /,/. RN *D4/ O N*¦©N/OD/ ON?§ /.4[!.9O§!§ § © /.

§N¨©?§,4Q;X% ©§!RN D2X!/4 ,<§33<§ ,¦© O9¦©N/M ©,= !.M[3,/.MN,M

¥

„?¢ §j'l¨ gh¦/_†‡ ˆ‰j'¦<Š< aj'T‹t   uŒ 0t,k42Ž4767%'$Mp/9A.A7

@

R[!=V%- =

T?3§D4T2U3!¡§N 9,$§, © §\3,/.MN,M &%- = T+ö,93,§T2

{f RTLMEVNVN P:_8+j'/_d ‘ ‘©¡ 

u¦> ; ;

’'¢¥€“•”?†–m— !˜4/>"7*'™š2% ,›"74Y%?9( pr4/"7AV":5:œ8ž •*?"/(+9$a$?,.4/5

W§22

032 4/576/285:9©$ žŸ!")(6r™š9©4:%u&7%œ)AV9<&/9™š2 48% ,V(+$¥2 4)v

&)-ž9©(,› x( 2%',V"74¡032 4/576/285 9$£¢€ŸC&r&r&)0¥¤# z¡a‘©¡M¦'`©§h¡a` ` ¨©©k†–ª£_

{¥_/¡a` ` ¨©

«¬

c?¢­n ghO £+_ˆ•©j'¦Cm¥gh®h©¯ ala_+‹°©j'¦uˆ‡  M_© 1op/9£;=9±r,.$9v¥¢ ¤

)

;=9©-ž" *M%="74Ž% p/9z²uA›5 " * ,h% pr™|,.(=032 4/576/285:9z&)( p/9©™š9f

E W'[©La£Ja{¥€D+LM¥U I:D P ´=µOG N E.Z£¶xG ´§·:\©]^U+]kEkG Ir_r¡ ¡ ©€¡Mª£_7 ¸/_/¡a` ` b©

³ ¬

êTÄ®h/¸8j'¸: l)Ä8j'/  ‰¯  lHj? a¦¥ +‰lO®h : T©

 P ? ? ?Gj4 ;-!.¦©§!?,<;§¦©#j

¨?¢­n®hO g +¨a¹7_ “ !˜™|-žA›9™Y948% ,.4/5 9+%'( 2:$£%u,k4¡&)( p/9©™š91

@

g›j'OM ª ªf©.¹®›jfÇ ê åtj'¦£Ä

¦©N  !6"4/, § ©§!RN 6

•

¥

k

†

Z[©La´1LfºSG O» F[©G£·r_ Š<¨ l¼ aj'g^_ m¥j'8j'¦j©_  ¸/_:d ‘ ‘ ‘©

¬

¦M¢­n®hO g +¨a¹7_ “ !²½wž9+%M%M9©*!Œ 0t-)2:*?$a9*1% p)*?"76/57p

@

>€6r4)('% ,›"74/2 A3-r*?":5 *?2 ™Ž™Ž,.4/5ž¾+ Cƒ¥U+Za]^EkZOU+N:B‰F^·LHZM]kFG~

LHZaN U €U ]^E.‚?L¥À/U IW+\UMW+LMF'_:Áž¨ lg›j'¦/_8“§lO ¯ ¨ /_:§¤_+j'/_:d ‘ ‘ d©

¿

b?¢­néOÄ7_:Å+ !op/9

XYU FHF£U+Z£[©\F£LM]k]^F'_r¡a` b ¨©

`?¢¥Ç) lO¦©¨ li€_8ˆ• u •sC  #"/('y89%=;!9>9*?94)( 91 {f RTLaE.NVN PCÈ

B‰FOF£GMZaEkU ]LaF'_ +j'/_8d ‘ ‘ ‘©

¡a‘?¢Ç) £É‡®hM_ÊË uÌf;!0Í;=9>9©*?9©4)( 9 2 476/2 A

@

d ‘‘ d©

 P R¦©N3 ;S4¦©/ §N¨©M ; .N 

¡ ¡£¢fŠ<Mm¥j'lÄ+_:© u;=9(6)*'$?,›±:9£>€6r4)('% ,›"74)$f":>§$œr™Îwx"7A.,.(

9Ï)-r*?9$M$M,V"74)$12 4)v% p/9©,.*=( "7™|-ž67%M2% ,›"74Žw7œË™š2:( pr,.4/9!Ѝ˜‡

¶xG ´f´f\I8EkZOU+]kEkG I8FGO~•].[©L•Bf¶)XÑ_:„©©€¡Mª£_/¡a` ¨ ‘©_8¸¸/)¡ab'’? :¡a` c©

¡ad?¢fÒ#Ó l!j'lOÔ:_­f u •*?":5 *?2 ™Ž™Ž,.4/5<Õt"7*'A.vÕÖ,.v)9£Õ°9w— ‡285 9$

,k4Ë&)( p/9©™š91 E W·:N U I<׉G ]^E.ZHLMF?_:„'’©¡ad+ªH_r¡a` ` `©

¬

¡a„?¢fÒ#Ó l!j'lOÔ:_­f ! •*?":5 *?2 ™Ž™Y2% ,V(ÕØÕØÕÙ2 67%'p/" * ,k4/5š6)$M,k4/5

&)( p/9©™š9<2 4)vË0–² 0 Ú/[©L‰ÛTN LM‚?LMI8].[ I8]^LM£I:U ]^E.G+I:U N#K

@

«

K£EkD+LÎK

¡’'¢1“§OOj'8j©_: !ÜCÝC˜£ŒÞ •*?":57*M2 ™Ž™š9*ßh$‰™š2 476/2 Aáà

&r6)-r-žAV9©™š9©4:%M2:*?œŸ!")(6r™š9©4:%?$# z¡a` b d©

¡ac?¢1â§Ã ®h  _7m§ u0–,›%M9©*?2%M9C-r*?":57*M2 ™Ž™Ž,k4/5£>á*?"7™ã&)( p/9©™š9

%M"Žo–9Œä !Ç)åtˆ#ˆÑ` „© ‘ c©_7À/UµOG €U ]G E.€L=D/ IM~£G+£´fU ]^Ekæa\L=D+LfNá

«

ƒ‡G N P ]LHZ[I8E.æM\©L_:`©¡ ¡ad b1Áxj'g›j'®hO aj'Ã

¡a¨?¢1 lOlOj'¨_:Š| !Ì1,›57AV"/"|6)$9©*ß $=™š2 476/2 A: u‘©¡a¨ `©_

קR B•JR¥GMZOæM\LaI:ZHG \©£]£_ è8lHj'©a _:Å# a _7¡a` `'’

« «

¡M¦M¢1® Oj'lHj'<_Å C&)0S2:o–9©Œé

 P ? ? ? ;S4Q; .N / ;7 O §§ ¦j



ON¨©,D! 43, L 43,LON ;Y "3