lib/templates/ACM-sigplan.lyx

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