# Changeset 1861 for Deliverables/D1.2

Ignore:
Timestamp:
Mar 15, 2012, 4:51:32 PM (9 years ago)
Message:

Changes to CSC's changes

File:
1 edited

### Legend:

Unmodified
 r1860 \includegraphics[scale=0.33]{recursive_structure.png} \begin{tabular}[b]{ll} & emit(l1) \\ & MOV r1 0\\ & ADD r1 r2\\ & CALL f \\ & ADD r2 r2\\ & MOV r2 0\\ & RET \\ \\ \\ \\ & \texttt{emit(l1)} \\ & \texttt{MOV r1 0}\\ & \texttt{ADD r1 r2}\\ & \texttt{CALL f} \\ & \texttt{ADD r2 r2}\\ & \texttt{MOV r2 0}\\ & \texttt{RET} \\ \\ \\ \\ \end{tabular} \end{center} \makebox[0pt][l]{k($l_1$) = k(MOV) + k (ADD) + \ldots + k(RET)}\\ Static-cost(trace) = k($l_1$) + \ldots + k($l_4$)\\ Dynamic-cost(trace) = \texttt{clock}(Final$_1$) - \texttt{clock}(Start$_1$)\\ \alert{Theorem: Static-cost(trace) = Dynamic-cost(trace)} \makebox[0pt][l]{k($l_1$) = k(\texttt{MOV}) + k (\texttt{ADD}) + \ldots + k(\texttt{RET})}\\ static-cost(trace) = k($l_1$) + \ldots + k($l_4$)\\ dynamic-cost(trace) = \texttt{clock}(Final$_1$) - \texttt{clock}(Start$_1$)\\ \alert{Theorem: static-cost(trace) = dynamic-cost(trace)} \end{frame} Tranquilli proofs of correctness for 2 intermediate languages \item Sacerdoti Coen floating' Permanents floating' \item Believe we have enough manpower to complete backend (required 21 man months)