Skip to content

Commit 0af1cb1

Browse files
jsiekjsiek
committed
check
1 parent d0a1918 commit 0af1cb1

File tree

3 files changed

+26
-127
lines changed

3 files changed

+26
-127
lines changed

‎TimesAPriori_MIT.cls

+1-1
Original file line numberDiff line numberDiff line change
@@ -583,7 +583,7 @@ ItalicFont=SyntaxLTStd-Italic,
583583
\pagenumbering{arabic}}
584584

585585
\newcommand\backmatter{%
586-
\clearpage
586+
\clearpage\thispagestyle{plain}
587587
\@mainmatterfalse}
588588

589589
\def\part{\clearpage\thispagestyle{empty}\global\@topnum\z@

‎book.bib

+17-17
Original file line numberDiff line numberDiff line change
@@ -167,7 +167,7 @@ @inproceedings{Danvy:2003fk
167167
booktitle = {Compiler Construction: Proceedings of the 12th
168168
International Conference, CC '03, Held as Part of
169169
the Joint European Conferences on Theory and
170-
Practice of Software, ETAPS '03, \normalfont{Lecture Notes in
170+
Practice of Software, ETAPS '03. \normalfont{Lecture Notes in
171171
Computer Science 2622}},
172172
pages = {77--89},
173173
title = {A New One-Pass Transformation into Monadic Normal Form},
@@ -565,7 +565,7 @@ @inproceedings{Chow:1984ys
565565

566566
@inproceedings{Cooper:1998ly,
567567
author = {Keith D. Cooper and L. Taylor Simpson},
568-
booktitle = {Compiler Construction: Proceedings of the 7th International Conference, CC '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, \normalfont{Lecture Notes in Computer Science 1383}},
568+
booktitle = {Compiler Construction: Proceedings of the 7th International Conference, CC '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98. \normalfont{Lecture Notes in Computer Science 1383}},
569569
publisher = {Springer},
570570
title = {Live {Range} {Splitting} in a {Graph} {Coloring} {Register}
571571
{Allocator}},
@@ -653,7 +653,7 @@ @inproceedings{Detlefs:2004aa
653653
author = {Detlefs, David and Flood, Christine and Heller, Steve and
654654
Printezis, Tony},
655655
booktitle = {Proceedings of the 4th International Symposium on
656-
Memory Management, ISMM 2004},
656+
Memory Management, ISMM '04},
657657
pages = {37--48},
658658
publisher = {Association for Computing Machinery},
659659
title = {Garbage-{F}irst {Garbage} {Collection}},
@@ -663,7 +663,7 @@ @inproceedings{Detlefs:2004aa
663663
@inproceedings{Tene:2011kx,
664664
author = {Tene, Gil and Iyengar, Balaji and Wolf, Michael},
665665
booktitle = {Proceedings of the International Symposium on Memory
666-
Management, ISMM 2011},
666+
Management, ISMM '11},
667667
pages = {79--88},
668668
publisher = {Association for Computing Machinery},
669669
title = {C4: The {C}ontinuously {C}oncurrent {C}ompacting
@@ -677,7 +677,7 @@ @incollection{Wilson:1992fk
677677
editor = {Bekkers, Yves and Cohen, Jacques},
678678
pages = {1--42},
679679
publisher = {Springer},
680-
title = {Uniprocessor Garbage Collection Techniques,
680+
title = {Uniprocessor Garbage Collection Techniques.
681681
\normalfont{Lecture Notes in Computer Science 637}},
682682
year = {1992}
683683
}
@@ -749,7 +749,7 @@ @inproceedings{Shahriyar:2013aa
749749
@inproceedings{Cutler:2015aa,
750750
author = {Cutler, Cody and Morris, Robert},
751751
booktitle = {Proceedings of the 2015 International Symposium on
752-
Memory Management, ISMM 2015},
752+
Memory Management, ISMM '15},
753753
pages = {131--142},
754754
publisher = {Association for Computing Machinery},
755755
title = {Reducing Pause Times with Clustered Collection},
@@ -761,7 +761,7 @@ @inproceedings{Shidal:2015aa
761761
Scheid, Paul T. and Cytron, Ron K. and
762762
Kavi, Krishna M.},
763763
booktitle = {Proceedings of the 2015 International Symposium on
764-
Memory Management, ISMM 2015},
764+
Memory Management, ISMM '15},
765765
pages = {118--130},
766766
publisher = {Association for Computing Machinery},
767767
title = {Recycling Trash in Cache},
@@ -771,7 +771,7 @@ @inproceedings{Shidal:2015aa
771771
@inproceedings{Osterlund:2016aa,
772772
author = {\"{O}sterlund, Erik and L\"{o}we, Welf},
773773
booktitle = {Proceedings of the 2016 ACM SIGPLAN International
774-
Symposium on Memory Management, ISMM 2016},
774+
Symposium on Memory Management, ISMM '16},
775775
pages = {1--12},
776776
publisher = {Association for Computing Machinery},
777777
title = {Block-Free Concurrent GC: Stack Scanning and Copying},
@@ -781,7 +781,7 @@ @inproceedings{Osterlund:2016aa
781781
@inproceedings{Jacek:2019aa,
782782
author = {Jacek, Nicholas and Moss, J. Eliot B.},
783783
booktitle = {Proceedings of the 2019 ACM SIGPLAN International
784-
Symposium on Memory Management, ISMM 2019},
784+
Symposium on Memory Management, ISMM '19},
785785
pages = {53--63},
786786
publisher = {Association for Computing Machinery},
787787
title = {Learning When to Garbage Collect with Random Forests},
@@ -791,7 +791,7 @@ @inproceedings{Jacek:2019aa
791791
@inproceedings{Gamari:2020aa,
792792
author = {Gamari, Ben and Dietz, Laura},
793793
booktitle = {Proceedings of the 2020 ACM SIGPLAN International
794-
Symposium on Memory Management, ISMM 2020},
794+
Symposium on Memory Management, ISMM '20},
795795
pages = {87--99},
796796
publisher = {Association for Computing Machinery},
797797
title = {Alligator Collector: A Latency-Optimized Garbage
@@ -868,14 +868,14 @@ @inproceedings{Siebert:2001aa
868868
booktitle = {Proceedings of Compiler Construction: 10th
869869
International Conference, CC 2001, Held as Part of
870870
the Joint European Conferences on Theory and
871-
Practice of Software, ETAPS 2001},
871+
Practice of Software, ETAPS '01},
872872
year = {2001}
873873
}
874874

875875
@inproceedings{Henderson:2002aa,
876876
author = {Henderson, Fergus},
877877
booktitle = {Proceedings of the 3rd International Symposium on
878-
Memory Management, ISMM 2002},
878+
Memory Management, ISMM '02},
879879
pages = {150--156},
880880
publisher = {Association for Computing Machinery},
881881
title = {Accurate Garbage Collection in an Uncooperative
@@ -986,7 +986,7 @@ @inproceedings{Cardelli:1984aa
986986
booktitle = {ACM Symposium on LISP and Functional Programming, LFP '84},
987987
publisher = {Association for Computing Machinery},
988988
title = {Compiling a Functional Language},
989-
pages = {208--21},
989+
pages = {208--221},
990990
year = {1984}
991991
}
992992

@@ -1083,7 +1083,7 @@ @inproceedings{Gronski:2006uq
10831083

10841084
@article{Anderson:2002kd,
10851085
author = {Christopher Anderson and Sophia Drossopoulou},
1086-
booktitle = {Electron. Notes Theor. Comput. Sci.},
1086+
journal = {Electron. Notes Theor. Comput. Sci.},
10871087
number = {8},
10881088
publisher = {Elsevier},
10891089
title = {{BabyJ}: From Object Based to Class Based
@@ -1105,9 +1105,9 @@ @inproceedings{Siek:2006bh
11051105
@inproceedings{Wadler:2009qv,
11061106
author = {Philip Wadler and Robert Bruce Findler},
11071107
booktitle = {Proceedings of Programming Languages and Systems, 31st European
1108-
Symposium on Programming, ESOP 2009, Held as Part of
1108+
Symposium on Programming, ESOP '09, Held as Part of
11091109
the Joint European Conferences on Theory and
1110-
Practice of Software, ETAPS 2009},
1110+
Practice of Software, ETAPS '09},
11111111
editor = {Giuseppe Castagna},
11121112
publisher = {Springer},
11131113
pages = {1--16},
@@ -1191,7 +1191,7 @@ @inproceedings{Blelloch:1993aa
11911191

11921192
@inproceedings{Weeks:2006aa,
11931193
author = {Weeks, Stephen},
1194-
booktitle = {Proceedings of the 2006 Workshop on ML, ML '06},
1194+
booktitle = {Proceedings of the 2006 Workshop on ML '06},
11951195
pages = {1},
11961196
publisher = {Association for Computing Machinery},
11971197
title = {Whole-Program Compilation in MLton},

‎book.tex

+8-109
Original file line numberDiff line numberDiff line change
@@ -2117,7 +2117,7 @@ \subsection{Extensible Interpreters via Method Overriding}
21172117
\end{minipage}
21182118
\fi}
21192119
\end{center}
2120-
Getting back to the troublesome example, repeated here
2120+
Getting back to the troublesome example, repeated here:
21212121
{\if\edition\racketEd
21222122
\begin{lstlisting}
21232123
(Let 'y (Int 10) (Prim '- (Var 'y)))
@@ -5161,7 +5161,7 @@ \section{Registers and Calling Conventions}
51615161
\index{subject}{argument-passing registers}.
51625162
If there are more than six arguments, the convention is to use space
51635163
on the frame of the caller for the rest of the arguments. In
5164-
chapter~\ref{ch:Lfun} we instead pass a tuple containing the sixth
5164+
chapter~\ref{ch:Lfun}, we instead pass a tuple containing the sixth
51655165
argument and the rest of the arguments, which simplifies the treatment
51665166
of efficient tail calls.
51675167
%
@@ -5392,11 +5392,11 @@ \section{Liveness Analysis}
53925392
\fi}
53935393

53945394
The locations that are live after an instruction are its
5395-
\emph{live-after}\index{subject}{live-after} set and the the locations
5395+
\emph{live-after}\index{subject}{live-after} set, and the locations
53965396
that are live before an instruction are its
5397-
\emph{live-before}\index{subject}{live-before} set. The live-after
5397+
\emph{live-before}\index{subject}{live-before} set. The live-after
53985398
set of an instruction is always the same as the live-before set of the
5399-
next instruction. .
5399+
next instruction.
54005400
\begin{equation} \label{eq:live-after-before-next}
54015401
L_{\mathsf{after}}(k) = L_{\mathsf{before}}(k+1)
54025402
\end{equation}
@@ -23400,115 +23400,14 @@ \section{x86 Instruction Set Quick Reference}
2340023400
\label{tab:x86-instr}
2340123401
\end{table}
2340223402

23403-
%% \if\edition\racketEd
23404-
%% \cleardoublepage
23405-
%% \section{Concrete Syntax for Intermediate Languages}
23406-
23407-
%% The concrete syntax of \LangAny{} is defined in
23408-
%% figure~\ref{fig:Lany-concrete-syntax}.
23409-
23410-
%% \begin{figure}[tp]
23411-
%% \centering
23412-
%% \fbox{
23413-
%% \begin{minipage}{0.97\textwidth}\small
23414-
%% \[
23415-
%% \begin{array}{lcl}
23416-
%% \Type &::=& \gray{\key{Integer} \MID \key{Boolean}
23417-
%% \MID \LP\key{Vector}\;\Type\ldots\RP \MID \key{Void}} \\
23418-
%% &\MID& \gray{\LP\Type\ldots \; \key{->}\; \Type\RP} \MID \ANYTY{} \\
23419-
%% \FType &::=& \key{Integer} \MID \key{Boolean} \MID \key{Void}
23420-
%% \MID \LP\key{Vector}\; \ANYTY{}\ldots\RP \\
23421-
%% &\MID& \LP\ANYTY{}\ldots \; \key{->}\; \ANYTY{}\RP\\
23422-
%% \Exp &::=& \ldots \CINJECT{\Exp}{\FType}\RP \MID \CPROJECT{\Exp}{\FType}\\
23423-
%% &\MID& \LP\key{any-vector-length}\;\Exp\RP
23424-
%% \MID \LP\key{any-vector-ref}\;\Exp\;\Exp\RP \\
23425-
%% &\MID& \LP\key{any-vector-set!}\;\Exp\;\Exp\;\Exp\RP\\
23426-
%% &\MID& \LP\key{boolean?}\;\Exp\RP \MID \LP\key{integer?}\;\Exp\RP
23427-
%% \MID \LP\key{void?}\;\Exp\RP \\
23428-
%% &\MID& \LP\key{vector?}\;\Exp\RP \MID \LP\key{procedure?}\;\Exp\RP \\
23429-
%% \Def &::=& \gray{ \CDEF{\Var}{\LS\Var \key{:} \Type\RS\ldots}{\Type}{\Exp} } \\
23430-
%% \LangAnyM{} &::=& \gray{\Def\ldots \; \Exp}
23431-
%% \end{array}
23432-
%% \]
23433-
%% \end{minipage}
23434-
%% }
23435-
%% \caption{The concrete syntax of \LangAny{}, extending \LangLam{}
23436-
%% (figure~\ref{fig:Llam-syntax}).}
23437-
%% \label{fig:Lany-concrete-syntax}
23438-
%% \end{figure}
23439-
23440-
%% The concrete syntax for \LangCVar{}, \LangCIf{}, \LangCVec{} and
23441-
%% \LangCFun{} is defined in figures~\ref{fig:c0-concrete-syntax},
23442-
%% \ref{fig:c1-concrete-syntax}, \ref{fig:c2-concrete-syntax}, and
23443-
%% \ref{fig:c3-concrete-syntax}, respectively.
23444-
23445-
23446-
%% \begin{figure}[tbp]
23447-
%% \fbox{
23448-
%% \begin{minipage}{0.96\textwidth}
23449-
%% \small
23450-
%% \[
23451-
%% \begin{array}{lcl}
23452-
%% \Atm &::=& \gray{ \Int \MID \Var \MID \itm{bool} } \\
23453-
%% \itm{cmp} &::= & \gray{ \key{eq?} \MID \key{<} } \\
23454-
%% \Exp &::=& \gray{ \Atm \MID \key{(read)} \MID \key{(-}~\Atm\key{)} \MID \key{(+}~\Atm~\Atm\key{)} } \\
23455-
%% &\MID& \gray{ \LP \key{not}~\Atm \RP \MID \LP \itm{cmp}~\Atm~\Atm\RP } \\
23456-
%% &\MID& \LP \key{allocate}~\Int~\Type \RP \\
23457-
%% &\MID& (\key{vector-ref}\;\Atm\;\Int) \MID (\key{vector-set!}\;\Atm\;\Int\;\Atm)\\
23458-
%% &\MID& \LP \key{global-value}~\Var \RP \MID \LP \key{void} \RP \\
23459-
%% \Stmt &::=& \gray{ \Var~\key{=}~\Exp\key{;} } \MID \LP\key{collect}~\Int \RP\\
23460-
%% \Tail &::= & \gray{ \key{return}~\Exp\key{;} \MID \Stmt~\Tail }
23461-
%% \MID \gray{ \key{goto}~\itm{label}\key{;} }\\
23462-
%% &\MID& \gray{ \key{if}~\LP \itm{cmp}~\Atm~\Atm \RP~ \key{goto}~\itm{label}\key{;} ~\key{else}~\key{goto}~\itm{label}\key{;} } \\
23463-
%% \LangCVecM{} & ::= & \gray{ (\itm{label}\key{:}~ \Tail)\ldots }
23464-
%% \end{array}
23465-
%% \]
23466-
%% \end{minipage}
23467-
%% }
23468-
%% \caption{The concrete syntax of the \LangCVec{} intermediate language.}
23469-
%% \label{fig:c2-concrete-syntax}
23470-
%% \end{figure}
23471-
23472-
%% \begin{figure}[tp]
23473-
%% \fbox{
23474-
%% \begin{minipage}{0.96\textwidth}
23475-
%% \small
23476-
%% \[
23477-
%% \begin{array}{lcl}
23478-
%% \Atm &::=& \gray{ \Int \MID \Var \MID \key{\#t} \MID \key{\#f} }
23479-
%% \\
23480-
%% \itm{cmp} &::= & \gray{ \key{eq?} \MID \key{<} } \\
23481-
%% \Exp &::= & \gray{ \Atm \MID \LP\key{read}\RP \MID \LP\key{-}\;\Atm\RP \MID \LP\key{+} \; \Atm\;\Atm\RP
23482-
%% \MID \LP\key{not}\;\Atm\RP \MID \LP\itm{cmp}\;\Atm\;\Atm\RP } \\
23483-
%% &\MID& \gray{ \LP\key{allocate}\,\Int\,\Type\RP
23484-
%% \MID \LP\key{vector-ref}\, \Atm\, \Int\RP } \\
23485-
%% &\MID& \gray{ \LP\key{vector-set!}\,\Atm\,\Int\,\Atm\RP \MID \LP\key{global-value} \,\itm{name}\RP \MID \LP\key{void}\RP } \\
23486-
%% &\MID& \LP\key{fun-ref}~\itm{label}~\Int\RP \MID \LP\key{call} \,\Atm\,\Atm\ldots\RP \\
23487-
%% \Stmt &::=& \gray{ \ASSIGN{\Var}{\Exp} \MID \RETURN{\Exp}
23488-
%% \MID \LP\key{collect} \,\itm{int}\RP }\\
23489-
%% \Tail &::= & \gray{\RETURN{\Exp} \MID \LP\key{seq}\;\Stmt\;\Tail\RP} \\
23490-
%% &\MID& \gray{\LP\key{goto}\,\itm{label}\RP
23491-
%% \MID \IF{\LP\itm{cmp}\, \Atm\,\Atm\RP}{\LP\key{goto}\,\itm{label}\RP}{\LP\key{goto}\,\itm{label}\RP}} \\
23492-
%% &\MID& \LP\key{tail-call}\,\Atm\,\Atm\ldots\RP \\
23493-
%% \Def &::=& \LP\key{define}\; \LP\itm{label} \; [\Var \key{:} \Type]\ldots\RP \key{:} \Type \; \LP\LP\itm{label}\,\key{.}\,\Tail\RP\ldots\RP\RP \\
23494-
%% \LangCFunM{} & ::= & \Def\ldots
23495-
%% \end{array}
23496-
%% \]
23497-
%% \end{minipage}
23498-
%% }
23499-
%% \caption{The \LangCFun{} language, extending \LangCVec{} (figure~\ref{fig:c2-concrete-syntax}) with functions.}
23500-
%% \label{fig:c3-concrete-syntax}
23501-
%% \end{figure}
23502-
23503-
%% \fi % racketEd
2350423403

2350523404
\backmatter
2350623405
\addtocontents{toc}{\vspace{11pt}}
2350723406

23508-
%% \addtocontents{toc}{\vspace{11pt}}
23509-
23510-
%% \nocite{*} is a way to get all the entries in the .bib file to print in the bibliography:
2351123407
\cleardoublepage % needed for right page number in TOC for References
23408+
23409+
%% \nocite{*} is a way to get all the entries in the .bib file to
23410+
%% print in the bibliography:
2351223411
\nocite{*}\let\bibname\refname
2351323412
\addcontentsline{toc}{fmbm}{\refname}
2351423413
\printbibliography

0 commit comments

Comments
 (0)