equal
deleted
inserted
replaced
3 \usepackage{../langs} |
3 \usepackage{../langs} |
4 \usepackage{../graphics} |
4 \usepackage{../graphics} |
5 \usepackage{../grammar} |
5 \usepackage{../grammar} |
6 \usepackage{multicol} |
6 \usepackage{multicol} |
7 |
7 |
|
8 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}} |
|
9 |
8 \begin{document} |
10 \begin{document} |
9 \fnote{\copyright{} Christian Urban, 2014} |
11 \fnote{\copyright{} Christian Urban, King's College London, 2014} |
10 |
12 |
11 %% why are shuttle flights so good with software |
13 %% why are shuttle flights so good with software |
12 %%http://www.fastcompany.com/28121/they-write-right-stuff |
14 %%http://www.fastcompany.com/28121/they-write-right-stuff |
13 |
15 |
14 \section*{Handout 9 (Static Analysis)} |
16 \section*{Handout 9 (Static Analysis)} |