1 #LyX 2.1 created this file. For more info see http://www.lyx.org/
7 \use_default_options false
8 \maintain_unincluded_children false
10 \language_package default
11 \inputencoding default
15 \font_typewriter default
17 \font_default_family default
18 \use_non_tex_fonts false
24 \default_output_format default
26 \bibtex_command default
27 \index_command default
29 \paperfontsize default
34 \use_package amsmath 1
35 \use_package amssymb 1
37 \use_package mathdots 1
38 \use_package mathtools 0
40 \use_package undertilde 0
42 \cite_engine_type numerical
46 \paperorientation portrait
56 \paragraph_separation indent
57 \paragraph_indentation default
58 \quotes_language english
61 \paperpagestyle default
62 \tracking_changes false
71 \begin_layout Standard
72 \begin_inset Note Note
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
83 \begin_layout Plain Layout
85 http://wiki.lyx.org/Examples/AcmSigplan
98 \begin_layout Conference
99 \begin_inset Argument 1
102 \begin_layout Plain Layout
108 June 12--15, 2005, Chicago, Illinois, USA.
111 \begin_layout CopyrightYear
115 \begin_layout Copyrightdata
116 1-59593-057-4/05/0004
119 \begin_layout TitleBanner
120 Banner above paper title
121 \begin_inset Note Note
124 \begin_layout Plain Layout
125 is ignored unless document class option 'preprint' is used
133 \begin_layout PreprintFooter
134 Short description of paper
135 \begin_inset Note Note
138 \begin_layout Plain Layout
139 is ignored unless document class option 'preprint' is used
152 \begin_layout Plain Layout
153 This work was supported by ...
161 \begin_layout Subtitle
163 \begin_inset Note Note
166 \begin_layout Plain Layout
176 \begin_inset Argument 1
179 \begin_layout Plain Layout
184 \begin_layout Plain Layout
200 \begin_inset Argument 2
203 \begin_layout Plain Layout
209 smith@cs.princeton.edu
210 \begin_inset Newline newline
213 anagnostopoulos@cs.princeton.edu
214 \begin_inset Note Note
217 \begin_layout Plain Layout
218 At least one autor is required.
227 \begin_inset Argument 1
230 \begin_layout Plain Layout
237 \begin_inset Argument 2
240 \begin_layout Plain Layout
241 Washington University in St.
243 \begin_inset Newline newline
246 Department of Electrical and Computer Engineering
247 \begin_inset Newline newline
250 3301 S Dearborn Street
251 \begin_inset Newline newline
260 flymuffin@cs.wustl.edu
263 \begin_layout Abstract
264 This paper is a demonstration of the Lyx template for the ACM alternate
266 It works quite well and makes writing an ACM paper so much easier.
269 \begin_layout Standard
273 \begin_layout Plain Layout
277 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
280 \begin_layout Plain Layout
284 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
293 \begin_layout Standard
294 \begin_inset Note Note
297 \begin_layout Plain Layout
304 has 3 mandatory + 1 optional arguments
313 Algorithms, Performance, Design
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
321 \begin_layout Section
325 \begin_layout Standard
326 Bla bla, as listed in
327 \begin_inset CommandInset citation
329 key "Parkin2005,LComp2004"
336 \begin_layout Subsection
340 \begin_layout Enumerate
344 \begin_layout Enumerate
348 \begin_layout Subsubsection
352 \begin_layout Standard
356 \begin_layout Acknowledgments
357 Acknowledgments, if needed.
360 \begin_layout Section
365 \begin_layout Standard
366 Appendix, only when needed, can also be started behind the bibliography.
369 \begin_layout Section*
373 \begin_layout Standard
374 You can use either BibTeX:
375 \begin_inset Note Note
378 \begin_layout Plain Layout
379 The following bibliography styles are allowed:
387 (use then the document class option
399 \begin_layout Standard
400 \begin_inset CommandInset bibtex
402 bibfiles "../examples/biblioExample"
403 options "bibtotoc,plainnat"
410 \begin_layout Section*
411 ---------------------
414 \begin_layout Standard
416 Or plain bibliography:
419 \begin_layout Bibliography
420 \begin_inset CommandInset bibitem
436 Appel, and Roberto Virga.
440 \begin_layout Plain Layout
449 A stratified semantics of general references embeddable in higher-order
454 \begin_layout Plain Layout
465 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
469 \begin_inset Note Note
472 \begin_layout Plain Layout
473 Reference parts have to be separated by
487 \begin_layout Bibliography
488 \begin_inset CommandInset bibitem
503 \begin_layout Plain Layout
512 Foundational proof-carrying code.
516 \begin_layout Plain Layout
527 Symposium on Logic in Computer Science (LICS ’01)