Changeset 2945 for Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex

Timestamp:

Mar 23, 2013, 8:43:46 AM (7 years ago)

Author:

campbell

Message:

Minor tweak.

File:

• Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified) (1 diff)

Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex

@@ -512 +512 @@
 \item Other compiler correctness techniques
   \begin{itemize}
-  \item Translation validation?
+  \item Decompilation?
   \end{itemize}
 \end{itemize}