Mercurial > hg > Papers > 2015 > atton-icfp

annotate delta.tex @ 1:7ae8b1797711

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add title and names
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Mon, 23 Feb 2015 16:09:02 +0900
parents 32308ce01324
children 11a86cf869e2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \documentclass{sigplanconf}
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
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 \titlebanner{banner above paper title} % These are ignored unless
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 \preprintfooter{short description of paper} % 'preprint' option specified.
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
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 \section{Introduction}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 \appendix
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 \section{Appendix Title}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 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
71
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 \acks
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 Acknowledgments, if needed.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 % 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
77
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 \bibliographystyle{abbrvnat}
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 % 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
81
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 \begin{thebibliography}{}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 \softraggedright
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 \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
86 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
87
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 \end{thebibliography}
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
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 \end{document}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 % Revision History
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 % Date Person Ver. Change
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 % ---- ------ ---- ------
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 % 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
99