afl-material: slides09.tex@191daa3ee29e (annotated)

65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	\documentclass[dvipsnames,14pt,t]{beamer}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	\usepackage{beamerthemeplainculight}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	\usepackage[T1]{fontenc}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	\usepackage[latin1]{inputenc}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	\usepackage{mathpartir}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	\usepackage[absolute,overlay]{textpos}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	\usepackage{ifthen}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	\usepackage{tikz}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	\usepackage{pgf}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	\usepackage{calc}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	\usepackage{ulem}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	\usepackage{courier}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	\usepackage{listings}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	\renewcommand{\uline}[1]{#1}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	\usetikzlibrary{arrows}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	\usetikzlibrary{automata}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	\usetikzlibrary{shapes}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	\usetikzlibrary{shadows}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	\usetikzlibrary{positioning}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	\usetikzlibrary{calc}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	\usetikzlibrary{plotmarks}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	\usepackage{graphicx}
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	23	\usepackage{pgfplots}
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	24
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26	\definecolor{javared}{rgb}{0.6,0,0} % for strings
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	\definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	\definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	\definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	\lstset{language=Java,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	basicstyle=\ttfamily,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	keywordstyle=\color{javapurple}\bfseries,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	stringstyle=\color{javagreen},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	commentstyle=\color{javagreen},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	morecomment=[s][\color{javadocblue}]{/*}{/},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	numbers=left,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	numberstyle=\tiny\color{black},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	stepnumber=1,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	numbersep=10pt,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	tabsize=2,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	showspaces=false,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	showstringspaces=false}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	\lstdefinelanguage{scala}{
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	morekeywords={abstract,case,catch,class,def,%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	do,else,extends,false,final,finally,%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	for,if,implicit,import,match,mixin,%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	new,null,object,override,package,%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	private,protected,requires,return,sealed,%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	super,this,throw,trait,true,try,%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	type,val,var,while,with,yield},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	otherkeywords={=>,<-,<\%,<:,>:,\#,@},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	sensitive=true,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	morecomment=[l]{//},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	morecomment=[n]{/}{/},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	morestring=[b]",
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	morestring=[b]',
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59	morestring=[b]"""
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	62
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	\lstset{language=Scala,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	basicstyle=\ttfamily,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	keywordstyle=\color{javapurple}\bfseries,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	stringstyle=\color{javagreen},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	commentstyle=\color{javagreen},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	morecomment=[s][\color{javadocblue}]{/*}{/},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	numbers=left,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	numberstyle=\tiny\color{black},
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	stepnumber=1,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	numbersep=10pt,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	tabsize=2,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	showspaces=false,
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	showstringspaces=false}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	77	\lstdefinelanguage{while}{
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	78	morekeywords={if,then,else,while,do,true,false},
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	79	otherkeywords={=,!=,:=,<,>},
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	80	sensitive=true,
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	81	morecomment=[n]{/}{/},
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	82	}
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	83
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	84
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	85	\lstset{language=While,
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	86	basicstyle=\ttfamily,
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	87	keywordstyle=\color{javapurple}\bfseries,
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	88	stringstyle=\color{javagreen},
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	89	commentstyle=\color{javagreen},
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	90	morecomment=[s][\color{javadocblue}]{/*}{/},
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	91	numbers=left,
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	92	numberstyle=\tiny\color{black},
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	93	stepnumber=1,
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	94	numbersep=10pt,
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	95	tabsize=2,
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	96	showspaces=false,
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	97	showstringspaces=false}
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	98
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	99
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100	% beamer stuff
76 373cf55a3ca5 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 70 diff changeset	101	\renewcommand{\slidecaption}{AFL 09, King's College London, 28.~November 2012}
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102	\newcommand{\bl}[1]{\textcolor{blue}{#1}}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103	\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	104
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106	% The data files, written on the first run.
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	107	\begin{filecontents}{compiled.data}
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	108	%1 0.234146
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	109	%5000 0.227539
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	110	%10000 0.280748
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	111	50000 1.087897
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	112	100000 3.713165
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	113	250000 21.6624545
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	114	500000 85.872613
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	115	750000 203.6408015
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	116	1000000 345.736574
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	117	\end{filecontents}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	118
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	119	\begin{filecontents}{interpreted.data}
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	120	%1 0.00503
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	121	200 1.005863
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	122	400 7.8296765
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	123	500 15.43106
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	124	600 27.2321885
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	125	800 65.249271
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	126	1000 135.4493445
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	127	1200 232.134097
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	128	1400 382.527227
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	129	\end{filecontents}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	130
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	131
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	132	\begin{document}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	133
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	134	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	135	\mode<presentation>{
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	136	\begin{frame}<1>[t]
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	137	\frametitle{%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	138	\begin{tabular}{@ {}c@ {}}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	139	\\[-3mm]
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	140	\LARGE Automata and \\[-2mm]
76 373cf55a3ca5 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 70 diff changeset	141	\LARGE Formal Languages (9)\\[3mm]
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	142	\end{tabular}}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	143
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	144	\normalsize
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	145	\begin{center}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	146	\begin{tabular}{ll}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	147	Email: & christian.urban at kcl.ac.uk\\
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	148	Of$\!$fice: & S1.27 (1st floor Strand Building)\\
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	149	Slides: & KEATS (also home work is there)\\
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	150	\end{tabular}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	151	\end{center}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	152
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	153	\end{frame}}
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	154	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	155
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	156	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	157	\mode<presentation>{
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	158	\begin{frame}[c]
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	159
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	160	Imagine the following situation: You talk to somebody
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	161	and you find out that she/he has implemented a compiler.\smallskip
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	162
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	163	What is your reaction? Check all that apply.\bigskip\pause
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	164
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	165	\begin{itemize}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	166	\item[$\Box$] You think she/he is God
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	167	\item[$\Box$] \"Uberhacker
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	168	\item[$\Box$] superhuman
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	169	\item[$\Box$] wizard
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	170	\item[$\Box$] supremo
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	171	\end{itemize}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	172
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	173	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	174	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	175
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	176	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	177	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	178	\begin{frame}[c]
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	179	\frametitle{\begin{tabular}{c}While-Language\end{tabular}}
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	180
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	181
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	182	\begin{center}
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	183	\bl{\begin{tabular}{@{}lcl@{}}
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	184	$Stmt$ & $\rightarrow$ & $\text{skip}$\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	185	& $\|$ & $Id := AExp$\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	186	& $\|$ & $\text{if}\; B\!Exp \;\text{then}\; Block \;\text{else}\; Block$\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	187	& $\|$ & $\text{while}\; B\!Exp \;\text{do}\; Block$\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	188	& $\|$ & $\alert{\text{write}\; Id}$\medskip\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	189	$Stmts$ & $\rightarrow$ & $Stmt \;\text{;}\; Stmts$\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	190	& $\|$ & $Stmt$\medskip\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	191	$Block$ & $\rightarrow$ & $\{ Stmts \}$\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	192	& $\|$ & $Stmt$\medskip\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	193	$AExp$ & $\rightarrow$ & \ldots\\
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	194	$BExp$ & $\rightarrow$ & \ldots\\
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	195	\end{tabular}}
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	196	\end{center}
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	197
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	198
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	199	\end{frame}}
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	200	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	201
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	202	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	203	\mode<presentation>{
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	204	\begin{frame}[c]
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	205	\frametitle{\begin{tabular}{c}Fibonacci Numbers\end{tabular}}
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	206
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	207	\mbox{}\\[-18mm]\mbox{}
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	208
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	209	{\lstset{language=While}\fontsize{10}{12}\selectfont
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	210	\texttt{\lstinputlisting{fib.while}}}
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	211
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	212	\end{frame}}
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	213	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	214
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	215	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	216	\mode<presentation>{
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	217	\begin{frame}[c]
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	218	\frametitle{\begin{tabular}{c}Interpreter\end{tabular}}
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	219
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	220	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	221	\bl{\begin{tabular}{@{}lcl@{}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	222	$\text{eval}(n, E)$ & $\dn$ & $n$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	223	$\text{eval}(x, E)$ & $\dn$ & $E(x)$ \;\;\;\textcolor{black}{lookup \bl{$x$} in \bl{$E$}}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	224	$\text{eval}(a_1 + a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) + \text{eval}(a_2, E)$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	225	$\text{eval}(a_1 - a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) - \text{eval}(a_2, E)$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	226	$\text{eval}(a_1 * a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) * \text{eval}(a_2, E)$\bigskip\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	227	$\text{eval}(a_1 = a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) = \text{eval}(a_2, E)$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	228	$\text{eval}(a_1\,!\!= a_2, E)$ & $\dn$ & $\neg(\text{eval}(a_1, E) = \text{eval}(a_2, E))$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	229	$\text{eval}(a_1 < a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) < \text{eval}(a_2, E)$\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	230	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	231	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	232
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	233	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	234	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	235
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	236	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	237	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	238	\begin{frame}[c]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	239	\frametitle{\begin{tabular}{c}Interpreter (2)\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	240
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	241	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	242	\bl{\begin{tabular}{@{}lcl@{}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	243	$\text{eval}(\text{skip}, E)$ & $\dn$ & $E$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	244	$\text{eval}(x:=a, E)$ & $\dn$ & \bl{$E(x \mapsto \text{eval}(a, E))$}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	245	\multicolumn{3}{@{}l@{}}{$\text{eval}(\text{if}\;b\;\text{then}\;cs_1\;\text{else}\;cs_2 , E) \dn$}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	246	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\text{if}\;\text{eval}(b,E)\;\text{then}\;
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	247	\text{eval}(cs_1,E)$}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	248	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\phantom{\text{if}\;\text{eval}(b,E)\;}\text{else}\;\text{eval}(cs_2,E)$}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	249	\multicolumn{3}{@{}l@{}}{$\text{eval}(\text{while}\;b\;\text{do}\;cs, E) \dn$}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	250	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\text{if}\;\text{eval}(b,E)$}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	251	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\text{then}\;
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	252	\text{eval}(\text{while}\;b\;\text{do}\;cs, \text{eval}(cs,E))$}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	253	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\text{else}\; E$}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	254	$\text{eval}(\text{print}\; x, E)$ & $\dn$ & $\{\;\text{println}(E(x))\; ;\;E\;\}$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	255	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	256	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	257
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	258	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	259	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	260
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	261	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	262	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	263	\begin{frame}[c]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	264	\frametitle{\begin{tabular}{c}Test Program\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	265
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	266	\mbox{}\\[-18mm]\mbox{}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	267
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	268	{\lstset{language=While}\fontsize{10}{12}\selectfont
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	269	\texttt{\lstinputlisting{loops.while}}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	270
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	271	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	272	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	273
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	274	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	275	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	276	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	277	\frametitle{\begin{tabular}{c}Interpreted Code\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	278
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	279	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	280	\begin{tikzpicture}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	281	\begin{axis}[axis x line=bottom, axis y line=left, xlabel=n, ylabel=secs]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	282	\addplot+[smooth] file {interpreted.data};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	283	\end{axis}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	284	\end{tikzpicture}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	285	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	286
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	287	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	288	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	289
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	290	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	291	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	292	\begin{frame}[c]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	293	\frametitle{\begin{tabular}{c}Java Virtual Machine\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	294
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	295	\begin{itemize}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	296	\item introduced in 1995
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	297	\item is a stack-based VM (like Postscript, CLR of .Net)
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	298	\item contains a JIT compiler
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	299	\item many languages take advantage of the infrastructure (JRE)
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	300	\item languages compiled to the JVM: Scala, Clojure\ldots
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	301	\item garbage collected
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	302	\end{itemize}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	303
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	304	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	305	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	306
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	307	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	308	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	309	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	310	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	311
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	312	{\Large\bl{1 + 2}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	313
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	314	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	315	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	316	ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	317	ldc 2\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	318	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	319	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	320	\end{center}\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	321	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	322
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	323	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	324	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	325	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	326	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	327
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	328	{\Large\bl{1 + 2 + 3}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	329
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	330	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	331	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	332	ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	333	ldc 2\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	334	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	335	ldc 3\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	336	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	337	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	338	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	339
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	340	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	341	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	342
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	343	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	344	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	345	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	346	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	347
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	348	{\Large\bl{1 + (2 + 3)}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	349
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	350	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	351	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	352	ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	353	ldc 2\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	354	ldc 3\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	355	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	356	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	357	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	358	\end{center}\bigskip\pause
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	359	\vfill
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	360
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	361	\bl{dadd, fadd, ladd, \ldots}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	362
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	363	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	364	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	365
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	366
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	367	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	368	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	369	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	370	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	371
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	372	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	373	\bl{\begin{tabular}{@{}lcl@{}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	374	$\text{compile}(n)$ & $\dn$ & $\text{ldc}\;n$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	375	$\text{compile}(a_1 + a_2)$ & $\dn$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	376	\multicolumn{3}{l}{$\qquad\text{compile}(a_1) \;@\;\text{compile}(a_2)\;@\; \text{iadd}$}\smallskip\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	377	$\text{compile}(a_1 - a_2)$ & $\dn$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	378	\multicolumn{3}{l}{$\qquad\text{compile}(a_1) \;@\; \text{compile}(a_2)\;@\; \text{isub}$}\smallskip\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	379	$\text{compile}(a_1 * a_2)$ & $\dn$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	380	\multicolumn{3}{l}{$\qquad\text{compile}(a_1) \;@\; \text{compile}(a_2)\;@\; \text{imul}$}\smallskip\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	381	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	382	\end{center}\pause
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	383
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	384	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	385	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	386
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	387	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	388	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	389	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	390	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	391
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	392	{\Large\bl{1 + 2 * 3 + (4 - 3)}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	393
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	394	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	395	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	396	ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	397	ldc 2\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	398	ldc 3\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	399	imul\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	400	ldc 4\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	401	ldc 3\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	402	isub\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	403	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	404	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	405	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	406	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	407
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	408	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	409	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	410
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	411	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	412	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	413	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	414	\frametitle{\begin{tabular}{c}Variables\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	415
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	416	{\Large\bl{$x := 5 + y * 2$}}\bigskip\pause
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	417
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	418	\begin{itemize}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	419	\item lookup: \bl{$\text{iload}\; number$}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	420	\item store: \bl{$\text{istore}\; number$}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	421	\end{itemize}\bigskip\pause
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	422
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	423	during compilation we have to maintain a map between our identifiers and the
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	424	java bytecode numbers
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	425
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	426	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	427	\bl{$\text{compile}(a, E)$}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	428	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	429
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	430	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	431	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	432
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	433	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	434	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	435	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	436	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	437
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	438	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	439	\bl{\begin{tabular}{@{}lcl@{}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	440	$\text{compile}(n, E)$ & $\dn$ & $\text{ldc}\;n$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	441	$\text{compile}(a_1 + a_2, E)$ & $\dn$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	442	\multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\;\text{compile}(a_2. E)\;@\; \text{iadd}$}\smallskip\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	443	$\text{compile}(a_1 - a_2, E)$ & $\dn$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	444	\multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\; \text{compile}(a_2, E)\;@\; \text{isub}$}\smallskip\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	445	$\text{compile}(a_1 * a_2, E)$ & $\dn$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	446	\multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\; \text{compile}(a_2, E)\;@\; \text{imul}$}\bigskip\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	447	$\text{compile}(x, E)$ & $\dn$ & $\text{iload}\;E(x)$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	448	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	449	\end{center}\pause
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	450
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	451	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	452	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	453
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	454	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	455	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	456	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	457	\frametitle{\begin{tabular}{c}Compiling Statements\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	458
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	459	We return a list of instructions and an environment for the variables
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	460
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	461	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	462	\bl{\begin{tabular}{@{}l@{\hspace{1mm}}c@{\hspace{1mm}}l@{}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	463	$\text{compile}(\text{skip}, E)$ & $\dn$ & $(Nil, E)$\bigskip\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	464	$\text{compile}(x := a, E)$ & $\dn$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	465	\multicolumn{3}{l}{$(\text{compile}(a, E) \;@\;\text{istore}\;index, E(x\mapsto index))$}\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	466	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	467	\end{center}\medskip
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	468
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	469	where \bl{$index$} is \bl{$E(x)$} if it is already defined, or if it is not then the largest index not yet seen
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	470
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	471	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	472	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	473
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	474	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	475	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	476	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	477	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	478
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	479	{\Large\bl{$x := x + 1$}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	480
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	481	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	482	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	483	iload $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	484	ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	485	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	486	istore $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	487	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	488	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	489
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	490	where \bl{$n_x$} is the number corresponding to the variable \bl{$x$}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	491
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	492	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	493	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	494
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	495	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	496	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	497	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	498	\frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	499
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	500	{\Large\bl{$\text{if}\;b\;\text{else}\;cs_1\;\text{then}\;cs_2$}}\bigskip\bigskip
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	501
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	502	\onslide<2->{Case }\only<2>{True:}\only<3>{False:}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	503
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	504	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	505	\begin{tikzpicture}[node distance=2mm and 4mm,
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	506	block/.style={rectangle, minimum size=1cm, draw=black, line width=1mm},
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	507	point/.style={rectangle, inner sep=0mm, minimum size=0mm, fill=red},
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	508	skip loop/.style={red, line width=1mm, to path={-- ++(0,-10mm) -\| (\tikztotarget)}}]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	509	\node (A1) [point] {};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	510	\node (b) [block, right=of A1] {code of \bl{$b$}};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	511	\node (A2) [point, right=of b] {};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	512	\node (cs1) [block, right=of A2] {code of \bl{$cs_1$}};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	513	\node (A3) [point, right=of cs1] {};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	514	\node (cs2) [block, right=of A3] {code of \bl{$cs_2$}};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	515	\node (A4) [point, right=of cs2] {};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	516
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	517	\only<2>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	518	\draw (A1) edge [->, red, line width=1mm] (b);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	519	\draw (b) edge [->, red, line width=1mm] (cs1);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	520	\draw (cs1) edge [->, red, line width=1mm] (A3);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	521	\draw (A3) edge [->,skip loop] (A4);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	522	\node [below=of cs2] {\raisebox{-5mm}{\small{}jump}};}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	523	\only<3>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	524	\draw (A1) edge [->, red, line width=1mm] (b);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	525	\draw (b) edge [->, red, line width=1mm] (A2);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	526	\draw (A2) edge [skip loop] (A3);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	527	\draw (A3) edge [->, red, line width=1mm] (cs2);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	528	\draw (cs2) edge [->,red, line width=1mm] (A4);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	529	\node [below=of cs1] {\raisebox{-5mm}{\small{}conditional jump}};}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	530	\end{tikzpicture}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	531	\end{center}
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	532
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	533
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	534	\end{frame}}
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	535	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	536
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	537	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	538	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	539	\begin{frame}[c]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	540	\frametitle{\begin{tabular}{c}Conditional Jumps\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	541
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	542	\begin{minipage}{1.1\textwidth}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	543	\begin{itemize}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	544	\item \bl{if\_icmpeq $label$} if two ints are equal, then jump\medskip
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	545	\item \bl{if\_icmpne $label$} if two ints aren't equal, then jump\medskip
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	546	\item \bl{if\_icmpge $label$} if one int is greater or equal then another, then jump
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	547	\item[]\ldots
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	548	\end{itemize}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	549	\end{minipage}\pause
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	550
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	551
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	552	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	553	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	554	$L_1$:\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	555	\hspace{5mm}if\_icmpeq\;$L_2$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	556	\hspace{5mm}iload 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	557	\hspace{5mm}ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	558	\hspace{5mm}iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	559	\hspace{5mm}if\_icmpeq\;$L_1$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	560	$L_1$:
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	561	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	562	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	563
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	564
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	565	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	566	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	567
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	568	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	569	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	570	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	571	\frametitle{\begin{tabular}{c}Compiling BExps\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	572
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	573	{\Large\bl{$a_1 = a_2$}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	574
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	575	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	576	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	577	iload $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	578	ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	579	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	580	istore $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	581	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	582	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	583
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	584	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	585	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	586
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	587	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	588	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	589	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	590	\frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	591
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	592	{\Large\bl{if $b$ then $cs_1$ else $cs_2$}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	593
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	594	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	595	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	596	iload $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	597	ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	598	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	599	istore $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	600	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	601	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	602
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	603	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	604	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	605
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	606	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	607	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	608	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	609	\frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	610
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	611	{\Large\bl{$\text{while}\;b\;\text{do}\;cs$}}\bigskip\bigskip
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	612
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	613	\onslide<2->{Case }\only<2>{True:}\only<3>{False:}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	614
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	615	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	616	\begin{tikzpicture}[node distance=2mm and 4mm,
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	617	block/.style={rectangle, minimum size=1cm, draw=black, line width=1mm},
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	618	point/.style={rectangle, inner sep=0mm, minimum size=0mm, fill=red},
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	619	skip loop/.style={red, line width=1mm, to path={-- ++(0,-10mm) -\| (\tikztotarget)}}]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	620	\node (A0) [point, left=of A1] {};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	621	\node (A1) [point] {};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	622	\node (b) [block, right=of A1] {code of \bl{$b$}};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	623	\node (A2) [point, right=of b] {};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	624	\node (cs1) [block, right=of A2] {code of \bl{$cs$}};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	625	\node (A3) [point, right=of cs1] {};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	626	\node (A4) [point, right=of A3] {};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	627
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	628	\only<2>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	629	\draw (A0) edge [->, red, line width=1mm] (b);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	630	\draw (b) edge [->, red, line width=1mm] (cs1);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	631	\draw (cs1) edge [->, red, line width=1mm] (A3);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	632	\draw (A3) edge [->,skip loop] (A1);}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	633	\only<3>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	634	\draw (A0) edge [->, red, line width=1mm] (b);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	635	\draw (b) edge [->, red, line width=1mm] (A2);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	636	\draw (A2) edge [skip loop] (A3);
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	637	\draw (A3) edge [->, red, line width=1mm] (A4);}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	638	\end{tikzpicture}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	639	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	640
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	641
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	642	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	643	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	644
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	645	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	646	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	647	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	648	\frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	649
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	650	{\Large\bl{while $b$ do $cs$}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	651
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	652	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	653	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	654	iload $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	655	ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	656	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	657	istore $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	658	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	659	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	660
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	661	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	662	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	663
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	664	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	665	\mode<presentation>{
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	666	\begin{frame}[t]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	667	\frametitle{\begin{tabular}{c}Compiling Writes\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	668
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	669	{\Large\bl{write $x$}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	670
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	671	\begin{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	672	\bl{\begin{tabular}{l}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	673	iload $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	674	ldc 1\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	675	iadd\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	676	istore $n_x$\\
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	677	\end{tabular}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	678	\end{center}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	679
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	680	\end{frame}}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	681	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
70 e6868bd2942b tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	682
e6868bd2942b tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	683	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
e6868bd2942b tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	684	\mode<presentation>{
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	685	\begin{frame}[t]
49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	686	\frametitle{\begin{tabular}{c}Compiled vs.~Interpreted Code\end{tabular}}
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	687
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	688	\begin{center}
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	689	\begin{tikzpicture}
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	690	\begin{loglogaxis}[axis x line=bottom, axis y line=left, xlabel=n, ylabel=secs]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	691	\addplot+[smooth] file {interpreted.data};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	692	\addplot+[smooth] file {compiled.data};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	693	\end{loglogaxis}
77 49c0beef79a1 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 76 diff changeset	694	\end{tikzpicture}
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	695	\end{center}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	696
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	697	\end{frame}}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	698	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	699
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	700
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	701	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	702	\mode<presentation>{
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	703	\begin{frame}[t]
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	704	\frametitle{\begin{tabular}{c}Compiled Code\end{tabular}}
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	705
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	706	\begin{center}
80 191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	707	\begin{tikzpicture}
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	708	\begin{axis}[axis x line=bottom, axis y line=left, xlabel=n, ylabel=secs]
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	709	\addplot+[smooth] file {compiled.data};
191daa3ee29e tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 79 diff changeset	710	\end{axis}
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	711	\end{tikzpicture}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	712	\end{center}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	713
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	714	\end{frame}}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	715	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	716
69 cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	717
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	718	\end{document}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	719
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	720	%%% Local Variables:
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	721	%%% mode: latex
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	722	%%% TeX-master: t
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	723	%%% End:
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	724

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Mon, 26 Nov 2012 01:11:55 +0000
changeset 80	191daa3ee29e
parent 79	fd894e017e12
child 81	ffac240147e2
permissions	-rw-r--r--