# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1424760862 -32400
# Node ID 11a86cf869e2478c0d7551862d5f924a68b4070c
# Parent  aeeafe537a1761eba76b715bd848622d613457fa
Wrote introduction

diff -r aeeafe537a17 -r 11a86cf869e2 delta.tex
--- 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 @@
-\documentclass{sigplanconf}
+\documentclass[preprint]{sigplanconf}
 
 % 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 @@
 \keywords
 keyword1, keyword2
 
-\section{Introduction}
+\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.
 
 \appendix
 \section{Appendix Title}