Commit ceaa07be authored by Peter Schwabe's avatar Peter Schwabe
Browse files

Added one more answer.

parent 569f019b
......@@ -169,7 +169,12 @@ Here are a few linear comments:
"Separation logic is an extension of Hoare logic" $\rightarrow$ Minor, but the work "extension" does not quite sit right with me. The model is quite intrinsically different.
\end{itemize}
\begin{answer}
\todo{Fix, comment here.}
\begin{itemize}
\item \todo{address other comments}
\item The paper introducing separation logic describes it as \emph{``an extension of Hoare logic''}.
See \url{https://www.cs.cmu.edu/~jcr/seplogic.pdf}.
\item \todo{address other comments}
\end{itemize}
\end{answer}
\begin{itemize}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment