equal
deleted
inserted
replaced
29 }% |
29 }% |
30 } |
30 } |
31 \makeatother |
31 \makeatother |
32 |
32 |
33 |
33 |
34 % beamer stuff |
34 % beamer stuff |
35 \renewcommand{\slidecaption}{AFL 09, King's College London} |
35 \renewcommand{\slidecaption}{AFL 09, King's College London} |
36 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
36 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
37 |
37 |
38 |
38 |
39 \begin{document} |
39 \begin{document} |
329 \begin{textblock}{7}(1,2.5)\footnotesize |
329 \begin{textblock}{7}(1,2.5)\footnotesize |
330 \begin{minipage}{6cm} |
330 \begin{minipage}{6cm} |
331 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none] |
331 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none] |
332 .method public static suc(I)I |
332 .method public static suc(I)I |
333 .limit locals 1 |
333 .limit locals 1 |
334 .limit stack |
334 .limit stack 3 |
335 iload 0 |
335 iload 0 |
336 ldc 1 |
336 ldc 1 |
337 iadd |
337 iadd |
338 ireturn |
338 ireturn |
339 .end method |
339 .end method |
362 \begin{textblock}{7}(1,1.5)\footnotesize |
362 \begin{textblock}{7}(1,1.5)\footnotesize |
363 \begin{minipage}{6cm} |
363 \begin{minipage}{6cm} |
364 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none] |
364 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none] |
365 .method public static add(II)I |
365 .method public static add(II)I |
366 .limit locals 2 |
366 .limit locals 2 |
367 .limit stack 4 |
367 .limit stack 6 |
368 iload 0 |
368 iload 0 |
369 ldc 0 |
369 ldc 0 |
370 if_icmpne If_else_2 |
370 if_icmpne If_else_2 |
371 iload 1 |
371 iload 1 |
372 goto If_end_3 |
372 goto If_end_3 |
407 \begin{textblock}{7}(1,1.5)\footnotesize |
407 \begin{textblock}{7}(1,1.5)\footnotesize |
408 \begin{minipage}{6cm} |
408 \begin{minipage}{6cm} |
409 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none] |
409 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none] |
410 .method public static facT(II)I |
410 .method public static facT(II)I |
411 .limit locals 2 |
411 .limit locals 2 |
412 .limit stack 4 |
412 .limit stack 6 |
413 iload 0 |
413 iload 0 |
414 ldc 0 |
414 ldc 0 |
415 if_icmpne If_else_2 |
415 if_icmpne If_else_2 |
416 iload 1 |
416 iload 1 |
417 goto If_end_3 |
417 goto If_end_3 |
452 \begin{textblock}{7}(1,-0.2)\footnotesize |
452 \begin{textblock}{7}(1,-0.2)\footnotesize |
453 \begin{minipage}{6cm} |
453 \begin{minipage}{6cm} |
454 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none, escapeinside={(*@}{@*)}] |
454 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none, escapeinside={(*@}{@*)}] |
455 .method public static facT(II)I |
455 .method public static facT(II)I |
456 .limit locals 2 |
456 .limit locals 2 |
457 .limit stack 4 |
457 .limit stack 7 |
458 (*@\hl{facT\_Start:} @*) |
458 (*@\hl{facT\_Start:} @*) |
459 iload 0 |
459 iload 0 |
460 ldc 0 |
460 ldc 0 |
461 if_icmpne If_else_2 |
461 if_icmpne If_else_2 |
462 iload 1 |
462 iload 1 |