lib/templates/obsolete/ACM-sigplan.lyx

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