lib/templates/ACM-sigplan.lyx

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