Mercurial > hg > Papers > 2015 > atton-icfp

annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
1 \documentclass[preprint]{sigplanconf}
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 % The following \documentclass options may be useful:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 % preprint Remove this option only once the paper is in final form.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 % 10pt To set in 10-point type instead of 9-point.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 % 11pt To set in 11-point type instead of 9-point.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 % authoryear To obtain author/year citation style instead of numeric.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 \usepackage{amsmath}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 \begin{document}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 \special{papersize=8.5in,11in}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 \setlength{\pdfpageheight}{\paperheight}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 \setlength{\pdfpagewidth}{\paperwidth}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18
1
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
19 \conferenceinfo{ICFP '15}{August 31 - September 2 , 2015, Vancouver, British Columbia, Canada}
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
20 \copyrightyear{2015}
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
21 \copyrightdata{978-1-nnnn-nnnn-n/yy/mm}
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 \doi{nnnnnnn.nnnnnnn}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
1
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
24 % Uncomment one of the following two, if you are not going for the
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 % traditional copyright transfer agreement.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
1
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
27 %\exclusivelicense % ACM gets exclusive license to publish,
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 % you retain copyright
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 %\permissiontopublish % ACM gets nonexclusive license to publish
1
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
31 % (paid open-access papers,
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 % short abstracts)
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33
3
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
34 %\titlebanner{banner above paper title} % These are ignored unless
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
35 \preprintfooter{Formalization of Program Modifications using Monad} % 'preprint' option specified.
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
1
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
37 \title{Formalization of Program Modifications using Monad}
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
38
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
39 \subtitle{}
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40
1
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
41 \authorinfo{Yasutaka HIGA}
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
42 {Department of Information Engineering \\ University of the Ryukyus}
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
43 {atton@cr.ie.u-ryukyu.ac.jp}
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
44 \authorinfo{Shiji KONO}
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
45 {University of the Ryukyus}
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
46 {kono@ie.u-ryukyu.ac.jp}
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 \maketitle
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 \begin{abstract}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 This is the text of the abstract.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 \end{abstract}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 \category{CR-number}{subcategory}{third-level}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55
1
7ae8b1797711 Add title and names
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
56 % general terms are not compulsory anymore,
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 % you may leave them out
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 \terms
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 term1, term2
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 \keywords
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 keyword1, keyword2
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63
3
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
64 \section{Formalization of Modifications}
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
65 In software development, programs was modified for implementing features, refactoring, and more.
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
66 But defective modifies decreases reliability of program.
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
67 Formalization of program modifications proposed to improves reliability.
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
68 Especially, We formalized modifications using Monad.
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
69 Monad provides notions of meta computations (partiality, nondeterminism, side-effects, ...) in functional program.
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
70 We define meta computation notated modifications list like structure named Delta Monad.
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71
3
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
72 Delta Monad represents modifications by accumulates all versions of a program.
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
73 Accumulated modifications can computes by meta computation.
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
74 In this paper, We propose meta computation execute a program includes modifications simultaneously on Delta.
11a86cf869e2 Wrote introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
75 Additionally, Delta Monad can be used with other Monads for more computations of modifications.
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 \appendix
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 \section{Appendix Title}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 This is the text of the appendix, if you need one.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 \acks
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 Acknowledgments, if needed.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 % We recommend abbrvnat bibliography style.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 \bibliographystyle{abbrvnat}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 % The bibliography should be embedded for final submission.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 \begin{thebibliography}{}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 \softraggedright
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 \bibitem[Smith et~al.(2009)Smith, Jones]{smith02}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 P. Q. Smith, and X. Y. Jones. ...reference text...
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 \end{thebibliography}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 \end{document}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 % Revision History
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 % -------- -------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 % Date Person Ver. Change
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 % ---- ------ ---- ------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 % 2013.06.29 TU 0.1--4 comments on permission/copyright notices
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109