contification paper
Matthew Fluet
fluet@CS.Cornell.EDU
Tue, 13 Mar 2001 17:47:31 -0500 (EST)
This message is in MIME format. The first part should be readable text,
while the remaining parts are likely unreadable without MIME-aware tools.
Send mail to mime@docserver.cac.washington.edu for more info.
---559023410-126398554-984523651=:1886
Content-Type: TEXT/PLAIN; charset=US-ASCII
> > I just had time so far to move the dominator graph into figure 6. Take a look
> > at it. You have the token on all sections.
>
> I would like the token to work on section 6. While waiting, I will start on the
> abstract and conclusion.
Here you go. I just added the sentence on the dominator algorithm.
One edit that I was going to get to: we say we will make two notes about
the implementation, but then we only make one, because the mutual
recursion got moved.
---559023410-126398554-984523651=:1886
Content-Type: APPLICATION/octet-stream; name="01-icfp.add.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010313174731.1886M@hoho.cs.cornell.edu>
Content-Description:
H4sIAAKirjoAA+1aW2/bRhbOM3/FAJtubUCWL6lzMxaIm6abtHYbJN7tix46IkfS1OSQyxlaVhX1
t+93zgxvkpJ0sS0WC/A0iGNy5syZc/nOhT05PdLxrDhW94UqdaaMs2On7h/8kXRyenLy+KuvHpyA
njw+7/08OTk7fXL++MHJk7PzR+dneI51p189enz2QJz8oVJ8hCrrZCnEg1laKfeJdZ97/39KE6vi
9avW+Jt1xxM2UXRpRaJsXOqpSoQ2gtaXarbWxpV5UsVO52YzEqbKVJlXVsR5VuhUlVFeOJ3pXyUt
sEKWSigjpym4TFcCZ+RWm7lwCyWIlSzKPFZJVcoULIh3ejRL82WUz4QUeDkvZYbVOGO+4F20Ss90
zAcIcDB2lpcZ/zoW4o0T2kZYCGFzHG5yJ2xVFqUO50oHxn0mhbRWHFiIncIlXE7nRLFMUyFNurLa
HoqltHz6TJfWie4dhUwSXM7vEpMsdblZb8TLt+/FmyvcMXqvCqeyqSrF6bNnTyHizc4tWABtRVmB
naPrKiWKVMbKku5JnG3GQQRVjsRSuwUpU5V3ytAle+IRb2X9sVZF3XX+FbbGaZWwTIgJ40jthZzz
9hG8QCZHcZ6oSKXgasJjbVJNTEailNqqI5cf/VJlxZZBRiLN86LvEyNoNRF2UWpzK0oVfMn+Nom1
U+vLolDpdzp79mQzjqKbHOdnJFcpnWINF6XEBlhHuxVzmiqjZtpZAZehBX0JaEkkjYQd1ZZLuwVU
XsiCdajEQt7BJ7MiVRQDWCKFUcton6VM39a170PJCBtbzefKOu/weVVGRQnFG9coTiwXOl7QkVYV
srlY/6BGZJJ/W6ns3uQwUlQGe8j/+rdmOdnZA1tlo6m0WMi8ERUhQBPE/B0ez8o8w4uVsHKmwuma
3OYnr5moqxklIX9Q937d1nBRv92MRfSFeMPRov0lloQAMGwVmHodeE1SOJUqzkv/GChD8ZPPwGNW
Ge8w9c0IXBhbSKhacJKBH5AixtEXjOLP6UBVuogisLlPUES4Tgj7xHM31bY1ShWRM+r5wkHbS1km
Yw7oJOfYyMtWhMrpFBHqgeNKmbmsVHl0A4ubqLM8neclIjhDXMAdva8EJXJEXFfxwuj4liJCRBHs
kSkJSAsqwz0QECR+34HwJ2hTIPi8IxHAUNBG/smMjoeeWwdFBFhJiiF+CKx4kcny1nqIsXyZqiDj
PDv7PgIAMLBcIkA9orc7RhAemLFO1f1cUaLwv2bpSsbxhiEg8o/uUr3ccJ4g8EmgUNFBgmdnm4uw
dypLnHe0qNxmFPY6ZWxeenZhFRDReHZII7iRmR8VOUCPAdJYumF7dpxXxh0hxRQLu6F4ynLrUsTA
KpvmqY7Hk1meOwSLWvcOpHQQCbGE3fCEnO+7ShrxXW6V+LssYy3FO13k8KQDv2+JwHwhy1LeIqYQ
DYcjbO8KTPmlw+4beacTcR2/TCUyiKjZJFkc05MX8leqXoxyY9gY3DoK6N+p5quICxi/VqZciZfq
F2im5rqgZy+IcXnn+W0Cr1Ku4OuxYt1QFlpq9h+kdAc2AQdvFhpGuzQIllS8efntW/HW5+2MXO0l
vBJwuKPKljfJiBCYIyBSKL+jhhuF5P/26mVaTVslLJwrnh8fL5fLcQxtVoUyZow0cjxxDhGHFRtb
ZVofc327Obzw2JgCZxNwYaD78cuXMkvJkd9fX9FJ750qoAegnbq1FwAZgli4Q9IElGUz5wtS5DtV
FKvxpnFqpIFaRS2EISWpdFZ77612jRavr46+104c/FOVlkL10WFw+Zt85tQrd5k+e9q4/QKCqmav
eC2vr5SLSGxO5Yhd/N3Rbkd9lyYpARXiXW4t8HPe6rAMT14UUKDRR3Y6ThTZnbGsG/iUaMKVEo4c
da/iytWJRDw9ORHXr38FtDuVirdwDF1l4s2bNx4zzs4fi+uvCU0y5PFy5asVqs9QC8aojGrs7amy
9WZS26hJmF1ZchNJ8eTRo0+dfn561judwApB2bkf4bm8kyj8KIuwb0zQBsGT1uRgFvk7Rt0DtKfI
OL6+IvlQmHztq8uAnHVFi9+q1Fci2Cg6FTWnu0zeAoyXORWlyMdymleuxvBOLoKU31KZOaJakJPY
bg0yirpJnOAOMKuolkg8rHMW80kL/A5uqNbBH6NQU1qJ4HV5RLqEKUWMnAhUIQB22qK4CqXDktIa
V9DIEXnpBJUdIxQ4lGi9KzeZeTcv+wIoIzWBGyWkTl1xCEv0ewZcLCFXziirBIsf6BnVJIedtI4E
ZD3nnZop2mkG+NbIliZcyEFj6XZaJN0hTBxVHZCTfBMglFcplZYCEuRoAnrSM2IF5SVit6GIuOgQ
4nW+VHehulxqWMQq1SvK6iamEYR0LSOr54bfUi2u4IBwjDmn5D0XgDNOnJx+rYCfNprYDKZHeqMi
oiT8RSXmUhQfbrGmdXGeourcrE/G551fo8mU9q/xpEIPtFl/iD98KF+sjzdp928AyA796cs+QLoF
1RpRSCviryi9EWcawleZWT/erOMPm/UPMNHmI+9eQil41zlx7ypY5WMcvkFeFJNJLUr9Qxs4wTom
S0BMZZJGhWyVVyaxYEvm8qZ+34QY2HozHvnNEYpj2kJVc+8Nu8+cS7M2PtGdUTCy98Ut/zGVhyFY
e4Wz4GKN/kGZgxCCgaVBwoutOtsvT3L8RT5Zt4iyQG94rxFgCjEB7D9pGaO9QGikeloSvHDHyL7e
tEkAy5m+p3o4D7W5tyci5ZVHOVI4nb5XD2gZ86Xt4KyveWmF3q4/fZaRAul7BjWZEHHmY4MD4RvM
+aqRRSFcfUsQOc4NXqtWTFRWIJT+shfwjkXvBTA13HET1Vhed6nc4+8CeyjU/Skc7nDaXbhAIv9i
DxocctNMjX6Ti0hrDDojNjtVuLUM3XI9AGoq8bpECZlE2x1F3XZ6nOp1X+2NCcJjV7dkPEfJS4hS
5CYhK3UayxvCWZnavBVx+8ApdfirqN40QidKPW8XH+v2x5eiXiP7kpJmYO+43GXqFjxUyrnU64+t
eCyhtmKiZXagxvNxOwOh+rvjBPXUioV1XuMLmc4+mjBp1mXQye+w8AMFKiNiZBo2QLSn0WxafJ9t
W8acd5X2F/Q259tGndLghnv4HGmDxnghsrj53G66kJQVJ/O9Qqy0ShPbGdpxBfaslQbmDOUO9djR
ZzY+6W7kSUcb9CRBrXvUJFXJoHiBNfUe8XBC/3zoTQSFMs9Of+/PhnNSmieEo1S/vXb3lriDiiUq
kFa6qLWa7p4bU+lNDykG0Tlj5wpBECafQXhCAXh/mnSz+L4kvic9x/zfnuRIyY5+QC78QOL6WNoq
P5G21u+qgDQlxQTSVZgd7ElXvTdtuuo+7uQuKm9D/tkartUgzCxCFusAYc1Q+HTAbTy/Pei+gDUB
6jR44aGsX8G1AcBRiB968+ARgcJ/Dpb9aq9x4DhVshS2UECPAmf9aNqQAwIYRLCm8TQE6M6jGy1o
r4ZP+B+X8FQjpku5QkeqXFO29lXJPPZEfrcp+GlBaaMt8nnMRyNAOC6P6lNpAh6SMnhcmmgLx0bL
HXsr2coSOHn09peDLBKeNQtTKW717pDa/VTKP9gzxOaCP0G9nOYFGnXJSYhwsR4N7JuZ92f2W0k9
8lYlNXNjtxP+frrJKahU/IaWkKdyM4Z+DTWM9JiFGOE2dWuu+fwSRmqgcckVPA/m/LZ9QPnzzzN5
l5f2yy+3R76uN3REXkDzsGVXQEyDPN1PCf1BJbnYAnnastGiqZZb6Nuuq0u8+tMJe4J3ZB8L9NGg
LqP89wi4HNm2cdPdBBoqmQtiUXdAdJFf4CpVqRpvQbiFNqvIrdVUNcCSPIhnxrV7YIV3zphGwhw3
OXfYEKbSPLb0SdIrjsDU0vet68rRTArGrfykJUysvPv1Pnk9bxZtot0PNFvVovbtX0qv22aUPb6x
PLhx4Vn39nKP/zf1NUwCZfetjytOFXpBakakUcjOKLkTFcPfcWbGV8OTIDfihorXd7UfB7f9VIO8
f2Lf2/G8v2OD0/5Vae9YkE25fiHzcLIWiBHi9i0eisnFh8mFmFwezA7F30QqJpuH/lrNPbbuF1ya
PjRtzeX7I5ItPXJzjcycZypCFQE/InljisrwmYdEpZtJNMmC27uiW7d2m/WQ4aNeXHl5g0goPOkO
hr/y1Jje9eAEjY5RjY2ixkZbJobjEBP+ZmcUR5SmGOaIqvPkPQ/kOelYnQAR2Ndy8hj+iBfy/qyU
c9LP89+aaoHGVrjSFKehAcFlYZwDtkTQhrgVB/f0YDwekw/g1/kplhwS3PEG/jUsmJ/Rv/Ev/+as
8+a0fuNrif7BX+eu8+m2RapkJ8HR4IcRAfCBGh/+dHlQj+PmpxscF3WfnNETcfuQsMvAFpIhunHZ
uiusNQPL/A7d0IyA9BNmBdtq6j7er5zugr06wtuurul3xbXMruqWnZxGfvZn3QDL901jPnuPPbSj
jN99V06hHeP6eSV/SQ2R0fEF2PwfBmpxleFhxMinujqcQiKz1QxQ5m0fsHDFs1HgAUPLLoxGHLy6
hoVeCC4pexrOkIFXRyJfkHbF98mmDVXqqBpvHH/GktNgytaSOxHbeZwGQ7YR3H151r48C2aAcHom
piShod0qRRmMhZH4Q2P/CvYIIxsUU5TISaRYlaZTJe3De4/s3VEoZ787mVaqN2vvfTENWB83X5ip
HPNjKM4FVDPMqu4nALiIdkoc+AkXWen0afORWna/FUTtIByHkbMe1oUAf5D4ZNvYjE4iKurE6emI
Zmdt5qQTVNIdqoz83PnJU9KIr46zylKjGoWgIATlNWfn7Zrgn1PVDiTgKP/r/9tooIEGGmiggQYa
aKCBBhpooIEGGmiggQYaaKCBBhpooIEGGmiggQYaaKCBBhpooIEGGmig/5b+DYA0BW4AUAAA
---559023410-126398554-984523651=:1886--