verifier documentation
[cacao.git] / doc / handbook / cacao.tex
1 \documentclass[a4paper,twoside]{book}
2 \usepackage{latexsym}
3
4 %\pagestyle{myheadings} \footheight 12pt \footskip 72pt
5
6 %\pagestyle{empty}
7
8 \pagestyle{headings} 
9 \setlength{\textwidth}{16cm}
10 \setlength{\textheight}{23cm}
11 \setlength{\topmargin}{0mm} 
12 \setlength{\oddsidemargin}{0cm} 
13 \setlength{\evensidemargin}{0cm}
14
15
16 \parskip\medskipamount
17
18 \newenvironment{mylist}[1]{
19         \begin{list}{}
20                 {\settowidth{\labelwidth}{#1}
21                 \leftmargin\labelwidth \addtolength{\leftmargin}{\labelsep}
22                 \itemsep0ex \parsep0ex
23                 \renewcommand{\makelabel}[1]{##1\hfill}
24                 }
25         }{\end{list}}
26
27 \title{The CACAO Java Virtual Machine}
28
29 \author{Andreas Krall et al.}
30
31
32 \date{}
33
34
35
36 \begin{document}
37
38
39 \maketitle
40
41 \tableofcontents
42
43 \include{intro}
44
45 \include{overview}
46
47 \include{loader}
48
49 \include{runtime}
50     \include{threads}
51     \include{native}
52     \include{reflection}
53
54 \include{jit}
55     \include{verification}
56     \include{loopopt}
57     \include{inlining}
58     \include{alpha}
59     \include{mips}
60     \include{powerpc}
61     \include{x86}
62
63 \include{library}
64
65 %\include{}
66 \bibliography{java}
67 \bibliographystyle{alpha}
68 \end{document} 
69