changeset 3:11a86cf869e2

Wrote introduction
author Yasutaka Higa <>
date Tue, 24 Feb 2015 15:54:22 +0900
parents aeeafe537a17
children ecebdd7bfa48
files delta.tex
diffstat 1 files changed, 14 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/delta.tex	Mon Feb 23 20:28:57 2015 +0900
+++ b/delta.tex	Tue Feb 24 15:54:22 2015 +0900
@@ -1,4 +1,4 @@
 % The following \documentclass options may be useful:
@@ -31,8 +31,8 @@
                                   % (paid open-access papers,
                                   % short abstracts)
-\titlebanner{banner above paper title}        % These are ignored unless
-\preprintfooter{short description of paper}   % 'preprint' option specified.
+%\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}
@@ -61,8 +61,18 @@
 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}