contification paper

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 12 Mar 2001 19:41:22 -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-1841205112-984444082=:23339
Content-Type: TEXT/PLAIN; charset=US-ASCII


Here's an updated ctime.tex with line numbers for the benchmarks.
I've got the executables for kit and mlton and I'll get their running
times tonight.  Compile time of mlyacc as the running time for mlton?


On Mon, 12 Mar 2001, Matthew Fluet wrote: 

> 
> Here are my updates to Sections 1 - 3.  grep for %fluet for my changes.  I
> reworked the last paragraph of the introduction, but I don't know if it
> down plays the dominator analysis too much.  I included the tightverbatim
> stuff, so add \usepackage{verbatim} to main.tex.  The updated
> macros.fluet.tex include the changes to \A{call,cont,dom}. 
> 
> 


---559023410-1841205112-984444082=:23339
Content-Type: TEXT/PLAIN; charset=US-ASCII; name="ctime.tex"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010312194122.23339W@hoho.cs.cornell.edu>
Content-Description: 

YmFybmVzLWh1dCYwJjExOCYwJjk2JjAmNDMmNjcmMTE4JjYmNDkmMCY3JjY0JjExOCY2JjUyJjAm
MTAmNzImMTE4JjUmNDQmMCY5XFwNCjEyNjIgbGluZXMmXG11bHRpY29sdW1uezZ9e2N8fXswLjA4
XGVtcGh7c30gOiAoMS42NlwlKX0mXG11bHRpY29sdW1uezZ9e2N8fXswLjEwXGVtcGh7c30gOiAo
Mi4yMFwlKX0mXG11bHRpY29sdW1uezZ9e2N8fXswLjExXGVtcGh7c30gOiAoMi40M1wlKX0mXG11
bHRpY29sdW1uezZ9e2N8fXswLjA2XGVtcGh7c30gOiAoMS4yOFwlKX1cXA0KXGhsaW5lDQpjb3Vu
dC1ncmFwaHMmMCYxMDImMCY4MiYwJjQ4JjYxJjEwMiY3JjQxJjAmMTEmNjImMTAyJjgmNDAmMCYx
MCY2OSYxMDImNiYzMyYwJjlcXA0KNTM4IGxpbmVzJlxtdWx0aWNvbHVtbns2fXtjfH17MC4wOFxl
bXBoe3N9IDogKDIuMjZcJSl9JlxtdWx0aWNvbHVtbns2fXtjfH17MC4wOFxlbXBoe3N9IDogKDIu
NzBcJSl9JlxtdWx0aWNvbHVtbns2fXtjfH17MC4wOFxlbXBoe3N9IDogKDIuNzVcJSl9JlxtdWx0
aWNvbHVtbns2fXtjfH17MC4wNVxlbXBoe3N9IDogKDEuNzdcJSl9XFwNClxobGluZQ0KaGFtbGV0
JjAmMTY4OSYwJjE2MjUmMCY5NDMmMzg0JjE2ODkmMTQmMTI3MyYyJjY0OCYzNzAmMTY4OSYxMyYx
Mjg3JjAmNzAyJjY1MyYxNjg5JjEyJjEwMDQmMCY1NzhcXA0KMjI4OTUgbGluZXMmXG11bHRpY29s
dW1uezZ9e2N8fXsyLjk5XGVtcGh7c30gOiAoMi42N1wlKX0mXG11bHRpY29sdW1uezZ9e2N8fXsy
LjYxXGVtcGh7c30gOiAoMi40M1wlKX0mXG11bHRpY29sdW1uezZ9e2N8fXsyLjg3XGVtcGh7c30g
OiAoMi43NVwlKX0mXG11bHRpY29sdW1uezZ9e2N8fXsyLjU0XGVtcGh7c30gOiAoMi40NVwlKX1c
XA0KXGhsaW5lDQpraXQmMCY3MzgxJjAmNzE5MiYwJjMwODMmMjc3NiY3MzgxJjY5JjQ1MjcmMiYx
NjkxJjI1NzAmNzM4MSY1NCY0NzM2JjMmMTkwMCYzNDAyJjczODEmNTAmMzkxMSYzJjE1ODVcXA0K
NzM0OTAgbGluZXMmXG11bHRpY29sdW1uezZ9e2N8fXsxNC40NlxlbXBoe3N9IDogKDEuOTZcJSl9
JlxtdWx0aWNvbHVtbns2fXtjfH17MTQuMDBcZW1waHtzfSA6ICgxLjk2XCUpfSZcbXVsdGljb2x1
bW57Nn17Y3x9ezE0LjIyXGVtcGh7c30gOiAoMi4wMlwlKX0mXG11bHRpY29sdW1uezZ9e2N8fXsx
My4yNFxlbXBoe3N9IDogKDEuOTRcJSl9XFwNClxobGluZQ0KbGV4Z2VuJjAmMjQ1JjAmMjI5JjAm
MTI1JjEyMSYyNDUmMyYxMjQmMCYzNyYxMDkmMjQ1JjImMTM2JjAmNTEmMTM5JjI0NSYyJjEwNiYw
JjM0XFwNCjEzMjcgbGluZXMmXG11bHRpY29sdW1uezZ9e2N8fXswLjMwXGVtcGh7c30gOiAoMi41
NFwlKX0mXG11bHRpY29sdW1uezZ9e2N8fXswLjM5XGVtcGh7c30gOiAoMy4wMVwlKX0mXG11bHRp
Y29sdW1uezZ9e2N8fXswLjMxXGVtcGh7c30gOiAoMi44NlwlKX0mXG11bHRpY29sdW1uezZ9e2N8
fXswLjI4XGVtcGh7c30gOiAoMi43OFwlKX1cXA0KXGhsaW5lDQptbHRvbiYwJjk5MjEmMCY4NDM1
JjAmMjM4OSY0MjA3Jjk5MjEmNDM5JjQ2OTUmMiYxMTUzJjM2NTYmOTkyMSY1NDQmNTI0NyYwJjE0
NTYmNDc0OSY5OTIxJjQzOCY0MTU2JjAmMTA0OVxcDQo5MjEzNCBsaW5lcyZcbXVsdGljb2x1bW57
Nn17Y3x9ezE0LjcyXGVtcGh7c30gOiAoMi4yN1wlKX0mXG11bHRpY29sdW1uezZ9e2N8fXsxMy4w
M1xlbXBoe3N9IDogKDIuMTlcJSl9JlxtdWx0aWNvbHVtbns2fXtjfH17MTQuNDNcZW1waHtzfSA6
ICgyLjQ2XCUpfSZcbXVsdGljb2x1bW57Nn17Y3x9ezEzLjI2XGVtcGh7c30gOiAoMi4zMlwlKX1c
XA0KXGhsaW5lDQptbHlhY2MmMCY4MTgmMCY3NzkmMCY0NTMmNDE5JjgxOCY5JjM5NiYxJjExMSYz
NjAmODE4JjcmNDU1JjEmMTcyJjQ3MyY4MTgmNyYzNDImMCYxMDNcXA0KNzI5NSBsaW5lcyZcbXVs
dGljb2x1bW57Nn17Y3x9ezAuODRcZW1waHtzfSA6ICgyLjA0XCUpfSZcbXVsdGljb2x1bW57Nn17
Y3x9ezAuNjdcZW1waHtzfSA6ICgxLjczXCUpfSZcbXVsdGljb2x1bW57Nn17Y3x9ezAuNjdcZW1w
aHtzfSA6ICgxLjczXCUpfSZcbXVsdGljb2x1bW57Nn17Y3x9ezAuNjdcZW1waHtzfSA6ICgxLjc3
XCUpfVxcDQpcaGxpbmUNCnJheXRyYWNlJjAmMzAxJjAmMjc3JjAmMTIxJjEyNCYzMDEmMTAmMTc3
JjAmMzkmMTE3JjMwMSYxMCYxODQmMCY0NiYxNzImMzAxJjkmMTI5JjAmMzJcXA0KMjM3OCBsaW5l
cyZcbXVsdGljb2x1bW57Nn17Y3x9ezAuNDBcZW1waHtzfSA6ICgxLjgwXCUpfSZcbXVsdGljb2x1
bW57Nn17Y3x9ezAuNDdcZW1waHtzfSA6ICgyLjI3XCUpfSZcbXVsdGljb2x1bW57Nn17Y3x9ezAu
NDhcZW1waHtzfSA6ICgyLjI2XCUpfSZcbXVsdGljb2x1bW57Nn17Y3x9ezAuMzZcZW1waHtzfSA6
ICgxLjgxXCUpfVxcDQpcaGxpbmUNCnRlbnNvciYwJjE1NiYwJjEyOSYwJjU5Jjk4JjE1NiYxMCY1
NyYwJjcmOTQmMTU2JjkmNjEmMCYxMSYxMDImMTU2JjEwJjUzJjAmNlxcDQoyOTQ3IGxpbmVzJlxt
dWx0aWNvbHVtbns2fXtjfH17MC4xM1xlbXBoe3N9IDogKDIuMjNcJSl9JlxtdWx0aWNvbHVtbns2
fXtjfH17MC4xOFxlbXBoe3N9IDogKDMuNDBcJSl9JlxtdWx0aWNvbHVtbns2fXtjfH17MC4xN1xl
bXBoe3N9IDogKDMuMzRcJSl9JlxtdWx0aWNvbHVtbns2fXtjfH17MC4xN1xlbXBoe3N9IDogKDMu
MTRcJSl9XFwNClxobGluZQ0KdmxpdyYwJjUwMSYwJjQ0NyYwJjI0NyYyMjkmNTAxJjIwJjI2OCYw
JjkyJjIwOSY1MDEmMTUmMjg4JjAmMTE1JjI1NCY1MDEmMTYmMjQ1JjAmODNcXA0KMzY5NCBsaW5l
cyZcbXVsdGljb2x1bW57Nn17Y3x9ezAuNTZcZW1waHtzfSA6ICgyLjI5XCUpfSZcbXVsdGljb2x1
bW57Nn17Y3x9ezAuNjVcZW1waHtzfSA6ICgyLjY1XCUpfSZcbXVsdGljb2x1bW57Nn17Y3x9ezAu
NjZcZW1waHtzfSA6ICgyLjgwXCUpfSZcbXVsdGljb2x1bW57Nn17Y3x9ezAuNjVcZW1waHtzfSA6
ICgyLjY5XCUpfVxcDQpcaGxpbmUNCnplcm4mMCY0OSYwJjQxJjAmMjUmMzQmNDkmMyYxNSYwJjIm
MzYmNDkmMSYxMyYwJjImMzcmNDkmMSYxMiYwJjFcXA0KNTk1IGxpbmVzJlxtdWx0aWNvbHVtbns2
fXtjfH17MC4wMlxlbXBoe3N9IDogKDEuMTRcJSl9JlxtdWx0aWNvbHVtbns2fXtjfH17MC4wM1xl
bXBoe3N9IDogKDIuMTBcJSl9JlxtdWx0aWNvbHVtbns2fXtjfH17MC4wMVxlbXBoe3N9IDogKDAu
NzBcJSl9JlxtdWx0aWNvbHVtbns2fXtjfH17MC4wMlxlbXBoe3N9IDogKDEuMzRcJSl9XFwNClxo
bGluZQ0K

---559023410-1841205112-984444082=:23339--