changeset 17:d79ef5de8858

fix abstract
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 20 Apr 2015 18:22:54 +0900
parents 5cc6bd09b74c
children 31914d668f22
files cfopm.tex
diffstat 1 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/cfopm.tex	Mon Apr 20 11:43:51 2015 +0900
+++ b/cfopm.tex	Mon Apr 20 18:22:54 2015 +0900
@@ -80,8 +80,11 @@
 % in the abstract
 \begin{abstract}
 % FIXME: please check added abstract
-We propsed programming units which can be define meta computation.
-Meta computation of program modification is proposed using Monad.
+We propsed programming units called code segments and data segments.
+These are parts of code and data. It is designed to be work with
+meta compution. To represent meta compuation, Monad is used.
+As an example, we define multi versions of programs
+as a Monad.
 \end{abstract}
 
 % no keywords