afl-material: slides/slides08.tex@7182786d9c68 (annotated)

65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	\documentclass[dvipsnames,14pt,t]{beamer}
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	2	\usepackage{beamerthemeplaincu}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	3	%\usepackage[T1]{fontenc}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	4	%\usepackage[latin1]{inputenc}
65 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}
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	23	\usepackage{pgfplots}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	24	\setmonofont{Consolas}
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
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 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
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	77	\lstdefinelanguage{while}{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	78	morekeywords={if,then,else,while,do,true,false,write},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	79	otherkeywords={=,!=,:=,<,>,;},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	80	sensitive=true,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	81	morecomment=[n]{/}{/},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	82	}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	83
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	84
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	85	\lstset{language=While,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	86	basicstyle=\ttfamily,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	87	keywordstyle=\color{javapurple}\bfseries,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	88	stringstyle=\color{javagreen},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	89	commentstyle=\color{javagreen},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	90	morecomment=[s][\color{javadocblue}]{/*}{/},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	91	numbers=left,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	92	numberstyle=\tiny\color{black},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	93	stepnumber=1,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	94	numbersep=10pt,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	95	tabsize=2,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	96	showspaces=false,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	97	showstringspaces=false}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	98
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	99
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100	% beamer stuff
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	101	\renewcommand{\slidecaption}{AFL 09, King's College London, 20.~November 2013}
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.
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	107	\begin{filecontents}{compiled.data}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	108	%1 0.234146
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	109	%5000 0.227539
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	110	%10000 0.280748
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	111	50000 1.087897
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	112	100000 3.713165
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	113	250000 21.6624545
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	114	500000 85.872613
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	115	750000 203.6408015
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 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
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	119	\begin{filecontents}{interpreted.data}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	120	%1 0.00503
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	121	200 1.005863
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	122	400 7.8296765
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	123	500 15.43106
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	124	600 27.2321885
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	125	800 65.249271
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	126	1000 135.4493445
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	127	1200 232.134097
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 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
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	131	\begin{filecontents}{interpreted2.data}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	132	%1 0.00503
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	133	200 1.005863
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	134	400 7.8296765
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	135	600 27.2321885
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	136	800 65.249271
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	137	1000 135.4493445
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	138	1200 232.134097
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	139	1400 382.527227
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	140	\end{filecontents}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	141
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	142	\begin{filecontents}{compiled2.data}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	143	200 0.222058
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	144	400 0.215204
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	145	600 0.202031
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	146	800 0.21986
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	147	1000 0.205934
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	148	1200 0.1981615
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	149	1400 0.207116
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	150	\end{filecontents}
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	151
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	152	\begin{document}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	153
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	154	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	155	\mode<presentation>{
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	156	\begin{frame}<1>[t]
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	157	\frametitle{%
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	158	\begin{tabular}{@ {}c@ {}}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	159	\\[-3mm]
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	160	\LARGE Automata and \\[-2mm]
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	161	\LARGE Formal Languages (8)\\[3mm]
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	162	\end{tabular}}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	163
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	164	\normalsize
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	165	\begin{center}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	166	\begin{tabular}{ll}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	167	Email: & christian.urban at kcl.ac.uk\\
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	168	Office: & S1.27 (1st floor Strand Building)\\
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	169	Slides: & KEATS (also home work is there)\\
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	170	\end{tabular}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	171	\end{center}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	172
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	173	\end{frame}}
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	174	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	175
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	176	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	177	\mode<presentation>{
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	178	\begin{frame}[c]
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	179
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	180	Imagine the following situation: You talk to somebody
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	181	and you find out that she/he has implemented a compiler.\smallskip
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	182
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	183	What is your reaction? \pause Check all that apply.\bigskip
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	184
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	185	\begin{itemize}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	186	\item[$\Box$] You think she/he is God
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	187	\item[$\Box$] \"Uberhacker
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	188	\item[$\Box$] superhuman
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	189	\item[$\Box$] wizard
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	190	\item[$\Box$] supremo
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	191	\end{itemize}
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	192
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	193	\end{frame}}
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	194	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	195
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	196	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	197	\mode<presentation>{
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	198	\begin{frame}[c]
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	199	\frametitle{Bird's Eye View}
66 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	\begin{center}
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	202	\begin{tikzpicture}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	203	\node (rexp) {\bl{\bf Lexer}};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	204	\node (nfa) [right=of rexp] {\bl{\bf Parser}};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	205	\node (dfa) [right=of nfa] {\bl{\begin{tabular}{c}\bf Machine Code/\\\bf Byte Code\end{tabular}}};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	206	\path[->, red, line width=2mm] (rexp) edge node [above=4mm, black] {\begin{tabular}{c@{\hspace{9mm}}}token\\[-1mm]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	207	sequence\end{tabular}} (nfa);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	208	\path[->, red, line width=2mm] (nfa) edge node [above=4mm, black] {\begin{tabular}{c}parse\\[-1mm] tree\end{tabular}}(dfa);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	209	\end{tikzpicture}\\
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	210	\end{center}
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	211
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	212	\end{frame}}
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	213	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	214
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	215	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	216	\mode<presentation>{
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	217	\begin{frame}[c]
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	218
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	219	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	220	\includegraphics[scale=0.7]{../pics/machine_code.jpg}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	221	\end{center}
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	222
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	223	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	224	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	225
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	226	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	227	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	228	\begin{frame}[c]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	229	\frametitle{Assembly Code}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	230	\mbox{}\\[-20mm]\mbox{}
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	231
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	232	\begin{center}
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	233	\includegraphics[scale=0.7]{../pics/assembly.jpg}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	234	\end{center}
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	235
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	236	\end{frame}}
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	237	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
66 9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	238
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	239
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	240	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	241	\mode<presentation>{
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	242	\begin{frame}[c]
9215b9fb8852 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 65 diff changeset	243
69 cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	244	\begin{center}
70 e6868bd2942b tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 69 diff changeset	245	\bl{\begin{tabular}{@{}lcl@{}}
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	246	\textit{Stmt} & $\rightarrow$ & $\texttt{skip}$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	247	& $\|$ & \textit{Id}\;\texttt{:=}\;\textit{AExp}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	248	& $\|$ & \texttt{if}\; \textit{BExp} \;\texttt{then}\; \textit{Block} \;\texttt{else}\; \textit{Block}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	249	& $\|$ & \texttt{while}\; \textit{BExp} \;\texttt{do}\; \textit{Block}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	250	& $\|$ & \texttt{read}\;\textit{Id}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	251	& $\|$ & \texttt{write}\;\textit{Id}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	252	& $\|$ & \texttt{write}\;\textit{String}\medskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	253	\textit{Stmts} & $\rightarrow$ & \textit{Stmt} \;\texttt{;}\; \textit{Stmts}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	254	& $\|$ & \textit{Stmt}\medskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	255	\textit{Block} & $\rightarrow$ & \texttt{\{}\,\textit{Stmts}\,\texttt{\}}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	256	& $\|$ & \textit{Stmt}\medskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	257	\textit{AExp} & $\rightarrow$ & \ldots\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	258	\textit{BExp} & $\rightarrow$ & \ldots\\
69 cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	259	\end{tabular}}
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	260	\end{center}
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	261
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	262
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	263	\end{frame}}
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	264	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	265
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	266	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	267	\mode<presentation>{
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	268	\begin{frame}[c]
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	269	\frametitle{\begin{tabular}{c}Fibonacci Numbers\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	270
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	271	\mbox{}\\[-18mm]\mbox{}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	272
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	273	{\lstset{language=While}\fontsize{10}{12}\selectfont
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	274	\texttt{\lstinputlisting{../progs/fib.while}}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	275
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	276	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	277	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	278
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	279	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	280	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	281	\begin{frame}[c]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	282	\frametitle{\begin{tabular}{c}Interpreter\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	283
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	284	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	285	\bl{\begin{tabular}{@{}lcl@{}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	286	$\text{eval}(n, E)$ & $\dn$ & $n$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	287	$\text{eval}(x, E)$ & $\dn$ & $E(x)$ \;\;\;\textcolor{black}{lookup \bl{$x$} in \bl{$E$}}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	288	$\text{eval}(a_1 + a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) + \text{eval}(a_2, E)$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	289	$\text{eval}(a_1 - a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) - \text{eval}(a_2, E)$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	290	$\text{eval}(a_1 * a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) * \text{eval}(a_2, E)$\bigskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	291	$\text{eval}(a_1 = a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) = \text{eval}(a_2, E)$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	292	$\text{eval}(a_1\,!\!= a_2, E)$ & $\dn$ & $\neg(\text{eval}(a_1, E) = \text{eval}(a_2, E))$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	293	$\text{eval}(a_1 < a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) < \text{eval}(a_2, E)$\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	294	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	295	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	296
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	297	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	298	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	299
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	300	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	301	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	302	\begin{frame}[c]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	303	\frametitle{\begin{tabular}{c}Interpreter (2)\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	304
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	305	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	306	\bl{\begin{tabular}{@{}lcl@{}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	307	$\text{eval}(\text{skip}, E)$ & $\dn$ & $E$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	308	$\text{eval}(x:=a, E)$ & $\dn$ & \bl{$E(x \mapsto \text{eval}(a, E))$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	309	\multicolumn{3}{@{}l@{}}{$\text{eval}(\text{if}\;b\;\text{then}\;cs_1\;\text{else}\;cs_2 , E) \dn$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	310	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\text{if}\;\text{eval}(b,E)\;\text{then}\;
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	311	\text{eval}(cs_1,E)$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	312	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\phantom{\text{if}\;\text{eval}(b,E)\;}\text{else}\;\text{eval}(cs_2,E)$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	313	\multicolumn{3}{@{}l@{}}{$\text{eval}(\text{while}\;b\;\text{do}\;cs, E) \dn$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	314	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\text{if}\;\text{eval}(b,E)$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	315	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\text{then}\;
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	316	\text{eval}(\text{while}\;b\;\text{do}\;cs, \text{eval}(cs,E))$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	317	\multicolumn{3}{@{}l@{}}{\hspace{2cm}$\text{else}\; E$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	318	$\text{eval}(\text{write}\; x, E)$ & $\dn$ & $\{\;\text{println}(E(x))\; ;\;E\;\}$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	319	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	320	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	321
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	322	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	323	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	324
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	325	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	326	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	327	\begin{frame}[c]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	328	\frametitle{\begin{tabular}{c}Test Program\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	329
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	330	\mbox{}\\[-18mm]\mbox{}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	331
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	332	{\lstset{language=While}\fontsize{10}{12}\selectfont
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	333	\texttt{\lstinputlisting{../progs/loops.while}}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	334
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	335	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	336	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	337
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	338	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	339	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	340	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	341	\frametitle{\begin{tabular}{c}Interpreted Code\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	342
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	343	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	344	\begin{tikzpicture}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	345	\begin{axis}[axis x line=bottom, axis y line=left, xlabel=n, ylabel=secs, legend style=small]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	346	\addplot+[smooth] file {interpreted.data};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	347	\end{axis}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	348	\end{tikzpicture}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	349	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	350
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	351	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	352	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	353
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	354	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	355	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	356	\begin{frame}[c]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	357	\frametitle{\begin{tabular}{c}Java Virtual Machine\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	358
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	359	\begin{itemize}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	360	\item introduced in 1995
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	361	\item is a stack-based VM (like Postscript, CLR of .Net)
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	362	\item contains a JIT compiler
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	363	\item many languages take advantage of JVM's infrastructure (JRE)
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	364	\item is garbage collected $\Rightarrow$ no buffer overflows
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	365	\item some languages compiled to the JVM: Scala, Clojure\ldots
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	366	\end{itemize}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	367
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	368	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	369	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	370
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	371	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	372	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	373	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	374	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	375
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	376	{\Large\bl{1 + 2}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	377
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	378	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	379	\bl{\begin{tabular}{l}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	380	ldc 1\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	381	ldc 2\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	382	iadd\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	383	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	384	\end{center}\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	385	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	386
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	387	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	388	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	389	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	390	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	391
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	392	{\Large\bl{1 + 2 + 3}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	393
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	394	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	395	\bl{\begin{tabular}{l}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	396	ldc 1\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	397	ldc 2\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	398	iadd\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	399	ldc 3\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	400	iadd\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	401	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	402	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	403
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	404	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	405	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	406
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	407	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	408	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	409	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	410	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	411
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	412	{\Large\bl{1 + (2 + 3)}}
69 cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	413
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	414	\begin{center}
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	415	\bl{\begin{tabular}{l}
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	416	ldc 1\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	417	ldc 2\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	418	ldc 3\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	419	iadd\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	420	iadd\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	421	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	422	\end{center}\bigskip\pause
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	423	\vfill
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	424
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	425	\bl{dadd, fadd, ladd, \ldots}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	426
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	427	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	428	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	429
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	430
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	431	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	432	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	433	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	434	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	435
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	436	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	437	\bl{\begin{tabular}{@{}lcl@{}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	438	$\text{compile}(n)$ & $\dn$ & $\text{ldc}\;n$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	439	$\text{compile}(a_1 + a_2)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	440	\multicolumn{3}{l}{$\qquad\text{compile}(a_1) \;@\;\text{compile}(a_2)\;@\; \text{iadd}$}\smallskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	441	$\text{compile}(a_1 - a_2)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	442	\multicolumn{3}{l}{$\qquad\text{compile}(a_1) \;@\; \text{compile}(a_2)\;@\; \text{isub}$}\smallskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	443	$\text{compile}(a_1 * a_2)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	444	\multicolumn{3}{l}{$\qquad\text{compile}(a_1) \;@\; \text{compile}(a_2)\;@\; \text{imul}$}\smallskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	445	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	446	\end{center}\pause
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	447
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	448	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	449	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	450
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	451	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	452	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	453	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	454	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	455
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	456	{\Large\bl{1 + 2 * 3 + (4 - 3)}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	457
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	458	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	459	\bl{\begin{tabular}{l}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	460	ldc 1\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	461	ldc 2\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	462	ldc 3\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	463	imul\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	464	ldc 4\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	465	ldc 3\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	466	isub\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	467	iadd\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	468	iadd\\
69 cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	469	\end{tabular}}
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	470	\end{center}
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	471
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	472	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	473	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	474
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	475	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	476	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	477	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	478	\frametitle{\begin{tabular}{c}Variables\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	479
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	480	{\Large\bl{$x := 5 + y * 2$}}\bigskip\pause
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	481
69 cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	482	\begin{itemize}
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	483	\item lookup: \bl{$\text{iload}\; index$}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	484	\item store: \bl{$\text{istore}\; index$}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	485	\end{itemize}\bigskip\pause
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	486
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	487	while compilating we have to maintain a map between our identifiers and the
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	488	Java bytecode indices
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	489
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	490	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	491	\bl{$\text{compile}(a, E)$}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	492	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	493
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	494	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	495	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	496
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	497	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	498	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	499	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	500	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	501
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	502	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	503	\bl{\begin{tabular}{@{}lcl@{}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	504	$\text{compile}(n, E)$ & $\dn$ & $\text{ldc}\;n$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	505	$\text{compile}(a_1 + a_2, E)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	506	\multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\;\text{compile}(a_2. E)\;@\; \text{iadd}$}\smallskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	507	$\text{compile}(a_1 - a_2, E)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	508	\multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\; \text{compile}(a_2, E)\;@\; \text{isub}$}\smallskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	509	$\text{compile}(a_1 * a_2, E)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	510	\multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\; \text{compile}(a_2, E)\;@\; \text{imul}$}\bigskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	511	$\text{compile}(x, E)$ & $\dn$ & $\text{iload}\;E(x)$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	512	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	513	\end{center}\pause
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	514
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	515	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	516	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	517
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	518	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	519	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	520	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	521	\frametitle{\begin{tabular}{c}Compiling Statements\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	522
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	523	We return a list of instructions and an environment for the variables
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	524
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	525	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	526	\bl{\begin{tabular}{@{}l@{\hspace{1mm}}c@{\hspace{1mm}}l@{}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	527	$\text{compile}(\text{skip}, E)$ & $\dn$ & $(N\!il, E)$\bigskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	528	$\text{compile}(x := a, E)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	529	\multicolumn{3}{l}{$(\text{compile}(a, E) \;@\;\text{istore}\;index, E(x\mapsto index))$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	530	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	531	\end{center}\medskip
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	532
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	533	where \bl{$index$} is \bl{$E(x)$} if it is already defined, or if it is not then the largest index not yet seen
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	534
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	535	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	536	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	537
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	538	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	539	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	540	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	541	\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	542
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	543	{\Large\bl{$x := x + 1$}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	544
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	545	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	546	\bl{\begin{tabular}{l}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	547	iload $n_x$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	548	ldc 1\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	549	iadd\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	550	istore $n_x$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	551	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	552	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	553
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	554	where \bl{$n_x$} is the index corresponding to the variable \bl{$x$}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	555
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	556	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	557	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	558
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	559	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	560	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	561	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	562	\frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	563
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	564	{\Large\bl{$\text{if}\;b\;\text{then}\;cs_1\;\text{else}\;cs_2$}}\bigskip\bigskip
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	565
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	566	\onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	567
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	568	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	569	\begin{tikzpicture}[node distance=2mm and 4mm,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	570	block/.style={rectangle, minimum size=1cm, draw=black, line width=1mm},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	571	point/.style={rectangle, inner sep=0mm, minimum size=0mm, fill=red},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	572	skip loop/.style={red, line width=1mm, to path={-- ++(0,-10mm) -\| (\tikztotarget)}}]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	573	\node (A1) [point] {};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	574	\node (b) [block, right=of A1] {code of \bl{$b$}};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	575	\node (A2) [point, right=of b] {};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	576	\node (cs1) [block, right=of A2] {code of \bl{$cs_1$}};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	577	\node (A3) [point, right=of cs1] {};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	578	\node (cs2) [block, right=of A3] {code of \bl{$cs_2$}};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	579	\node (A4) [point, right=of cs2] {};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	580
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	581	\only<2>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	582	\draw (A1) edge [->, red, line width=1mm] (b);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	583	\draw (b) edge [->, red, line width=1mm] (cs1);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	584	\draw (cs1) edge [->, red, line width=1mm] (A3);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	585	\draw (A3) edge [->,skip loop] (A4);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	586	\node [below=of cs2] {\raisebox{-5mm}{\small{}jump}};}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	587	\only<3>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	588	\draw (A1) edge [->, red, line width=1mm] (b);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	589	\draw (b) edge [->, red, line width=1mm] (A2);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	590	\draw (A2) edge [skip loop] (A3);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	591	\draw (A3) edge [->, red, line width=1mm] (cs2);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	592	\draw (cs2) edge [->,red, line width=1mm] (A4);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	593	\node [below=of cs1] {\raisebox{-5mm}{\small{}conditional jump}};}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	594	\end{tikzpicture}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	595	\end{center}
69 cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	596
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	597
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	598	\end{frame}}
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	599	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc3f7908b942 tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 67 diff changeset	600
196 7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	601	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	602	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	603	\begin{frame}[c]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	604	\frametitle{\begin{tabular}{c}Conditional Jumps\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	605
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	606	\begin{minipage}{1.1\textwidth}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	607	\begin{itemize}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	608	\item \bl{if\_icmpeq $label$} if two ints are equal, then jump\medskip
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	609	\item \bl{if\_icmpne $label$} if two ints aren't equal, then jump\medskip
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	610	\item \bl{if\_icmpge $label$} if one int is greater or equal then another, then jump
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	611	\item[]\ldots
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	612	\end{itemize}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	613	\end{minipage}\pause
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	614
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	615
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	616	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	617	\bl{\begin{tabular}{l}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	618	$L_1$:\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	619	\hspace{5mm}if\_icmpeq\;$L_2$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	620	\hspace{5mm}iload 1\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	621	\hspace{5mm}ldc 1\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	622	\hspace{5mm}iadd\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	623	\hspace{5mm}if\_icmpeq\;$L_1$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	624	$L_2$:
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	625	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	626	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	627
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	628	\begin{textblock}{3.5}(11,12)
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	629	\only<3>{labels must be unique}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	630	\end{textblock}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	631	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	632	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	633
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	634	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	635	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	636	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	637	\frametitle{\begin{tabular}{c}Compiling BExps\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	638
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	639	{\Large\bl{$a_1 = a_2$}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	640
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	641	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	642	\bl{\begin{tabular}{lcl}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	643	$\text{compile}(a_1 = a_2, E, lab)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	644	\multicolumn{3}{l}{$\quad\text{compile}(a_1, E) \;@\;\text{compile}(a_2, E)\;@\; \text{if\_icmpne}\;lab$}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	645	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	646	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	647
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	648	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	649	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	650
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	651	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	652	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	653	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	654	\frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	655
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	656	{\Large\bl{if $b$ then $cs_1$ else $cs_2$}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	657
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	658	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	659	\bl{\begin{tabular}{lcl}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	660	$\text{compile}(\text{if}\;b\;\text{then}\; cs_1\;\text{else}\; cs_2, E)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	661	\multicolumn{3}{l}{$\quad l_{ifelse}\;$ \textcolor{black}{(fresh label)}}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	662	\multicolumn{3}{l}{$\quad l_{ifend}\;$ \textcolor{black}{(fresh label)}}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	663	\multicolumn{3}{l}{$\quad (is_1, E') = \text{compile}(cs_1, E)$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	664	\multicolumn{3}{l}{$\quad (is_2, E'') = \text{compile}(cs_2, E')$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	665	\multicolumn{3}{l}{$\quad(\text{compile}(b, E, l_{ifelse})$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	666	\multicolumn{3}{l}{$\quad\phantom{(}@\;is_1$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	667	\multicolumn{3}{l}{$\quad\phantom{(}@\; \text{goto}\;l_{ifend}$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	668	\multicolumn{3}{l}{$\quad\phantom{(}@\;l_{ifelse}:$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	669	\multicolumn{3}{l}{$\quad\phantom{(}@\;is_2$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	670	\multicolumn{3}{l}{$\quad\phantom{(}@\;l_{ifend}:, E'')$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	671	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	672	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	673
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	674	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	675	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	676
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	677	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	678	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	679	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	680	\frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	681
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	682	{\Large\bl{$\text{while}\;b\;\text{do}\;cs$}}\bigskip\bigskip
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	683
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	684	\onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	685
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	686	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	687	\begin{tikzpicture}[node distance=2mm and 4mm,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	688	block/.style={rectangle, minimum size=1cm, draw=black, line width=1mm},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	689	point/.style={rectangle, inner sep=0mm, minimum size=0mm, fill=red},
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	690	skip loop/.style={red, line width=1mm, to path={-- ++(0,-10mm) -\| (\tikztotarget)}}]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	691	\node (A0) [point, left=of A1] {};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	692	\node (A1) [point] {};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	693	\node (b) [block, right=of A1] {code of \bl{$b$}};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	694	\node (A2) [point, right=of b] {};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	695	\node (cs1) [block, right=of A2] {code of \bl{$cs$}};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	696	\node (A3) [point, right=of cs1] {};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	697	\node (A4) [point, right=of A3] {};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	698
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	699	\only<2>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	700	\draw (A0) edge [->, red, line width=1mm] (b);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	701	\draw (b) edge [->, red, line width=1mm] (cs1);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	702	\draw (cs1) edge [->, red, line width=1mm] (A3);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	703	\draw (A3) edge [->,skip loop] (A1);}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	704	\only<3>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	705	\draw (A0) edge [->, red, line width=1mm] (b);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	706	\draw (b) edge [->, red, line width=1mm] (A2);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	707	\draw (A2) edge [skip loop] (A3);
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	708	\draw (A3) edge [->, red, line width=1mm] (A4);}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	709	\end{tikzpicture}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	710	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	711
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	712
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	713	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	714	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	715
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	716	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	717	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	718	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	719	\frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	720
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	721	{\Large\bl{while $b$ do $cs$}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	722
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	723	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	724	\bl{\begin{tabular}{lcl}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	725	$\text{compile}(\text{while}\; b\; \text{do} \;cs, E)$ & $\dn$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	726	\multicolumn{3}{l}{$\quad l_{wbegin}\;$ \textcolor{black}{(fresh label)}}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	727	\multicolumn{3}{l}{$\quad l_{wend}\;$ \textcolor{black}{(fresh label)}}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	728	\multicolumn{3}{l}{$\quad (is, E') = \text{compile}(cs_1, E)$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	729	\multicolumn{3}{l}{$\quad(l_{wbegin}:$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	730	\multicolumn{3}{l}{$\quad\phantom{(}@\;\text{compile}(b, E, l_{wend})$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	731	\multicolumn{3}{l}{$\quad\phantom{(}@\;is$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	732	\multicolumn{3}{l}{$\quad\phantom{(}@\; \text{goto}\;l_{wbegin}$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	733	\multicolumn{3}{l}{$\quad\phantom{(}@\;l_{wend}:, E')$}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	734	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	735	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	736
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	737	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	738	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	739
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	740	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	741	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	742	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	743	\frametitle{\begin{tabular}{c}Compiling Writes\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	744
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	745	{\Large\bl{write $x$}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	746
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	747	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	748	\small\bl{\begin{tabular}{l}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	749	.method public static write(I)V\hspace{1cm}\textcolor{black}{(library function)}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	750	\;\; .limit locals 5 \\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	751	\;\; .limit stack 5 \\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	752	\;\; iload 0 \\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	753	\;\; getstatic java/lang/System/out Ljava/io/PrintStream;\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	754	\;\; swap \\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	755	\;\; invokevirtual java/io/PrintStream/println(I)V \\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	756	\;\; return \\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	757	.end method\bigskip\bigskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	758	%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	759	\normalsize
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	760	iload $E(x)$\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	761	invokestatic write(I)V\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	762	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	763	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	764
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	765	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	766	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	767
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	768	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	769	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	770	\begin{frame}[c]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	771
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	772	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	773	\small\bl{\begin{tabular}{l}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	774	.class public XXX.XXX\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	775	.super java/lang/Object\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	776	\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	777	.method public <init>()V\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	778	\;\; aload\_0\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	779	\;\; invokenonvirtual java/lang/Object/<init>()V\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	780	\;\; return\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	781	.end method\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	782	\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	783	.method public static main([Ljava/lang/String;)V\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	784	\;\; .limit locals 200\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	785	\;\; .limit stack 200\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	786	\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	787	\textcolor{black}{(here comes the compiled code)}\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	788	\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	789	\;\; return\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	790	.end method\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	791	\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	792	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	793
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	794	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	795	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	796
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	797	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	798	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	799	\begin{frame}[c]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	800	\frametitle{\begin{tabular}{c}Next Compiler Phases\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	801
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	802	\begin{itemize}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	803	\item assembly $\Rightarrow$ byte code (class file)
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	804	\item labels $\Rightarrow$ absolute or relative jumps\bigskip\bigskip
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	805	\item \texttt{javap} is a disassembler for class files
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	806	\end{itemize}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	807
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	808	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	809	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	810
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	811	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	812	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	813	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	814	\frametitle{\begin{tabular}{c}Compiled Code\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	815
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	816	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	817	\begin{tikzpicture}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	818	\begin{axis}[axis x line=bottom, axis y line=left, xlabel=n, ylabel=secs, legend style=small]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	819	\addplot+[smooth] file {compiled.data};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	820	\end{axis}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	821	\end{tikzpicture}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	822	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	823
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	824	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	825	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	826
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	827
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	828
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	829	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	830	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	831	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	832	\frametitle{\begin{tabular}{c}Compiler vs.~Interpreter\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	833
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	834	\begin{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	835	\begin{tikzpicture}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	836	\begin{axis}[axis x line=bottom, axis y line=left, ylabel=secs,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	837	xlabel=n,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	838	enlargelimits=0.05,
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	839	ybar interval=0.7, legend style=small]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	840	\addplot file {interpreted2.data};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	841	\addplot file {compiled2.data};
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	842	%\legend{interpreted, compiled}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	843	\end{axis}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	844	\end{tikzpicture}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	845	\end{center}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	846
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	847	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	848	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	849
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	850
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	851
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	852	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	853	\mode<presentation>{
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	854	\begin{frame}[t]
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	855	\frametitle{\begin{tabular}{c}What Next\end{tabular}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	856
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	857	\begin{itemize}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	858	\item register spilling
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	859	\item dead code removal
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	860	\item loop optimisations
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	861	\item instruction selection
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	862	\item type checking
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	863	\item concurrency
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	864	\item fuzzy testing
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	865	\item verification\bigskip\\
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	866
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	867	\item GCC, LLVM, tracing JITs
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	868	\end{itemize}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	869
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	870	\end{frame}}
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	871	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	872
7182786d9c68 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	873
65 ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	874	\end{document}
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	875
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	876	%%% Local Variables:
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	877	%%% mode: latex
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	878	%%% TeX-master: t
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	879	%%% End:
ade6af51402c tuned Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	880

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Tue, 19 Nov 2013 23:38:49 +0000
changeset 196	7182786d9c68
parent 93	4794759139ea
child 197	6622bd256029
permissions	-rw-r--r--