lib/templates/ACM-sigplan.lyx

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