view delta.tex @ 3:11a86cf869e2

Wrote introduction
author Yasutaka Higa <>
date Tue, 24 Feb 2015 15:54:22 +0900
parents 7ae8b1797711
children ecebdd7bfa48
line wrap: on
line source


% The following \documentclass options may be useful:

% preprint      Remove this option only once the paper is in final form.
% 10pt          To set in 10-point type instead of 9-point.
% 11pt          To set in 11-point type instead of 9-point.
% authoryear    To obtain author/year citation style instead of numeric.




\conferenceinfo{ICFP '15}{August 31 - September 2 , 2015, Vancouver, British Columbia, Canada}

% Uncomment one of the following two, if you are not going for the
% traditional copyright transfer agreement.

%\exclusivelicense                % ACM gets exclusive license to publish,
                                  % you retain copyright

%\permissiontopublish             % ACM gets nonexclusive license to publish
                                  % (paid open-access papers,
                                  % short abstracts)

%\titlebanner{banner above paper title}        % These are ignored unless
\preprintfooter{Formalization of Program Modifications using Monad}   % 'preprint' option specified.

\title{Formalization of Program Modifications using Monad}


\authorinfo{Yasutaka HIGA}
           {Department of Information Engineering \\ University of the Ryukyus}
\authorinfo{Shiji KONO}
           {University of the Ryukyus}


This is the text of the abstract.


% general terms are not compulsory anymore,
% you may leave them out
term1, term2

keyword1, keyword2

\section{Formalization of Modifications}
In software development, programs was modified for implementing features, refactoring, and more.
But defective modifies decreases reliability of program.
Formalization of program modifications proposed to improves reliability.
Especially, We formalized modifications using Monad.
Monad provides notions of meta computations (partiality, nondeterminism, side-effects, ...) in functional program.
We define meta computation notated modifications list like structure named Delta Monad.

Delta Monad represents modifications by accumulates all versions of a program.
Accumulated modifications can computes by meta computation.
In this paper, We propose meta computation execute a program includes modifications simultaneously on Delta.
Additionally, Delta Monad can be used with other Monads for more computations of modifications.

\section{Appendix Title}

This is the text of the appendix, if you need one.


Acknowledgments, if needed.

% We recommend abbrvnat bibliography style.


% The bibliography should be embedded for final submission.


\bibitem[Smith et~al.(2009)Smith, Jones]{smith02}
P. Q. Smith, and X. Y. Jones. ...reference text...



%                       Revision History
%                       -------- -------
%  Date         Person  Ver.    Change
%  ----         ------  ----    ------

%  2013.06.29   TU      0.1--4  comments on permission/copyright notices