scratch: Translation scheme latex/literal haskell setup. Translation.lhs should conta...

diff --git a/scratch/Makefile b/scratch/Makefile
new file mode 100644 (file)
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 (file)
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}