From a02b7201d043e4583e0a27c78a5f8831b60e90f2 Mon Sep 17 00:00:00 2001 From: Harald Steinlechner Date: Tue, 17 Apr 2012 13:58:28 +0200 Subject: [PATCH] scratch: Translation scheme latex/literal haskell setup. Translation.lhs should contain documentation for intermediate representation and its compilation schemes --- scratch/Makefile | 23 +++++++++++++++++++++++ scratch/Translation.lhs | 40 ++++++++++++++++++++++++++++++++++++++++ 2 files changed, 63 insertions(+) create mode 100644 scratch/Makefile create mode 100644 scratch/Translation.lhs diff --git a/scratch/Makefile b/scratch/Makefile new file mode 100644 index 0000000..064aadc --- /dev/null +++ b/scratch/Makefile @@ -0,0 +1,23 @@ +filename=Translation + +tex: ${filename}.lhs + lhs2TeX -o ${filename}.tex ${filename}.lhs + +pdf: ps + ps2pdf ${filename}.ps + +ps: dvi + dvips ${filename}.dvi + +dvi: tex + latex ${filename}.tex + latex ${filename}.tex + +read: + evince ${filename}.pdf & + +aread: + acroread ${filename}.pdf & + +clean: + rm -f ${filename}.ps ${filename}.ptb ${filename}.tex ${filename}.pdf ${filename}.log ${filename}.aux ${filename}.out ${filename}.dvi ${filename}.bbl ${filename}.blg diff --git a/scratch/Translation.lhs b/scratch/Translation.lhs new file mode 100644 index 0000000..0bf579f --- /dev/null +++ b/scratch/Translation.lhs @@ -0,0 +1,40 @@ +\title{MateVM Translation scheme} +\author{ + Bernhard Urban + \and + Harald Steinlechner +} +\date{\today} + +\documentclass[12pt]{article} +%include polycode.fmt + +\begin{document} +\maketitle + +%\begin{abstract} +%\end{abstract} + +\section{Introduction} + +blub: + +> foo x = x * x + +\section{Java-Bytecode $\rightarrow$ High-level Representation (todo find name)} + +bli bla blub + +\section{High-level Representation $\rightarrow$ Low-level Representation (todo find name)} + +bli bla blub + +\section{Low-level Represenation $\rightarrow$ x86} + +bli bla blub + + +\bibliographystyle{abbrv} +\bibliography{main} + +\end{document} -- 2.25.1