source: Deliverables/D1.1/Presentations/WP4-dominic-presentation.tex @ 615

Last change on this file since 615 was 615, checked in by mulligan, 9 years ago

Work on presentation.

File size: 1.3 KB
Line 
1\documentclass{beamer}
2
3\usetheme{Frankfurt}
4\logo{\includegraphics[height=1.0cm]{fetopen.png}}
5
6\usepackage[english]{babel}
7\usepackage{inputenc}
8
9\author{Dominic P. Mulligan and Claudio Sacerdoti Coen}
10\title{CerCo Work Package 4}
11\date{March 11, 2011}
12
13\begin{document}
14
15\begin{frame}
16\maketitle
17\end{frame}
18
19\begin{frame}
20\frametitle{Work Package 4}
21\end{frame}
22
23\begin{frame}
24\frametitle{The MCS-51 microprocessor I}
25\begin{itemize}
26\item
27MCS-51 is our target processor.
28Commonly called the 8051 (has an immediate successor in the 8052).
29\item
30A popular 8-bit microprocessor introduced by Intel in the late 1970s.
31\item
32Still widely used in embedded systems, and widely manufactured (including within the EU).
33\item
34Is a relatively simple microprocessor especially suited to CerCo's aims.
35\end{itemize}
36\end{frame}
37
38\begin{frame}
39\frametitle{The MCS-51 microprocessor II}
40\begin{itemize}
41\item
42I will not give an exhaustive introduction to the processor.
43I am going to reveal enough for you to understand what problems we faced in formalising it.
44\item
45\end{itemize}
46\end{frame}
47
48\begin{frame}
49\frametitle{Development strategy}
50\end{frame}
51
52\begin{frame}
53\frametitle{Problems to be solved}
54\end{frame}
55
56\begin{frame}
57\frametitle{Polymorphic variants and phantom types}
58\end{frame}
59
60\begin{frame}
61\frametitle{Use of dependent types}
62\end{frame}
63
64\end{document}
Note: See TracBrowser for help on using the repository browser.