# HG changeset patch
# User Nobuyasu Oshiro  <dimolto@cr.ie.u-ryukyu.ac.jp>
# Date 1340103752 -32400
# Node ID 9e388ffc2c376c8423be5baa09aafa17ad7d05c9
# Parent  0cd49f4081e02d921d604de75c9f21ed575da29c
modify

diff -r 0cd49f4081e0 -r 9e388ffc2c37 paper/aplas2012.tex
--- a/paper/aplas2012.tex	Sat Jun 16 05:32:31 2012 +0900
+++ b/paper/aplas2012.tex	Tue Jun 19 20:02:32 2012 +0900
@@ -29,6 +29,6 @@
 \input{0}	% sections
 
 \bibliography{ref}
-\nocite{kono08f}
+\nocite{r4rs,CompilingWithContinuation,kono08f}
 
 \end{document}
diff -r 0cd49f4081e0 -r 9e388ffc2c37 paper/rectype.ind
--- a/paper/rectype.ind	Sat Jun 16 05:32:31 2012 +0900
+++ b/paper/rectype.ind	Tue Jun 19 20:02:32 2012 +0900
@@ -31,8 +31,8 @@
 is a small medication of C. It consists of a syntax to force tail-call-elimination
 and parameterized goto statement. 
 
-Continuation has long history. Usually it means full copy of computational environment as in Scheme\cite{r4rs}. Our continuation is a simple C function without environment because we have no stack in CbC.
-Using explicit stack, we can convert normal C program into CbC using CPS transformation\cite{CompilingWithContinuation}, 
+Continuation has long history. Usually it means full copy of computational environment as in Scheme \cite{r4rs}. Our continuation is a simple C function without environment because we have no stack in CbC.
+Using explicit stack, we can convert normal C program into CbC using CPS transformation \cite{CompilingWithContinuation}, 
 but we commit it's detail here.
 
 C has capable of recursive functions, but we find it's type system is not enough