Mercurial > hg > Papers > 2015 > atton-icfp

comparison delta.tex @ 3:11a86cf869e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wrote introduction
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 24 Feb 2015 15:54:22 +0900
parents 7ae8b1797711
children ecebdd7bfa48
comparison
equal deleted inserted replaced
2:aeeafe537a17 3:11a86cf869e2
1 \documentclass{sigplanconf} 1 \documentclass[preprint]{sigplanconf}
2 2
3 % The following \documentclass options may be useful: 3 % The following \documentclass options may be useful:
4 4
5 % preprint Remove this option only once the paper is in final form. 5 % preprint Remove this option only once the paper is in final form.
6 % 10pt To set in 10-point type instead of 9-point. 6 % 10pt To set in 10-point type instead of 9-point.
29 29
30 %\permissiontopublish % ACM gets nonexclusive license to publish 30 %\permissiontopublish % ACM gets nonexclusive license to publish
31 % (paid open-access papers, 31 % (paid open-access papers,
32 % short abstracts) 32 % short abstracts)
33 33
34 \titlebanner{banner above paper title} % These are ignored unless 34 %\titlebanner{banner above paper title} % These are ignored unless
35 \preprintfooter{short description of paper} % 'preprint' option specified. 35 \preprintfooter{Formalization of Program Modifications using Monad} % 'preprint' option specified.
36 36
37 \title{Formalization of Program Modifications using Monad} 37 \title{Formalization of Program Modifications using Monad}
38 38
39 \subtitle{} 39 \subtitle{}
40 40
59 term1, term2 59 term1, term2
60 60
61 \keywords 61 \keywords
62 keyword1, keyword2 62 keyword1, keyword2
63 63
64 \section{Introduction} 64 \section{Formalization of Modifications}
65 In software development, programs was modified for implementing features, refactoring, and more.
66 But defective modifies decreases reliability of program.
67 Formalization of program modifications proposed to improves reliability.
68 Especially, We formalized modifications using Monad.
69 Monad provides notions of meta computations (partiality, nondeterminism, side-effects, ...) in functional program.
70 We define meta computation notated modifications list like structure named Delta Monad.
65 71
72 Delta Monad represents modifications by accumulates all versions of a program.
73 Accumulated modifications can computes by meta computation.
74 In this paper, We propose meta computation execute a program includes modifications simultaneously on Delta.
75 Additionally, Delta Monad can be used with other Monads for more computations of modifications.
66 76
67 \appendix 77 \appendix
68 \section{Appendix Title} 78 \section{Appendix Title}
69 79
70 This is the text of the appendix, if you need one. 80 This is the text of the appendix, if you need one.