1 #LyX 2.2 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 bibtex
27 \index_command default
29 \paperfontsize default
34 \use_package amsmath 1
35 \use_package amssymb 1
38 \use_package mathdots 1
39 \use_package mathtools 0
41 \use_package stackrel 0
42 \use_package stmaryrd 0
43 \use_package undertilde 0
45 \cite_engine_type default
49 \paperorientation portrait
59 \paragraph_separation indent
60 \paragraph_indentation default
61 \quotes_language english
64 \paperpagestyle default
65 \tracking_changes false
74 \begin_layout Standard
75 \begin_inset Note Note
78 \begin_layout Plain Layout
79 This is a template \SpecialChar LyX
80 file for articles to be submitted to the Special Interest
81 Group on Programming Languages (SIGPLAN).
82 How to install the SIGPLAN \SpecialChar LaTeX
83 class to your \SpecialChar LaTeX
84 system is explained in
88 \begin_layout Plain Layout
90 http://wiki.lyx.org/Examples/AcmSigplan
103 \begin_layout Conference
104 \begin_inset Argument 1
107 \begin_layout Plain Layout
113 June 12–15, 2005, Chicago, Illinois, USA.
116 \begin_layout CopyrightYear
120 \begin_layout Copyrightdata
121 1-59593-057-4/05/0004
124 \begin_layout TitleBanner
125 Banner above paper title
126 \begin_inset Note Note
129 \begin_layout Plain Layout
130 is ignored unless document class option 'preprint' is used
138 \begin_layout PreprintFooter
139 Short description of paper
140 \begin_inset Note Note
143 \begin_layout Plain Layout
144 is ignored unless document class option 'preprint' is used
157 \begin_layout Plain Layout
158 This work was supported by ...
166 \begin_layout Subtitle
168 \begin_inset Note Note
171 \begin_layout Plain Layout
181 \begin_inset Argument 1
184 \begin_layout Plain Layout
189 \begin_layout Plain Layout
205 \begin_inset Argument 2
208 \begin_layout Plain Layout
214 smith@cs.princeton.edu
215 \begin_inset Newline newline
218 anagnostopoulos@cs.princeton.edu
219 \begin_inset Note Note
222 \begin_layout Plain Layout
223 At least one autor is required.
232 \begin_inset Argument 1
235 \begin_layout Plain Layout
242 \begin_inset Argument 2
245 \begin_layout Plain Layout
246 Washington University in St.
248 \begin_inset Newline newline
251 Department of Electrical and Computer Engineering
252 \begin_inset Newline newline
255 3301 S Dearborn Street
256 \begin_inset Newline newline
265 flymuffin@cs.wustl.edu
268 \begin_layout Abstract
269 This paper is a demonstration of the Lyx template for the ACM alternate
271 It works quite well and makes writing an ACM paper so much easier.
274 \begin_layout Standard
278 \begin_layout Plain Layout
282 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
285 \begin_layout Plain Layout
289 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
298 \begin_layout Standard
299 \begin_inset Note Note
302 \begin_layout Plain Layout
309 has 3 mandatory + 1 optional arguments
318 Algorithms, Performance, Design
321 \begin_layout Keywords
322 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
323 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
326 \begin_layout Section
330 \begin_layout Standard
331 Bla bla, as listed in
332 \begin_inset CommandInset citation
334 key "article-minimal,phdthesis-minimal"
341 \begin_layout Subsection
345 \begin_layout Enumerate
349 \begin_layout Enumerate
353 \begin_layout Subsubsection
357 \begin_layout Standard
361 \begin_layout Acknowledgments
362 Acknowledgments, if needed.
365 \begin_layout Section
370 \begin_layout Standard
371 Appendix, only when needed, can also be started behind the bibliography.
374 \begin_layout Section*
378 \begin_layout Standard
379 You can use either Bib\SpecialChar TeX
381 \begin_inset Note Note
384 \begin_layout Plain Layout
385 The following bibliography styles are allowed:
393 (use then the document class option
405 \begin_layout Standard
406 \begin_inset CommandInset bibtex
409 options "bibtotoc,plainnat"
416 \begin_layout Section*
420 \begin_layout Standard
422 Or plain bibliography:
425 \begin_layout Bibliography
426 \begin_inset CommandInset bibitem
442 Appel, and Roberto Virga.
446 \begin_layout Plain Layout
455 A stratified semantics of general references embeddable in higher-order
460 \begin_layout Plain Layout
471 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
475 \begin_inset Note Note
478 \begin_layout Plain Layout
479 Reference parts have to be separated by
493 \begin_layout Bibliography
494 \begin_inset CommandInset bibitem
509 \begin_layout Plain Layout
518 Foundational proof-carrying code.
522 \begin_layout Plain Layout
533 Symposium on Logic in Computer Science (LICS ’01)