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