lib/templates/ACM-sigplan.lyx

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