deletions | additions       diff --git a/intro.tex b/intro.tex  index 0b90d17..f5d2a23 100644  --- a/intro.tex  +++ b/intro.tex 
...
\paragraph{Contributions.}  In this paper we investigate general-purpose, target-independent implementations of on-stack replacement. Specific goals of our approach include:  \begin{itemize}  \item The ability for a function reached via OSR to fire an OSR itself: this would allow switching from a base function $f_0$ $f$  to an optimized function $f_1$, $f'$,  and later on to a further optimized version $f_2$, etc. $f''$, and so on.  \item Supporting deoptimization, i.e., transitions from an optimized function to a less optimized function from which it was derived.  \item Supporting transitions at arbitrary function locations.  \item Supporting OSR targets either generated at run-time (e.g., using profiling information) or already known at compilation time.