lib/templates/Obsolete/ACM_SIGPLAN_%28Obsolete%29.lyx

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