Checking Linked Data Structures* Nancy M. Amato ...


      "! #$&%('*),+.-/102$&35476 +98:'A@1-B4DCE8GF HI?IKJML?NPORQSUT5L1VXWYNZT[ORWMT\]Q^DIKJMQSUIKJ`_?a?bAOXNPcKT[J`d`NPSG_eIfEgGhPhPNPOXIKNPdiaRjikKlKmonqpXrsQ

o

l

&

{l

r

3p

r

.

r

x

l Oo

zl

.r

f

r

o

l

&

l Ko

-$

r

r



&

'o

sl f

)>

&

o

3f

o

>

o

>

tm

l ,o

k

}

l

r

r

o

l

6m

sl

@

l

o

k

o

h
j

lEo

l

$ r

l

$

l o

&

o



'r

$

l Ko l

r

l Oo

1h
j

o

:1

l Oo

k

l

o

~d

u

r

l ~o

h
j

m

f

o

8l ~oo

k

.o

l Ho

r

8l Ho >

8l o

l Bo

!" # N&äìëKå—è­é:í.GK&%$ & NXêèRD·è`í…èGK&%$ ** + ++ 4 1 /  0 5  2 6  4 1/  05  26 44 /105  26  4 1 /  0 5 2 < 1 / . 9  5 % ;  2 6  4 />0?5  29.5 ;82/1=.5 # 26 4 /1/10055  2266 ; 44 />/>0?0?55  29.9.55;8;822/1/1=.=.55 ## 2266 4 /104 5 /1 02 9.2;%9.2
 V \}5
$8o^ R…QW†\=   = ( MO H  &'D? i ™ * F  QQ F  Gy[ }]  H " F  F'I w ,Q O "% M  I  H F $ G ) F+*, M 3 MO , #" F  (  ) O " 6 I F M "%œ O & " F M  O   Ž.10&'02AF0 E+@ \%5 [Z#5 ;Y'[Z o U WV 9\Z1= XFX  Y  uC&'E?BC>FE = ['*  6  &)&1 @ q [ O  O  2“ dZ>Yu<  5 }zD… }5
~ ZRY^Z7$8w€5 V
 3 
H\!5  “ Y < Ygž5
6~ ZR9'U Z } G[G  O  q # , P = cw FHG  Q = o\ = &?AEFA  &'>? i i F  M F  G ] jc F  (  F  G " F Ÿ  eP M %1 Q " O H *  M G F M F  M " * ( M * "$w F p M " O G *( M  O  ‰.10200‚3 \%5 [Z#5 ;Y'[Z o U WV 9\Z1= X A  >  & Y &1B &'Š X = ‘  H " * F "$P &?AAFD  & X [ h F O " F  G o^ h F O " e 6I F,u,  H  F  & " O H F+H  ,  M Pd & F'( R r‡¡ (  M ( O   M " *( M  O   F  G F+&&,  ( F M  O  ' 6 . …s† š  V \$n }5
o U WV 9YUZ>  @  uE X EBEC Y =  * QF*  M &'AFA X  &@+ ˜o^ h F O " F  G o^ E *  Q A F"$ F?, O 1 - F P\ F $ ) *  (  M  O  F  G M   " ( P & MO Q " F+&  6 ( F+&&,  d( F M  O 3 – x% 5\ 1zn YU)< Z%$D 8  s|)„ Z>‡W… ‡†K6~FU )Z>Y V U  \1~ $W8  Ubn WV ;Yg $D . 9\–5 ;Y'}5
6~FU )Z>Y V U v€5 V
Mn 3 
\%5 C8 ^ sU „WV””M¥ n YU X B@ X & = &?AAD  &'E? B Fe *,u,  F  F  G B Fo F $ O Ÿ Ow" M u¤ ( F M  O  M " F  ,  9) O " G F M F  M " *( M * "$# £x! 5\ H1z YUZK< Z $8  _|)„ Z> . 9\}5 9Y}5
3 s>'@DB >+6@Z~FŠ U = &')AZ>AY &V U ¦€g5 V
Mn 
\%5 5 U WV ;YgUs> n 3 )ZRY V U ^€g5 V
Mn 
\%5 5 U WV ;Yg( B&'$>'O @"C .1e0 00m 3 \%5 "fIZ&?5 AA9DY [Z o U WV Mn \Z1=   = & M I]H  C po^ @ ,* I =q sr; F  = J B  ItI  ,u, = eg i F   F  = F  G o^ h F O " vOw (1S  Q M  ( O "$"$ ( M  $ O') I  I O "%# yx%  \ z YU)< Z4$8 ^ _{I| }zy6~U )ZRY V U ,^ \€  V }z5n 9YIZ $W 8  U WV 9H\6 YU?= & F+Q #sADBAFA = &?AA&  Y po^ @ ,*I F  G eg i F  F  ‚ƒ#% Q  Qd& " O Q " F+I  M  F M (  (1S M 1" 5- 3 O " S x%  \ z YU)< Z $58 ^ 2|‰)„ E Z>Y BW… A‡Š †ˆ&'AF6E~FAUb n )Z>Y V U   \ ~ $W 8  U WV 9YUZ