lib/templates/ACM-sigplan.lyx

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