Mercurial > hg > Papers > 2012 > aplas

changeset 53:9e388ffc2c37 draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
modify
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Tue, 19 Jun 2012 20:02:32 +0900
parents 0cd49f4081e0
children
files paper/aplas2012.tex paper/rectype.ind
diffstat 2 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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}
--- 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