Mercurial > hg > Papers > 2015 > atton-icfp

comparison 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
comparison
equal deleted inserted replaced
0:32308ce01324 1:7ae8b1797711
1 %-----------------------------------------------------------------------------
2 %
3 % Template for sigplanconf LaTeX Class
4 %
5 % Name: sigplanconf-template.tex
6 %
7 % Purpose: A template for sigplanconf.cls, which is a LaTeX 2e class
8 % file for SIGPLAN conference proceedings.
9 %
10 % Guide: Refer to "Author's Guide to the ACM SIGPLAN Class,"
11 % sigplanconf-guide.pdf
12 %
13 % Author: Paul C. Anagnostopoulos
14 % Windfall Software
15 % 978 371-2316
16 % paul@windfall.com
17 %
18 % Created: 15 February 2005
19 %
20 %-----------------------------------------------------------------------------
21
22
23 \documentclass{sigplanconf} 1 \documentclass{sigplanconf}
24 2
25 % The following \documentclass options may be useful: 3 % The following \documentclass options may be useful:
26 4
27 % 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.
36 14
37 \special{papersize=8.5in,11in} 15 \special{papersize=8.5in,11in}
38 \setlength{\pdfpageheight}{\paperheight} 16 \setlength{\pdfpageheight}{\paperheight}
39 \setlength{\pdfpagewidth}{\paperwidth} 17 \setlength{\pdfpagewidth}{\paperwidth}
40 18
41 \conferenceinfo{CONF 'yy}{Month d--d, 20yy, City, ST, Country} 19 \conferenceinfo{ICFP '15}{August 31 - September 2 , 2015, Vancouver, British Columbia, Canada}
42 \copyrightyear{20yy} 20 \copyrightyear{2015}
43 \copyrightdata{978-1-nnnn-nnnn-n/yy/mm} 21 \copyrightdata{978-1-nnnn-nnnn-n/yy/mm}
44 \doi{nnnnnnn.nnnnnnn} 22 \doi{nnnnnnn.nnnnnnn}
45 23
46 % Uncomment one of the following two, if you are not going for the 24 % Uncomment one of the following two, if you are not going for the
47 % traditional copyright transfer agreement. 25 % traditional copyright transfer agreement.
48 26
49 %\exclusivelicense % ACM gets exclusive license to publish, 27 %\exclusivelicense % ACM gets exclusive license to publish,
50 % you retain copyright 28 % you retain copyright
51 29
52 %\permissiontopublish % ACM gets nonexclusive license to publish 30 %\permissiontopublish % ACM gets nonexclusive license to publish
53 % (paid open-access papers, 31 % (paid open-access papers,
54 % short abstracts) 32 % short abstracts)
55 33
56 \titlebanner{banner above paper title} % These are ignored unless 34 \titlebanner{banner above paper title} % These are ignored unless
57 \preprintfooter{short description of paper} % 'preprint' option specified. 35 \preprintfooter{short description of paper} % 'preprint' option specified.
58 36
59 \title{Title Text} 37 \title{Formalization of Program Modifications using Monad}
60 \subtitle{Subtitle Text, if any}
61 38
62 \authorinfo{Name1} 39 \subtitle{}
63 {Affiliation1} 40
64 {Email1} 41 \authorinfo{Yasutaka HIGA}
65 \authorinfo{Name2\and Name3} 42 {Department of Information Engineering \\ University of the Ryukyus}
66 {Affiliation2/3} 43 {atton@cr.ie.u-ryukyu.ac.jp}
67 {Email2/3} 44 \authorinfo{Shiji KONO}
45 {University of the Ryukyus}
46 {kono@ie.u-ryukyu.ac.jp}
68 47
69 \maketitle 48 \maketitle
70 49
71 \begin{abstract} 50 \begin{abstract}
72 This is the text of the abstract. 51 This is the text of the abstract.
73 \end{abstract} 52 \end{abstract}
74 53
75 \category{CR-number}{subcategory}{third-level} 54 \category{CR-number}{subcategory}{third-level}
76 55
77 % general terms are not compulsory anymore, 56 % general terms are not compulsory anymore,
78 % you may leave them out 57 % you may leave them out
79 \terms 58 \terms
80 term1, term2 59 term1, term2
81 60
82 \keywords 61 \keywords
83 keyword1, keyword2 62 keyword1, keyword2
84 63
85 \section{Introduction} 64 \section{Introduction}
86 65
87 The text of the paper begins here.
88
89 Lots of text.
90
91 More text.
92
93 Lots of text.
94
95 More text.
96
97
98 Lots of text.
99
100 More text.
101
102 Lots of text.
103
104 More text.
105
106
107 Lots of text.
108
109 More text.
110
111 Lots of text.
112
113 More text.
114
115 Lots of text.
116
117 More text.
118
119 Lots of text.
120
121 More text.
122
123 Lots of text.
124
125 More text.
126
127 Lots of text.
128
129 More text.
130
131 Lots of text.
132
133 More text.
134
135 Lots of text.
136
137 More text.
138
139 Lots of text.
140
141 More text.
142
143 Lots of text.
144
145 More text.
146
147
148 Lots of text.
149
150 More text.
151
152 Lots of text.
153
154 More text.
155
156
157 Lots of text.
158
159 More text.
160
161 Lots of text.
162
163 More text.
164
165 Lots of text.
166
167 More text.
168
169 Lots of text.
170
171 More text.
172
173 Lots of text.
174
175 More text.
176
177 Lots of text.
178
179 More text.
180
181 Lots of text.
182
183 More text.
184
185 Lots of text.
186
187 More text.
188
189
190 Lots of text.
191
192 More text.
193
194 Lots of text.
195
196 More text.
197
198
199
200
201 Lots of text.
202
203 More text.
204
205 Lots of text.
206
207 More text.
208
209 Lots of text.
210
211
212 Lots of text.
213
214 More text.
215
216 Lots of text.
217
218 More text.
219
220 Lots of text.
221
222 More text.
223
224 Lots of text.
225
226 More text.
227
228 Lots of text.
229
230 More text.
231
232 Lots of text.
233
234 More text.
235
236 Lots of text.
237
238 More text.
239
240 Lots of text.
241
242 More text.
243
244 Lots of text.
245
246 More text.
247
248 Lots of text.
249
250 More text.
251
252 Lots of text.
253
254 More text.
255
256 Lots of text.
257
258 More text.
259
260 Lots of text.
261 66
262 \appendix 67 \appendix
263 \section{Appendix Title} 68 \section{Appendix Title}
264 69
265 This is the text of the appendix, if you need one. 70 This is the text of the appendix, if you need one.