Ignore:
Timestamp:
Mar 10, 2011, 9:39:45 AM (9 years ago)
Author:
regisgia
Message:

New version of the slides.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.1/Presentations/WP2-yann.tex

    r655 r662  
    11\documentclass[10pt]{beamer}
    2 
     2\usetheme{Frankfurt}
     3\logo{\includegraphics[height=1.0cm]{fetopen.png}}
     4\usepackage[english]{babel}
    35\usepackage[latin1]{inputenc}
    46\usepackage[T1]{fontenc}
     
    911\usepackage{fancybox}
    1012
    11 \input{macros}
    12 \input{mybeamer}
     13
     14\newcommand{\N}{\mathbb{N}}
     15\newcommand{\sem}[1]{\llbracket #1 \rrbracket}
     16\newcommand{\Comp}{\mathcal{C}}
     17\newcommand{\semequiv}{\equiv}
     18\newcommand{\Annot}{\mathit{An}}
     19\newcommand{\semleads}{\Downarrow}
     20\newcommand{\Lab}{\mathcal{L}}
     21\newcommand{\LabLang}[1]{$\text{#1}^\Lab$}
     22\newcommand{\medquad}{\quad\quad}
     23\newcommand{\bigquad}{\quad\quad\quad}
     24\newcommand{\PSet}[1]{\mathcal{P}(#1)}
     25
     26\definecolor{transblack}{RGB}{217,217,217}
     27\definecolor{transred}{RGB}{255,215,215}
     28\definecolor{transgreen}{RGB}{215,255,215}
     29\definecolor{transblue}{RGB}{215,215,255}
     30\definecolor{transorange}{RGB}{255,235,215}
     31\definecolor{transmagenta}{RGB}{255,215,235}
     32
     33\definecolor{darkred}{RGB}{102,0,0}
     34\definecolor{transdarkred}{RGB}{230,215,215}
     35\definecolor{darkgreen}{RGB}{0,102,0}
     36\definecolor{transdarkgreen}{RGB}{215,230,215}
     37
     38\definecolor{violet}{RGB}{160,0,160}
     39\definecolor{lightviolet}{RGB}{255,204,204}
     40
     41\newcommand{\checked}{\textcolor{darkgreen}{$\surd$}}
     42\newcommand{\unchecked}{\textcolor{red}{X}}
     43\newcommand{\plus}{\textcolor{darkgreen}{+}}
     44\newcommand{\minus}{\textcolor{red}{-}}
     45
     46\newcommand{\notitle}{\frametitle{\textcolor{white}{A}}}
     47\newcommand{\moveup}{\includegraphics[height=10cm]{figs/nothing.mps}}
     48
     49\newcommand{\Clang}{\textsc{C}}
     50\newcommand{\Clight}{\textsc{Clight}}
     51\newcommand{\Cminor}{\textsc{Cminor}}
     52\newcommand{\RTLabs}{\textsc{RTL}_{\textsc{abs}}}
     53\newcommand{\RTL}{\textsc{RTL}}
     54\newcommand{\ERTL}{\textsc{ERTL}}
     55\newcommand{\LTL}{\textsc{LTL}}
     56\newcommand{\LIN}{\textsc{LIN}}
     57\newcommand{\MIPS}{\textsc{MIPS}}
     58\newcommand{\Imp}{\textsc{Imp}}
     59\newcommand{\VM}{\textsc{VM}}
     60\newcommand{\ASM}{\textsc{ASM}}
     61\newcommand{\Labelled}[1]{#1^\mathcal{L}}
     62
     63\newcommand{\lbl}{\ell}
     64
     65\newlength\codewidth
     66\newenvironment{code}[1][\codewidth]{
     67\begin{center}
     68\Sbox
     69\hspace{0.3cm}\minipage{#1}
     70}{
     71\endminipage
     72\endSbox\fbox{\TheSbox}
     73\end{center}
     74}
     75
     76
     77%\input{mybeamer}
    1378\newcommand{\BlueLabelled}[1]{#1^{\textcolor{blockTColor}{\mathcal{L}}}}
    1479
     
    2388\author{Yann Régis-Gianas}
    2489\institute{}
    25 \date{March $11$ 2011}
     90\date{March $11$, 2011}
    2691
    2792
     
    37102  \centering
    38103
    39   \includegraphics[width=\linewidth]{Pics/diagram3.mps}
     104  \includegraphics[width=\linewidth]{figs/diagram3.mps}
    40105
    41106  \bigskip
     
    89154  \bigskip
    90155
    91   \only<1>{\includegraphics{Pics/call1.mps}}
    92   \only<2-3>{\includegraphics{Pics/call2.mps}}
     156  \only<1>{\includegraphics{figs/call1.mps}}
     157  \only<2-3>{\includegraphics{figs/call2.mps}}
    93158
    94159  \bigskip
     
    109174    \medskip
    110175
    111     \includegraphics{Pics/call3.mps}}
     176    \includegraphics{figs/call3.mps}}
    112177
    113178\end{frame}
     
    117182\frametitle{A glimpse on the compiler passes}
    118183
    119 \begin{code}[10cm]
     184\begin{code}[7.5cm]
    120185\bgroup\sf\medskip\begin{flushleft}
    121186
     
    141206\frametitle{A glimpse on the compiler passes : Labelling in {\sc Clight}}
    142207
    143 \begin{code}[10cm]\scriptsize
     208\begin{code}[7.5cm]\scriptsize
    144209\bgroup\sf\medskip\begin{flushleft}
    145210
     
    173238\frametitle{A glimpse on the compiler passes : $RTL_{abs}$}
    174239
    175 \begin{code}[10cm]
     240\begin{code}[7.5cm]
    176241\bgroup\sf\medskip\begin{flushleft}
    177242
    178 \noindent\hspace*{0.50em}"search"([\%{}9 ; \%{}8], [\%{}2], [\%{}3])\ensuremath{:~} ptr \ensuremath{\rightarrow} \textbf{int} \ensuremath{\rightarrow} \textbf{int} \ensuremath{\rightarrow} \textbf{int}~\linebreak
     243\noindent\hspace*{0.50em}"search"([\%{}9 ; \%{}8], [\%{}2], [\%{}3])\linebreak
     244\noindent\hspace*{0.50em}\ensuremath{:~} ptr \ensuremath{\rightarrow} \textbf{int} \ensuremath{\rightarrow} \textbf{int} \ensuremath{\rightarrow} \textbf{int}~\linebreak
    179245\noindent\hspace*{2.00em}locals\ensuremath{:~} ...~\linebreak
    180246\noindent\hspace*{2.00em}result\ensuremath{:~} [\%{}10]~\linebreak
     
    198264\frametitle{A glimpse on the compiler passes : 8051}
    199265
    200 \begin{code}[10cm]\scriptsize
     266\begin{code}[7.5cm]\scriptsize
    201267\bgroup\sf\medskip\begin{flushleft}
    202268
Note: See TracChangeset for help on using the changeset viewer.