Changeset 2589


Ignore:
Timestamp:
Jan 23, 2013, 4:34:21 PM (7 years ago)
Author:
campbell
Message:

Add one of the simulation diagrams

Location:
Deliverables/Dissemination/proof-structured-traces
Files:
2 added
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex

    r2587 r2589  
    449449
    450450\begin{frame}[fragile]
     451\frametitle{Structured trace local simulation example}
     452
     453For function call steps:
     454\begin{center}
     455\includegraphics[width=0.7\linewidth]{strcall.pdf}
     456\end{center}
     457
     458\begin{itemize}
     459\item May add extra steps before and after
     460\item Extra steps must not be call/return
     461\item Must call the same function
     462\item Cost label must stay at start of function
     463\end{itemize}
     464
     465\end{frame}
     466
     467
     468\begin{frame}[fragile]
    451469\frametitle{Putting the proof together}
    452470
Note: See TracChangeset for help on using the changeset viewer.