lib/templates/ACM-sigplan.lyx

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