lib/templates/ACM-sigplan.lyx

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