lib/templates/ACM-sigplan.lyx

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