From dca7ce0fe5737496cf492020de063ad4a0ead627 Mon Sep 17 00:00:00 2001 From: jklai Date: Wed, 3 Dec 2008 23:14:31 -0500 Subject: [PATCH] writeup --- writeup/fp_writeup.tex | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/writeup/fp_writeup.tex b/writeup/fp_writeup.tex index 12d7af5..80f9b80 100644 --- a/writeup/fp_writeup.tex +++ b/writeup/fp_writeup.tex @@ -19,7 +19,7 @@ Learning Garden-Variety Library Interactions} \maketitle \begin{abstract} -Knowing the appropriate ways of interacting with an API library is useful for program verification and code synthesis. In this paper we describe our experiences collecting data and learning with $k$-Markov mixture chains for the Java standad libraries. We describe our results in depth for the \texttt{ArrayList} API. +Knowing the appropriate ways of interacting with an API library is useful for program verification and code synthesis. In this paper we describe our experiences collecting data and learning with $k$-Markov mixture chains for the Java standard libraries. We describe our results in depth for the \texttt{ArrayList} API. \end{abstract} \begin{quote} @@ -78,10 +78,9 @@ We focused on the \texttt{ArrayList} library because it was the most extensively \section{Results} \label{results} -\input{results} \input{results_desc} - \input{results} +\input{conclusion} \bibliographystyle{plain} \bibliography{fpbib} \end{document} -- 2.11.4.GIT