lib/templates/ACM-sigplan.lyx

   1 #LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
   2 \lyxformat 344
   3 \begin_document
   4 \begin_header
   5 \textclass sigplanconf
   6 \options natbib
   7 \use_default_options false
   8 \language english
   9 \inputencoding default
  10 \font_roman default
  11 \font_sans default
  12 \font_typewriter default
  13 \font_default_family default
  14 \font_sc false
  15 \font_osf false
  16 \font_sf_scale 100
  17 \font_tt_scale 100
  18
  19 \graphics default
  20 \float_placement tbh
  21 \paperfontsize default
  22 \spacing single
  23 \use_hyperref false
  24 \papersize default
  25 \use_geometry false
  26 \use_amsmath 1
  27 \use_esint 0
  28 \cite_engine basic
  29 \use_bibtopic false
  30 \paperorientation portrait
  31 \secnumdepth 3
  32 \tocdepth 3
  33 \paragraph_separation indent
  34 \defskip medskip
  35 \quotes_language english
  36 \papercolumns 2
  37 \papersides 1
  38 \paperpagestyle default
  39 \tracking_changes false
  40 \output_changes false
  41 \author ""
  42 \author ""
  43 \end_header
  44
  45 \begin_body
  46
  47 \begin_layout Conference
  48 PLDI ’05
  49 \begin_inset ERT
  50 status collapsed
  51
  52 \begin_layout Plain Layout
  53
  54 }{
  55 \end_layout
  56
  57 \end_inset
  58
  59 June 12--15, 2005, Chicago, Illinois, USA.
  60 \begin_inset Note Note
  61 status open
  62
  63 \begin_layout Plain Layout
  64 The Conference expects 2 infos that are separated by
  65 \begin_inset Quotes eld
  66 \end_inset
  67
  68
  69 \series bold
  70 }{
  71 \series default
  72
  73 \begin_inset Quotes erd
  74 \end_inset
  75
  76  in TeX code.
  77 \end_layout
  78
  79 \end_inset
  80
  81
  82 \end_layout
  83
  84 \begin_layout CopyrightYear
  85 2005
  86 \end_layout
  87
  88 \begin_layout Copyrightdata
  89 1-59593-057-4/05/0004
  90 \end_layout
  91
  92 \begin_layout Title
  93 Example ACM Paper
  94 \begin_inset Foot
  95 status open
  96
  97 \begin_layout Plain Layout
  98 This work was supported by ...
  99 \end_layout
 100
 101 \end_inset
 102
 103
 104 \end_layout
 105
 106 \begin_layout Subtitle
 107 Subtitle
 108 \end_layout
 109
 110 \begin_layout Author
 111 Suzi Smith
 112 \begin_inset ERT
 113 status collapsed
 114
 115 \begin_layout Plain Layout
 116
 117
 118 \backslash
 119 and
 120 \end_layout
 121
 122 \end_inset
 123
 124  Paul C.
 125  Anagnostopoulos
 126 \begin_inset ERT
 127 status collapsed
 128
 129 \begin_layout Plain Layout
 130
 131 }{
 132 \end_layout
 133
 134 \end_inset
 135
 136 Princeton University
 137 \begin_inset ERT
 138 status collapsed
 139
 140 \begin_layout Plain Layout
 141
 142 }{
 143 \end_layout
 144
 145 \end_inset
 146
 147 smith@cs.princeton.edu
 148 \begin_inset Newline newline
 149 \end_inset
 150
 151 anagnostopoulos@cs.princeton.edu
 152 \begin_inset Note Note
 153 status open
 154
 155 \begin_layout Plain Layout
 156 At least one autor is required.
 157  The Author field expects 3 infos that are separated by
 158 \begin_inset Quotes eld
 159 \end_inset
 160
 161
 162 \series bold
 163 }{
 164 \series default
 165
 166 \begin_inset Quotes erd
 167 \end_inset
 168
 169  in TeX code.
 170 \end_layout
 171
 172 \end_inset
 173
 174
 175 \end_layout
 176
 177 \begin_layout Author
 178 Fred Flymuffin
 179 \begin_inset ERT
 180 status collapsed
 181
 182 \begin_layout Plain Layout
 183
 184 }{
 185 \end_layout
 186
 187 \end_inset
 188
 189 Washington University in St.
 190  Louis
 191 \begin_inset Newline newline
 192 \end_inset
 193
 194 Department of Electrical and Computer Engineering
 195 \begin_inset Newline newline
 196 \end_inset
 197
 198 3301 S Dearborn Street
 199 \begin_inset Newline newline
 200 \end_inset
 201
 202 St.
 203  Louis, XX 60616, USA
 204 \begin_inset ERT
 205 status collapsed
 206
 207 \begin_layout Plain Layout
 208
 209 }{
 210 \end_layout
 211
 212 \end_inset
 213
 214 flymuffin@cs.wustl.edu
 215 \end_layout
 216
 217 \begin_layout Abstract
 218 This paper is a demonstration of the Lyx template for the ACM alternate
 219  latex style file.
 220  It works quite well and makes writing an ACM paper so much easier.
 221 \end_layout
 222
 223 \begin_layout Standard
 224 \begin_inset ERT
 225 status open
 226
 227 \begin_layout Plain Layout
 228
 229
 230 \backslash
 231 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
 232 \end_layout
 233
 234 \begin_layout Plain Layout
 235
 236
 237 \backslash
 238 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
 239 ed into hardware]
 240 \end_layout
 241
 242 \end_inset
 243
 244
 245 \begin_inset Note Note
 246 status open
 247
 248 \begin_layout Plain Layout
 249
 250 \series bold
 251
 252 \backslash
 253 category
 254 \series default
 255  has 3 mandatory + 1 optional arguments
 256 \end_layout
 257
 258 \end_inset
 259
 260
 261 \end_layout
 262
 263 \begin_layout Terms
 264 Algorithms, Performance, Design
 265 \end_layout
 266
 267 \begin_layout Keywords
 268 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
 269  Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
 270 \end_layout
 271
 272 \begin_layout Section
 273 Introduction
 274 \end_layout
 275
 276 \begin_layout Standard
 277 Bla bla, as listed in
 278 \begin_inset CommandInset citation
 279 LatexCommand cite
 280 key "Parkin2005,LComp2004"
 281
 282 \end_inset
 283
 284 .
 285 \end_layout
 286
 287 \begin_layout Subsection
 288 Subsection
 289 \end_layout
 290
 291 \begin_layout Enumerate
 292 test
 293 \end_layout
 294
 295 \begin_layout Enumerate
 296 test
 297 \end_layout
 298
 299 \begin_layout Subsubsection
 300 Subsubsection
 301 \end_layout
 302
 303 \begin_layout Standard
 304 Bla, bla
 305 \end_layout
 306
 307 \begin_layout Acknowledgments
 308 We would like to thank ...
 309 \end_layout
 310
 311 \begin_layout Section
 312 \start_of_appendix
 313 First appendix
 314 \end_layout
 315
 316 \begin_layout Standard
 317 Appendix, only when needed, can also be started behind the bibliography.
 318 \end_layout
 319
 320 \begin_layout Section*
 321 -----------------
 322 \end_layout
 323
 324 \begin_layout Standard
 325 You can use either BibTeX:
 326 \begin_inset Note Note
 327 status open
 328
 329 \begin_layout Plain Layout
 330 The following bibliography styles are allowed:
 331 \family sans
 332 none
 333 \family default
 334  or
 335 \family sans
 336 plainnat
 337 \family default
 338  (use then the document class option
 339 \family sans
 340 natbib
 341 \family default
 342 )
 343 \end_layout
 344
 345 \end_inset
 346
 347
 348 \end_layout
 349
 350 \begin_layout Standard
 351 \begin_inset CommandInset bibtex
 352 LatexCommand bibtex
 353 bibfiles "../examples/biblioExample"
 354 options "bibtotoc,plainnat"
 355
 356 \end_inset
 357
 358
 359 \end_layout
 360
 361 \begin_layout Section*
 362 ---------------------
 363 \end_layout
 364
 365 \begin_layout Standard
 366 \noindent
 367 Or plain bibliography:
 368 \end_layout
 369
 370 \begin_layout Bibliography
 371 \begin_inset CommandInset bibitem
 372 LatexCommand bibitem
 373 key "ahmed02"
 374
 375 \end_inset
 376
 377 Amal
 378 \begin_inset space ~
 379 \end_inset
 380
 381 J.
 382  Ahmed, Andrew
 383 \begin_inset space ~
 384 \end_inset
 385
 386 W.
 387  Appel, and Roberto Virga.
 388 \begin_inset ERT
 389 status collapsed
 390
 391 \begin_layout Plain Layout
 392
 393
 394 \backslash
 395 newblock
 396 \end_layout
 397
 398 \end_inset
 399
 400  A stratified semantics of general references embeddable in higher-order
 401  logic.
 402 \begin_inset ERT
 403 status collapsed
 404
 405 \begin_layout Plain Layout
 406
 407
 408 \backslash
 409 newblock
 410 \end_layout
 411
 412 \end_inset
 413
 414  I
 415 \emph on
 416 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
 417  (LICS 2002)
 418 \emph default
 419 , July 2002.
 420 \begin_inset Note Note
 421 status open
 422
 423 \begin_layout Plain Layout
 424 Reference parts have to be separated by
 425 \series bold
 426
 427 \backslash
 428 newblock
 429 \series default
 430 .
 431 \end_layout
 432
 433 \end_inset
 434
 435
 436 \end_layout
 437
 438 \begin_layout Bibliography
 439 \begin_inset CommandInset bibitem
 440 LatexCommand bibitem
 441 key "appel01:fpcc"
 442
 443 \end_inset
 444
 445 Andrew
 446 \begin_inset space ~
 447 \end_inset
 448
 449 W.
 450  Appel.
 451 \begin_inset ERT
 452 status collapsed
 453
 454 \begin_layout Plain Layout
 455
 456
 457 \backslash
 458 newblock
 459 \end_layout
 460
 461 \end_inset
 462
 463  Foundational proof-carrying code.
 464 \begin_inset ERT
 465 status collapsed
 466
 467 \begin_layout Plain Layout
 468
 469
 470 \backslash
 471 newblock
 472 \end_layout
 473
 474 \end_inset
 475
 476  In
 477 \emph on
 478 Symposium on Logic in Computer Science (LICS ’01)
 479 \emph default
 480 , pages 247--258.
 481  IEEE, 2001.
 482 \end_layout
 483
 484 \end_body
 485 \end_document