contification paper: benchmarks
Matthew Fluet
fluet@CS.Cornell.EDU
Mon, 12 Mar 2001 14:48:37 -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-984426517=:23339
Content-Type: TEXT/PLAIN; charset=US-ASCII
> > Let me finish up what I'm working on, which doesn't go that route, but we
> > can edit it.
>
> Fine.
Here is where I currently stand with the description of the contification
transformation. It still needs a little more explaination, and at least a
sentence or two justifying correctness, but I think the groundwork is
laid. I'm going to switch over to doing some regular editing on sections
1 - 3, and we can discuss how best to work out the transformation section.
---559023410-126398554-984426517=:23339
Content-Type: APPLICATION/octet-stream; name="01-icfp.add.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010312144837.23339J@hoho.cs.cornell.edu>
Content-Description:
H4sIAD8mrToAA+08a3PbNrb9jF+BTtjW7lW8tpMmM+nNzjhJ0+1tNptJdLcfzIxLS6BEmyJVPiLr
ctnffs8DAAGSst1O53b2jpiZWCIPgIPzfoA6PnmYzOL1X2Z5ViVxMouqJM+OKnXz2R93HZ8cHz95
/PizY7iePvnG+3t8/Pj49MnTz46fnn7z6PT0EcAC/OMnp08+k8d/IA47r7qsokLKz+K0VtUtcHc9
/ze9wlLNmpcu89vGk4VWiB8yWS2TUgIo3pnIjZLrQpUqq+CBktUml7N8tc4zuFPKPJbeDM9klEXp
toQZomwuqiLKyjgvVixqUp5lHUC5VjMYqEq5WUaVhDt6KjWf4Gi4rQoFg6ZL1ZtJFmpTJBUMRZzW
Rb4oopW8jEo1l3lGN80yOD6XZbJap0m8xUdC7yeyG4wuS5h/xjt8+e6D/OENIVAos/WoW2QrE9j4
LEpTCTfWyyNxZh8G7+RzeRCuogQmDt/CdqIkhU9T+HMY4P4AIyZbJBFKxnWmCQ036rRKSlUJeJzx
WFqnZHJ0ADi+e4pk9eD9dQTeUsWEHill5iJaZ7VljNwxnIcVPIrnQp68Rlak6Zbot4w+KaJdnKdp
vkmyxZEIL9UiyZp5Uq7TaAtsW7bmXlQU0bZtilk6S1sh5ZcSry8twV4iEl8+hxuvgToynBV5WZov
oTtgehd0laxASMI30aVKcew7HAVkh//faZ4Nhgo5doW4Bdh+8649sOuGk0M96h6DnN3BOBGqbK5J
wZ89Ur3Yytkyz0ugpaxyOVdxkjGNZ0BjVk7pyAmypxMJGZXCCAtITwFTAgurZQTqh7qNN4FvhWIZ
jJJqGdcpLpTXhURdUSujISRsoDWsUEBNGLFZJrOlWaogDZypErWP1EMVeuQnWtVq6JH44icFKFdK
fFGhzjNjmpbQJybgZ5gQaHGVJ6B4iCs9Bd0XIHRSRbBycE1c5OHBBNcolECjI+ss+aVWMogZAucM
ZFnDIFoxuA7Q0szVLIV15rgZRPAyn29xo0EcfIuUIesiBZlCHAJUC8JXanYQHwa8C80RuvtMhqDH
r3KkZsNItQ0t3dJQXGEVrWVc5CtP8UokORL3C2MHHPLC/S0TQyN7JLp1mapqjnZXiXB1md80Qfge
qeNjQ1g04Ys8T9ugdSnB0LgjmcRE4zxLgX2xIHJKIucaRIesPPGaNkDmDfgEqAO5EN/gHRBFhCX6
lzNtd3uu5Zmxx61wfQCtYUnTEQHmtka5UFVdZHKN8lDe07DArWKZd8r+nud4LsMm/O+MrBg4Gfh4
neWbLGx/DWf1+ldmnf5szE14xraGJzLbw6mGVOZl2qM7lHvqmkpQ28sU+VrOiuRSuzTYKowC+Vyp
KEMgMsVBeHaAq84OQeZBIeAGfhOIGwn6EeD7RRgnixdID/jIdIEbdaFa+D4DrVYFTIifozUSuwlT
UkKz5IVesp3uwsPhX3jWtJb8sJEaBBU4D/RHXFG09AWkI4ME1qteZc0JALWNWYnIvExBroXljhlG
IlbKTKEt0Y/mNW5Bqk9RWlsbFYTaygQ4nW8h9DxRuom2pRYoEjJXGUnRcejCNR07hxphlcGChhlh
ki7mDjxtHwwrLvMV2bS/IAcX+AWHo5QYCgJ38GvHN/j0Hdy4N0uG3BTibQ5xTJpKa8hTFc0RM4hw
ygRlEPCZ5UWhMBLy4i2MMT7k5DNg4iKf1zOFVgJtuSZ/qFbrZVNGsaq27USbMFJvoPE8YbDMw7Ss
YzAPCYWWuVjUEaxZKUVDxrDodB9tYMIRq5ZeuPUMF/fNC9ICkeiQa0lvojsiNmEiNjSMQDJ2gY7O
LvN0btEBV7FK/geWDvHTeQi4fICl3n/E4UGYqUVnaslXgYyweqAVMQIPJtQf//ePrPCIm4YkARsA
vv3ImwJEvbBRBgfxRC4m8vqQJVpvL5hQFBUuy3U0U183J2rV9tCUZFzODhZ6ZHPtWssBBtMOg8Hy
eobp71wYpiBS9ddH/egITybWkYozEEwMeUBp2cUm2bXhIssoigX5waSSIP+gZ/q7mzwIDIVV8QnE
75MC3xitQW5uEhBHbafBP9VRKosawggINeWlglg4wSBKL6blbKIDDYG6pkhljXtDTS3AlXO0Bc4H
dgVZWl3mFf//9GkL6vfSalFjBawVQHUIvCDoKZCA5Eg8J3qJgUdxDdbCylljtXOTYLAf1SVvpp9j
wXAIEHMO7Vfsod1gbhSnv5OCAU6Cgx4nxRngQ9zs0AEafKKkEjhCi10qdFQ2KRxf8K1ZkINjyk/Y
W3opEW0GbbHgiMu3/JpZBAkCCFh26I0vO/X26S47sqY0a+pMzOZLZbTqYRI5EwLkABmdoZvYfa60
pIE0r6M1DsHoFRk7L/I182tZQGIsf/65b/mCr74SROhOczjWhlE5zE+ZZbalnN86DcwLALALne0e
1E0laOVLxSkkIAdgdmTuwHcy5MdCIIuYiED6sYpEWWk9i9hxoeI63otyOnZoOnTF6cdVAchqFcDa
bVrFehD49oyGXiRxfJGpXwx8K36IrSeJXCySUptzP5aOjXUH0/aL8Aw82imzLCMBlMjjVhwE4RsV
VxAy5pvgkKiC6lCUmAsVOt9jOpkw3FgBkgoY/z5ZLM0EYpojjW1aXmyiYt7NRFKCedhIKoCFEk11
nQioG6oG3CMZAH7+pLNBygUFSGg9M74fUUlVtuBJSDRhwiPwCCLA2Pw4eCZN/WkGIjvBLO45L4FT
f0iymbKcQD5MPD/K3nGC61pzRPr7NwUDJy5XPLfL6/91ZH1v/35c2CVSLpDoiBRkD0+CXaSCkBGl
NjgA7xwPHbRAL0jPXO8JO3mx1emBIetyu0ZPh6IojN/s7U9KkN9dK1kBZtJA0tD39ZjSW2OL1vpS
kc/wGOEucigch9+fHjz6gjz64nDnKlNYRexY5Q5WkoJplRJnabXM68UShX0Ggaf1b245z9QMIzB0
Q9UGxkLmLVa9p1izTIDNEfyZg6ZG2YKsf10laVJtuT4GIhFhJWXix47gZpNPSZR6STDtbjy1PUN4
knGwVGAiwqaX7lK2a9MmTLSwGAChZyu92MpPUgwcxUmbpDRRlElaC7QmRzuS116kYInIyALDYmA+
BSBzdB1bjL8gUemqUCpNVkmGpYs5JiGzfE4iBGaiQJeGnqoarsMBBPuIiQ7UOjKu6rIS5Fp70qGj
Zis8G2KqXEHuApGd0jlQVIBCk4vs5hRUgu7mgwzKsTQMDQujdLi+Rq7zkjIq8m8JZ1oQpZUYfNgE
ijbQuV6OHjhTWUUYZKZtV8W+I/UxA8SZL8S9DMjOC9JhAnZfrMMXXI0T+Kjbk1dOQ/V7MSCwdByQ
9P2fTVv6YTowHJsShYobg8Gzs3m+arswhr0YWAcMKapCmz0yvGYHWpfLvrvSu/UpQrVu88SSKUN/
hexF+eIK4sOHUvhJn7EZcREtMAyS5RK98Wa5tewBj30JsrqCyBxSgnglD9A3HR0dyR/lQQzfDvEL
P+yeLfCjub+w95le3ZSvSSsw0jNJRZerIOvOICwztdQzCNrgM8gHcAOl3bMwXAYaKdz8C/61Xi37
Szuv/sITc3m7K9tg9FdVTbxqEcjGq/4XHmFAW5pPf/ux9b84gAsPMPYBe3UT+mZ29wIMzihVSPut
CMy5AqwyEExqevQSobKzb1R8tkKzyet0jhJTgjGD5W0NdOqN71dC/dnBT01NOmJA+naPMjS7bIA6
TXVlHQ8eidedolJF0Kt426Lh0IAhITjHm3f5HTaYsAVV5eC8IO3tzACZs7xU7Pycid0yhjQ5gDux
8BPH8VmshZFYgbW1Oyen4EQQTKhgX+JjBiGt2lgtXUZkipGlTkpMCxsiIQKivw3rLV56hXokVYLF
AHQYLu17RSDJpREKhxae0dSRUCNjd6ff/iv8VpogFga0zBW7WVDGiIxZjZUGSHIghK+LMvnEjNLd
hTgpyko3Clhm+o2NhSnaEGbD/sldqF3/ZtSwMUA9k+vDYDeeUVxxkwhmc+8jztfAhl6lZyz8oHa1
LmHCOmkOtlqv5xh4rB/Pc1CkMl8pDkjS5FpJYVMIE5RzGP1cxoGtlJCmU8JPZV0ORFyBNCG9wL9j
jyk5QuSxTwYPIvJbgPKK9YAUNvJbI04ORqnnzz/PtrNUffUVK6vGBFe8jGbXpiFTLQuKetFM+AFI
lYtbo49MhwkRLpPMWicWJjPZ5ZSYkZNLEV4rh4vkevhdMYte5JaCrUEjiWXPtZcKXDRmg0F6cTxB
ZzmR6UXGCYzu9pINGfT/AB5YC7CBaStSDBEcS4iuf5GJ/E8JOaRQCRmYg5NDHJK4mZ+REbh9SFM1
yX+ctFS5PDjtwIWxXwyPitAb0TsPYbcdOftOKmxrot22RO0HUaQS12pr+EM9JdyrKXTqjF5Pm5ja
J2Qsl7q4yUrEbM22Yl0X65wMHckbym+v7kHBNgv5CoJd9I7xeOllIliFIFbS3nJYkHSTv/eYYqLq
FNE8gSloM66kCj6VgIhxuYEMQQrWgYMjwKHMqTGiTaDTaeO6FvppHfjwDSuWoDoraiNcANEuDB/u
rv/Ypx6Tutm9Us+Heo0kwzoF1af1GRq9XyzODMoKf4iYc+f8z5HzroKKQ90ak+7dd/t0cfBHnvRG
dpuyqNj8RKM9rIX8jc2GzooRiCtGb7Aq92uIqcjuSuDEhIsjVTGxo9QDS2B3/HWNw1YgEP2y0gjZ
byu1CTOpd6rh4or3arlkieOVwYODxcXVRCwumiuAmkgY1ysImUIdIUAsXYzNLWju/sRST+xWrdwJ
gQ6gsJg2dbHpglAY4N7LPwHKzCQItVE60/GT+5QcRXClC479iiPu1tQcu3AAcXQDZ7/EuKMmRqv8
dWyVXl0RiPYQ992vKbIYoMELrm4rJprxuqTIX5EZV8hh+qZrex2Xix6kV2gUgqt5O2caLSCaWbCE
aEb+jkLii62IyrJerdkYBnouX0b8UuBQhsa24HUih2hjaVJDC7rN2721THnfPSzG9oD8Ii/glXSF
U9LV+Bm634MAwiHAdFmXPVPojHYbBk7vQQg97bhP0z5sOggeveAiSsvc9HKAsDX2qcoKtmvcuZfu
Do+Jfg85xDDmEIgSVYb0IahIdzQgmqCjmDL4nrr5b/M5buC7+UJB6kE1vHueRwRnT6PllzBRd24I
qxE4m7ndHOieNBa5KE3yEic+TsRnFblsIvUoToe4DE/j3EQMBt59cAgjCnZT48GKtOcotJcMvqcD
NJhaMIjgY6tokuJoVk0sBNpdVdLpUnUDT1Ju/VUFzDWRwHhKfSvhRm5UVukqPDB+jS0m7JZjmGWO
IpWG1ngKBitGX8P2LNsbsGbXSh/IbMJ5XsFKVFQfP1YJFw8BcgNFG0rf8VBR24SfoiIr+aO6WdPN
9jfNknWzZHYW+LR7moaMcYtFKymeC38z2KO9oVzZH6Fr9AHIkRuoaP+yYylts9S6TCDLDXZAqZRq
HMOtJbeQYrAnJsFvGrIGsUxufsdq3RSXedW2QX8kzIVHxrLefU14VhRXsoayZlBb8EE9CPcvaC3L
sDeqGmEWCwho532oeCfNRijkoOKOGtlwE26i9Jrk0RtFxonEiZsVeoDPf71twK9kkW7Z7pgjcxM7
qlOmSZiCJpYTqxdgn+gEJZ18dOpDXfVsweaPeqp4cfw0KogOsbSOJW0PqRHGnvdsNp0g14SxXMQP
/4xSWu8TlrVDOv6v9Eoe0dmii/sN3s2AAQ6jat+XJ5hjNy0GMrRDCXBS2pXQX2BWb1v/JIQ+x3/O
QI+O59XHJnWnHcH/Hqhb+nSi7e/DbqHzjTtXG6HgmDZe3WaXGbdbQXyNvNJoMwe8YfAMcf+vC5TT
sT25G+q8uKvUfQEyyuscjH0EcUjbjCu0RfJioJxXFxoxUlGz5G2qqjdJVd07tPWqY/OVldCrgbby
ZniLVxD68ha10Wmbh1ooIYwbPHVGJjEEOdl34MKM/hGmJ5Yxp60/2X0GOPObVzB4cx16vjXovPOw
NdAxX7vj8SkdOO2QedsezL0w8xT6fpjpFbPulRN/Vp40uOdOXCzvmLJjzW+l4r1xvR81+eTdOHu9
Z7eMcQk/LrNutP5R6GPaZXNXR69tBk1AHEtRvf/AvHxXmoNc2LP0My8sidzaPsRyCr7VZvrklPw5
wbe+DySOk7SCTA0SNn2aBE1C18fo6jG2WWibhAipXwMS3flEfn1ppI8Y7IzIAsFP9IlO/bqb28LD
KnXR76/QPFgi0m/U2P3hQTTTBGMgWn7Ulwcd6TBjEvAYyF+O9NOiEbLQm0OQr83qsqRqj7BHX2E0
lv6Ac1Qyo7Y8F8O6U3h+mbuUC0qC0cTuEA0kwkalqeB0mF6YzHZVqnX3aaRXx1WlKheGJ6buhSQK
+Cx+uc65AQQ44KlEk8djbuhnhiYTRJ58b3peTuuBaOfn9f3j14ODyKrgw0J8OjVz3r1wXxq1RMYT
RiLPZlSB28XotSqYzZXunpSVWhsu31aeeIavhabRDEmg34CjV0X5RQ/q5aGtKHuv5Al64p/PJ37R
mfJ1kcD+9Ck6i6b206ZYhaRxJbLkE9LSFXVq1ejTuFz5wOPUuvnCgKogc1HkqRw7C03LB99KezBs
0sMI/nCr08yCZ+sulZ2d++OXCqsJR9ydKupU6Rcv/NcXIbaG4CfKVF6XPhpOLxhoBzwsu9cJQQmx
CWBObft9+myu+/Sl9M5liRHDATfyTI1ONJEzEKOFW7CiA87ECENw89RYBUd2HLswJEJXN5+rNfgQ
ezjacE6//ky9GRiB/T8y83zO3JV6lhnnELqnEgfJkTqaOIcshFdoaNrgsBMuBy3qo6GU8yudEYm0
eVlxZIcjSFDPsnuhG1+z4F4TewY8KtutB3scLOnqykQTio4RZhYLIBU2URf09g4YX2yfRiW3AqPK
aDMFDCBNNciyGA0c2F7SHqmgRW3YDCMGB0lb7BXm/Ihuo/JJdCPed3Pf68hQdrk1Wy/1C9f4igDu
1ZnQMF8fPEVkYe9vSTLwVdquKu0bVHoHyeIbCXd1fNlKtzjsESG3DuVUyU0ER61StOuvwSTTC+CR
ecthXGg2RrqMChXql5r60dZi3GKHgHp/9s8m/L+5jvXvf6wifGX9iH7l4g/++Y87fv/j+MnpySP+
/Y+Tp0+PHz3F3/94fHKy//2P/4sLdHszy1crUHnINvN53p6ffGwaOkx5Gcvm/PzBycePWPZAL7HR
xxfsMYZmas8zOE/5bZZz/fVj80a/3eKAQAQJTj8qtg7YS3uPFwPr5R5qaV65B1w8xCEhILxDtnLY
GOEtlLPmwYnF3sK/UmjnXWDzowyvENiDpbfksQGBHupttFIN3elB0dGBHXO+HyJANWoPOr7QDYAQ
zN1WhmUsV+0AGef3Inyc9IM+/HQUeDoCaSYgYjZvxybSz6b9Z7qv4a9hbvZ3rt1IO8KruDEP+yvY
wxY7RumnQ6bQq/ceXvpeH63uJwpcYHu3N7H94YKB0Bmes9T5S7TdwOZs8BSCTg/ggrYHufjITNUm
H4c9HYqvC/hisG/72qi/jaisLk76U9nXOYewpztg347APtoBOx2BfTxkFL5N4m++Mbuf4qOhsv2j
xqPf3uR8qx2B62NMNy/CHfpFT/uI6yFjWvZDlvVR4VtjcH1U6OZOVOhpHxU9ZAyVsxnbhTFCkskY
EvIMg7FdQ/DRcMj7PK/GtZaeDK3QXBkThB97j7Hfrh/Tx5HHfemcR4uhJCPgjyOAAzFGwL5uIOBA
hhGwT3wEfDwG2GcsAn4zsKqQlmY92q35Xp+TGSQJVc5tvA44srf78Pg2zTgXX+WrESZW0SV37LFm
at4OSdXX/YkNnA82AoUF0fb8FGyn+cERsJf4AML75sFpa17gGF8DRt9v8MhYLNaS0daHOxHs2YOB
gMD9QsUEOUUQfbqigxYYQ+Av8EyBcB+24LlTGFVVSYoC/I/pSducnD4ZWNvuFAPt4MFJKLlpE0rA
3AfWza72/DGiq+LqAMDpFbzDC9infC4fPNKj5YOBnJUgBJA5zWgP5+Hn5/LBifwYfv6xv1NTt9jt
y6atnW3Mr3GBkDkyNvxdC4hPHpwe9gdiBWf3sJ/8VQ9GJsCmk0b7Zn3RDNlIvSqGwI9jIFxqXozc
1QMXOwZiH8mK0hgAdccYwhxN55tjRMT7BHszNpVp2TK1+m3b/nV7G3cAjS9aQshetSGKiNeEHYcF
BUdxvQ8oqOKta7s90T87Fdpf+2t/7a/9tb/21/7aX/trf+2v/bW/9tf+2l/7a3/tr/21v/bX/tpf
+2t/7a/9tb/21/7aX/trf+2vf6vrfwFN9gwpAHgAAA==
---559023410-126398554-984426517=:23339--