\begin{frame}[allowframebreaks]{whyness}

\begin{enumerate}

	\item \textbf{User Study:} Obtain empirical results on the difficulty of
	writing iterators versus writing abstraction functions in Alloy.

	\item \textbf{Full Test Suite:} Create a full test suite that will be
	used to support the claim that the generated code adheres to certain
	standards of correctness.

	\item \textbf{Teaching Tool:} Create a tool that will present the
	various implemented optimizations as well as teach users how to write
	correct iterators.

  \item \textbf{Performance Study:} (Quadforce) Do an in depth performance study
comparing the implemented iterator with the default iterator. This could include
timing results as well as an actual comparison between generated iterator code
and default code to identify bottlenecks.

	\item \textbf{Formal Verification:} (Causal) Formally constrain/verify the
	linguistic expressivity of the annotation system. (i.e.: Show that for some
	substantial subset of containers, an expression can be made that iterates over
	any container in that subset, and said expression can be evaluated by your
	iterator generator.)

\end{enumerate}

\end{frame}
