lib/templates/ACM-sigplan.lyx

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