--- a/cfopm.tex	Fri Apr 17 12:32:42 2015 +0900
+++ b/cfopm.tex	Fri Apr 17 15:23:34 2015 +0900
@@ -77,27 +77,26 @@
 % creates the second title. It will be ignored for other modes.
 \IEEEpeerreviewmaketitle
 
-
-
-\section{Introduction}
-% no \IEEEPARstart
-This demo file is intended to serve as a ``starter file''
-for IEEE conference papers produced under \LaTeX\ using
-IEEEtran.cls version 1.8a and later.
-% You must have at least 2 lines in the paragraph with the drop letter
-% (should never be an issue)
-I wish you the best of success.
+\section{Continuation based C}  % enough only describe code/data segment?
+We proposed programming style using unit of program named code segment and data segment. % TODO: ref
+Code segment is a unit of calculation is not dependents state.
+Data segment contains values of calculation and calculation context called meta data segment.
+Execution of program is represented by moves interconnected code segments.
+Code/Data segment style programming was suitable to state based concurrent program.
 
-\hfill mds
-
-\hfill September 17, 2014
+Programming language 'Continuation based C' (CbC) supported code/data segment style programming. % TODO: ref
+CbC is lower language of C removed function call and loop-statements(for, while) and added continuation by goto and code segment.
+Code segment of CbC is function without return values in C.
+Interconnections of code segment represents goto with environment.
+CbC can define meta calculation as calculation of calculation named meta code segment.
+Meta computations contains various computations including partiality, nondeterminism, side-effects, exceptions and continuations.
 
-\subsection{Subsection Heading Here}
-Subsection text here.
+\section{Meta computation and Monads}
+Meta computations in CbC formalized by Monads so prevent chaos by unlimited computations.
+Monads are a notion of Category Theory, in programs Monad correspondence of normal/meta computations.
+For example, function can fail is represented direct sum of values and bottom.
 
-
-\subsubsection{Subsubsection Heading Here}
-Subsubsection text here.
+\section{Modification of Programs using a Monad}
 
 
 % An example of a floating figure using the graphicx package.