To receive an automated e-mail message every time this page is
updated, press the button at the right. You will be asked to
supply your e-mail address at that time. (Service provided
by URL-minder.)
An extended abstract on an ASM dynamic semantics for
Standard ML.
25 July 2000
The massive re-organization is done; hopefully, splitting most of
the large pages into smaller ones will make things easier for
everyone. If you find problems, please let me know.
Coming soon: roughly 20 papers from the ASM'2000 meetings in
March, along with a few other papers.
7 June 2000
A massive re-organization of the pages on this site is underway;
chiefly, splitting big pages into smaller ones and
eliminating redundant information across the site. Once it's all done,
everything should work great; in the meantime, there may be occasional
problems with broken or missing links. I will try to keep everything
accessible during the conversion; please let me know if you experience
any problems. Apologies in advance for the inconvenience.
16 May 2000
Added a page for industrial reports
and added slides to that page on an industrial application of ASMs,
presented at ASM 2000.