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 stackrel 0
41 \use_package stmaryrd 0
42 \use_package undertilde 0
44 \cite_engine_type numerical
48 \paperorientation portrait
58 \paragraph_separation indent
59 \paragraph_indentation default
60 \quotes_language english
63 \paperpagestyle default
64 \tracking_changes false
73 \begin_layout Standard
74 \begin_inset Note Note
77 \begin_layout Plain Layout
78 This is a template LyX file for articles to be submitted to the Special
79 Interest Group on Programming Languages (SIGPLAN).
80 How to install the SIGPLAN LaTeX class to your LaTeX system is explained
85 \begin_layout Plain Layout
87 http://wiki.lyx.org/Examples/AcmSigplan
100 \begin_layout Conference
101 \begin_inset Argument 1
104 \begin_layout Plain Layout
110 June 12--15, 2005, Chicago, Illinois, USA.
113 \begin_layout CopyrightYear
117 \begin_layout Copyrightdata
118 1-59593-057-4/05/0004
121 \begin_layout TitleBanner
122 Banner above paper title
123 \begin_inset Note Note
126 \begin_layout Plain Layout
127 is ignored unless document class option 'preprint' is used
135 \begin_layout PreprintFooter
136 Short description of paper
137 \begin_inset Note Note
140 \begin_layout Plain Layout
141 is ignored unless document class option 'preprint' is used
154 \begin_layout Plain Layout
155 This work was supported by ...
163 \begin_layout Subtitle
165 \begin_inset Note Note
168 \begin_layout Plain Layout
178 \begin_inset Argument 1
181 \begin_layout Plain Layout
186 \begin_layout Plain Layout
202 \begin_inset Argument 2
205 \begin_layout Plain Layout
211 smith@cs.princeton.edu
212 \begin_inset Newline newline
215 anagnostopoulos@cs.princeton.edu
216 \begin_inset Note Note
219 \begin_layout Plain Layout
220 At least one autor is required.
229 \begin_inset Argument 1
232 \begin_layout Plain Layout
239 \begin_inset Argument 2
242 \begin_layout Plain Layout
243 Washington University in St.
245 \begin_inset Newline newline
248 Department of Electrical and Computer Engineering
249 \begin_inset Newline newline
252 3301 S Dearborn Street
253 \begin_inset Newline newline
262 flymuffin@cs.wustl.edu
265 \begin_layout Abstract
266 This paper is a demonstration of the Lyx template for the ACM alternate
268 It works quite well and makes writing an ACM paper so much easier.
271 \begin_layout Standard
275 \begin_layout Plain Layout
279 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
282 \begin_layout Plain Layout
286 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
295 \begin_layout Standard
296 \begin_inset Note Note
299 \begin_layout Plain Layout
306 has 3 mandatory + 1 optional arguments
315 Algorithms, Performance, Design
318 \begin_layout Keywords
319 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
320 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
323 \begin_layout Section
327 \begin_layout Standard
328 Bla bla, as listed in
329 \begin_inset CommandInset citation
331 key "Parkin2005,LComp2004"
338 \begin_layout Subsection
342 \begin_layout Enumerate
346 \begin_layout Enumerate
350 \begin_layout Subsubsection
354 \begin_layout Standard
358 \begin_layout Acknowledgments
359 Acknowledgments, if needed.
362 \begin_layout Section
367 \begin_layout Standard
368 Appendix, only when needed, can also be started behind the bibliography.
371 \begin_layout Section*
375 \begin_layout Standard
376 You can use either BibTeX:
377 \begin_inset Note Note
380 \begin_layout Plain Layout
381 The following bibliography styles are allowed:
389 (use then the document class option
401 \begin_layout Standard
402 \begin_inset CommandInset bibtex
404 bibfiles "../examples/biblioExample"
405 options "bibtotoc,plainnat"
412 \begin_layout Section*
413 ---------------------
416 \begin_layout Standard
418 Or plain bibliography:
421 \begin_layout Bibliography
422 \begin_inset CommandInset bibitem
438 Appel, and Roberto Virga.
442 \begin_layout Plain Layout
451 A stratified semantics of general references embeddable in higher-order
456 \begin_layout Plain Layout
467 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
471 \begin_inset Note Note
474 \begin_layout Plain Layout
475 Reference parts have to be separated by
489 \begin_layout Bibliography
490 \begin_inset CommandInset bibitem
505 \begin_layout Plain Layout
514 Foundational proof-carrying code.
518 \begin_layout Plain Layout
529 Symposium on Logic in Computer Science (LICS ’01)