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