@=~
~! Aus dieser Datei kann mit ana.fw: fwHtml > ana.html aus der
~! Spezifikation eine Html-Datei generiert werden, die z.B. mit
~! netscape eingesehen werden kann.

~p typesetter = html
<TITLE>Examples in Program Analysis</TITLE>
<H1>Examples in Program Analysis</H1>
<h3>U. Kastens<br>
University of Paderborn</h3>

~i task.fw
~t table_of_contents
<hr>
~i dangling.fw
<hr>
~i switch.fw
<hr>
~i loops.fw
<hr>
~i vars.fw
<hr>
~i tree.fw
<hr>