lib/templates/ACM-sigplan.lyx

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