New.

Geoffrey Challen
1 parent e19a7e86
Showing 1 changed file with 10 additions and 7 deletions
maybe.tex
@@ -4,13 +4,8 @@
 To begin, we provide a brief overview of the semantics of the \texttt{maybe}
 statement, describing how it can express structured uncertainty in variable
 values and runtime execution. We refer to each of the values a \texttt{maybe}
-variable can take and each of the a paths a \texttt{maybe} code block can
-execute as an \textit{alternative}.
-
-Note that structured uncertainty is not randomness. The \texttt{maybe}
-statement indicates that during any given execution one alternative may be
-better than the others---even if the developer or system are not sure which
-alternative to use.
+variable can take or paths a \texttt{maybe} code block can execute as an
+\textit{alternative}.
 \begin{figure}[t]
 \begin{minted}[fontsize=\footnotesize]{java}
@@ -132,3 +127,11 @@ one app shares the same objectives as others---say, to minimize latency---a
 service should be performing adaptation on behalf of all apps using the
 merged network interfaces, possibly through the use of its own internal
 \texttt{maybe} statements.
+
+\subsection{Other Approaches to Adaptation}
+
+Note that structured uncertainty is not randomness. The \texttt{maybe}
+statement indicates that during any given execution one alternative may be
+better than the others---even if the developer or system are not sure which
+alternative to use.
+