lib/templates/ACM-sigplan.lyx

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