lib/templates/ACM-sigplan.lyx

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