-
Notifications
You must be signed in to change notification settings - Fork 12
/
overview.tex
61 lines (61 loc) · 3.85 KB
/
overview.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
\setlength{\unitlength}{59204sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
\reset@font\fontsize{#1}{#2pt}%
\fontfamily{#3}\fontseries{#4}\fontshape{#5}%
\selectfont}%
\fi\endgroup%
\begin{picture}(393,455)(18,382)
\thinlines
\put(195,803){\oval(100,52)}
\put(193,593){\oval(102,44)}
\put( 20,384){\framebox(389,451){}}
\put(193,647){\vector( 0,-1){ 32}}
\put(193,712){\vector( 0,-1){ 29}}
\put(193,777){\vector( 0,-1){ 29}}
\put(193,571){\vector( 3,-1){129.900}}
\put(193,571){\vector( 1,-1){ 43}}
\put(193,571){\vector(-1,-1){ 43}}
\put(193,571){\vector(-3,-1){129.900}}
\put(294,485){\framebox(87,43){}}
\put(207,485){\framebox(58,43){}}
\put(121,485){\framebox(58,43){}}
\put( 34,485){\framebox(58,43){}}
\put( 63,485){\vector( 0,-1){ 29}}
\put(150,485){\vector( 0,-1){ 29}}
\put(236,485){\vector( 0,-1){ 29}}
\put(337,485){\vector( 0,-1){ 29}}
\put( 34,413){\framebox(58,43){}}
\put(121,413){\framebox(58,43){}}
\put(207,413){\framebox(58,43){}}
\put(287,413){\framebox(104,43){}}
\put(150,712){\framebox(86,36){}}
\put(150,647){\framebox(86,36){}}
\put(222,398){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Chapter 4}}}
\put(316,398){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Chapter 5}}}
\put(132,398){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Chapter 3}}}
\put( 45,398){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Chapter 2}}}
\put(161,799){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}Source program}}}
\put(157,589){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}Core program}}}
\put(316,496){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}compiler}}}
\put(301,510){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Parallel G-machine}}}
\put(132,496){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}compiler}}}
\put(128,510){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}G-machine}}}
\put( 45,438){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Template}}}
\put( 45,423){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}interpreter}}}
\put(128,438){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}G-machine}}}
\put(128,423){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}interpreter}}}
\put(222,438){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}TIM}}}
\put(215,423){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}interpreter}}}
\put(298,438){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Parallel G-machine}}}
\put(316,423){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}interpreter}}}
\put(251,727){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Chapter 1}}}
\put(251,662){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Chapter 6}}}
\put(158,662){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Lambda lifter}}}
\put(169,727){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Parser}}}
\put( 40,506){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}Template}}}
\put( 44,492){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}compiler}}}
\put(212,496){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}compiler}}}
\put(221,510){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\mddefault}{\updefault}TIM}}}
\end{picture}