--- a/paper/aplas2012.tex	Thu Jun 07 18:47:16 2012 +0900
+++ b/paper/aplas2012.tex	Thu Jun 07 19:13:26 2012 +0900
@@ -5,7 +5,8 @@
 \usepackage{listings}
 
 
-\title{The implementation of recursive type syntax on GCC-4.6 for CbC}
+%\title{The implementation of recursive type syntax on GCC-4.6 for CbC}
+\title{Recursive type syntax in Continuation based C}
 \titlerunning{title running}
 \toctitle{toc title}
 %\subtitle{sub title}
@@ -18,11 +19,17 @@
 \maketitle
 
 \begin{abstract}
-We have implemented C like Continuation based programming language.
-Continuation based C, CbC go by passing a function pointer argument.
-But C syntax is unable to that declare function pointer of recursive type.
-So this time I implementation of tye rectype syntax.
-In this paper I introduce implemented rectype syntax on GCC-4.6.
+We have implemented Continuation based C (CbC).
+CbC is an extension of C, which has parameterized goto statement.
+It is useful for finite state automaton or many core tasks. 
+Goto statement is a way to force tail call elimination.
+The destination of goto statement is called Code Segment, which is actually a normal function of C.
+To represent recursive function call, the type system of C is not enough, because
+it has no recursive types.
+We introduce \verb+__rectype+ keyword for recursive type, and it is implemented in GCC-4.6.0.
+We will compare the conventional methods, \verb+__rectype+ keyword and a method using C structure.
+Also we show usage of CbC and it's benchmark.
+
 \end{abstract}