categories, subject descriptors, messing with formatting of first page
authorNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 19:10:52 +0000 (15:10 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 19:10:52 +0000 (15:10 -0400)
paper/dfopt.tex

index 17f060b..808cfdb 100644 (file)
@@ -472,18 +472,32 @@ so that they can be understood independently.
 %\ourlib\ will be the workhorse of a new
 %back end for the Glasgow Haskell Compiler (version~6.14, forthcoming).
 
-\emph{Readers:} code examples are indexed at 
-\iffalse % one more line on page 1 blows up the paper...
-{\url{http://bit.ly/doUJpr}}
-\else
-{\url{http://www.cs.tufts.edu/~nr/pubs/hoopl10-supplement.pdf}} 
-(\url{bit.ly/doUJpr}).
-\fi
-%%% Source: http://www.cs.tufts.edu/~nr/drop/popl-index.pdf
+
+%%  \emph{Readers:} code examples are indexed at 
+%%  \iffalse % one more line on page 1 blows up the paper...
+%%  {\url{http://bit.ly/doUJpr}}
+%%  \else
+%%  {\url{http://www.cs.tufts.edu/~nr/pubs/hoopl10-supplement.pdf}} 
+%%  (\url{bit.ly/doUJpr}).
+
+\emph{Readers:} code is indexed at \url{bit.ly/doUJpr}.
+%{\url{http://www.cs.tufts.edu/~nr/pubs/hoopl10-supplement.pdf}}.
 \end{abstract}
 
 \makeatactive   %  Enable @foo@ notation
 
+
+\category{D.3.4}{Processors}{Optimization}
+\category{D.3.4}{Processors}{Compilers}
+\category{D.3.2}{Language Classifications}{Applicative (functional) languages}
+%\category{D.3.2}{Language Classifications}{Haskell}
+
+\terms
+Algorithms, Design, Languages
+
+%\keywords
+%Dataflow analysis
+
 \section{Introduction}
 
 A mature optimizing compiler for an imperative language includes many