GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-25 10:48:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

2 typos

Browse Source
This commit is contained in:
aarne
2004-09-26 16:10:04 +00:00
parent edce34bbcf
commit e4a0414fbf
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
examples/gfcc/complin.tex
View File

@@ -505,7 +505,7 @@ constituents. The linearization of such a constituent
is compositionally defined to be the record linearizing the body is compositionally defined to be the record linearizing the body
extended with fields for each of the variable symbols: extended with fields for each of the variable symbols:
\[ \[
\sugmap{\lambda x_{0} \rarrow \cdots \rarrow \lambda x_{n} \rarrow b} \sugmap{(\lambda x_{0} \rarrow \cdots \rarrow \lambda x_{n} \rarrow b)}
\;=\; \;=\;
\sugmap{b} *\!* \{\$_{0} = \sugmap{x_{0}} ; \ldots ; \$_{n} = \sugmap{x_{n}}\} \sugmap{b} *\!* \{\$_{0} = \sugmap{x_{0}} ; \ldots ; \$_{n} = \sugmap{x_{n}}\}
\] \]
@@ -747,7 +747,7 @@ in Appendix C, we do not treat symbol tables
in linearization, but instead generated code in in linearization, but instead generated code in
\empha{Symbolic JVM}---that is, JVM with symbolic addresses. \empha{Symbolic JVM}---that is, JVM with symbolic addresses.
Therefore we need a postprocessor that resolves the symbolic addresses, Therefore we need a postprocessor that resolves the symbolic addresses,
shown in Appendix D. shown in Appendix E.
To make the postprocessor straightforward, To make the postprocessor straightforward,
Symbolic JVM has special \texttt{alloc} instructions, Symbolic JVM has special \texttt{alloc} instructions,