# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate contents original text with physical files.
$key = q/0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '0%:%korenC.html%:%Compilers and ``Optimization'' Contributions to the FP98 Course' unless ($toc_section_info{$key});
$key = q/0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node1.html%:%Prerequisites' unless ($toc_section_info{$key});
$key = q/0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node2.html%:%Simplification or optimization' unless ($toc_section_info{$key});
$key = q/0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node3.html%:%Admissible optimizations' unless ($toc_section_info{$key});
$key = q/0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node11.html%:%Expression evaluation with mixed precisions (etc)' unless ($toc_section_info{$key});
$key = q/0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node4.html%:%Bad optimizations' unless ($toc_section_info{$key});
$key = q/0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node12.html%:%Precisions' unless ($toc_section_info{$key});
$key = q/0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '3%:%node14.html%:% About this document ... ' unless ($toc_section_info{$key});
$key = q/0 0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node5.html%:%Can Bad be OK?' unless ($toc_section_info{$key});
$key = q/0 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node13.html%:%Treatment of domains' unless ($toc_section_info{$key});
$key = q/0 0 0 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node6.html%:%Loop Optimizations' unless ($toc_section_info{$key});
$key = q/0 0 0 2 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '5%:%node7.html%:%Loops' unless ($toc_section_info{$key});
$key = q/0 0 0 2 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node9.html%:%Equality' unless ($toc_section_info{$key});
$key = q/0 0 0 2 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '5%:%node8.html%:%Trichotomy' unless ($toc_section_info{$key});
$key = q/0 0 0 2 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$toc_section_info{$key} = '4%:%node10.html%:%Strength reduction' unless ($toc_section_info{$key});
1;