Ignore:
Timestamp:
Feb 22, 2012, 11:28:49 AM (8 years ago)
Author:
mulligan
Message:

added diagrams.sty for drawing commutative diagrams

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1716 r1717  
    66\usepackage{amssymb}
    77\usepackage[english]{babel}
     8\usepackage{diagrams}
    89\usepackage[colorlinks]{hyperref}
    910\usepackage{microtype}
     
    8586\end{displaymath}
    8687
     88\begin{displaymath}
     89\sigma(\mathtt{State} (\mathtt{Frame}^* \times \mathtt{Frame})) \longrightarrow ((\sigma(\mathtt{Frame}^*), \sigma(\mathtt{PC}), \sigma(\mathtt{SP}), 0, 0, \sigma(\mathtt{REGS})), \sigma(\mathtt{Mem}))
     90\end{displaymath}
     91
     92\begin{displaymath}
     93\sigma(\mathtt{Return}(-)) \longrightarrow \sigma \circ \text{return one step}
     94\end{displaymath}
     95
     96\begin{displaymath}
     97\sigma(\mathtt{State}(-)) \longrightarrow \sigma \circ \text{state one step}
     98\end{displaymath}
     99
     100\begin{diagram}
     101\end{diagram}
     102
    87103\section{The RTL to ERTL translation}
    88104\label{sect.rtl.ertl.translation}
Note: See TracChangeset for help on using the changeset viewer.