Mercurial > hg > Papers > 2015 > atton-lola
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