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 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 LyX file for articles to be submitted to the Special
80 Interest Group on Programming Languages (SIGPLAN).
81 How to install the SIGPLAN LaTeX class to your LaTeX system is explained
86 \begin_layout Plain Layout
88 http://wiki.lyx.org/Examples/AcmSigplan
101 \begin_layout Conference
102 \begin_inset Argument 1
105 \begin_layout Plain Layout
111 June 12--15, 2005, Chicago, Illinois, USA.
114 \begin_layout CopyrightYear
118 \begin_layout Copyrightdata
119 1-59593-057-4/05/0004
122 \begin_layout TitleBanner
123 Banner above paper title
124 \begin_inset Note Note
127 \begin_layout Plain Layout
128 is ignored unless document class option 'preprint' is used
136 \begin_layout PreprintFooter
137 Short description of paper
138 \begin_inset Note Note
141 \begin_layout Plain Layout
142 is ignored unless document class option 'preprint' is used
155 \begin_layout Plain Layout
156 This work was supported by ...
164 \begin_layout Subtitle
166 \begin_inset Note Note
169 \begin_layout Plain Layout
179 \begin_inset Argument 1
182 \begin_layout Plain Layout
187 \begin_layout Plain Layout
203 \begin_inset Argument 2
206 \begin_layout Plain Layout
212 smith@cs.princeton.edu
213 \begin_inset Newline newline
216 anagnostopoulos@cs.princeton.edu
217 \begin_inset Note Note
220 \begin_layout Plain Layout
221 At least one autor is required.
230 \begin_inset Argument 1
233 \begin_layout Plain Layout
240 \begin_inset Argument 2
243 \begin_layout Plain Layout
244 Washington University in St.
246 \begin_inset Newline newline
249 Department of Electrical and Computer Engineering
250 \begin_inset Newline newline
253 3301 S Dearborn Street
254 \begin_inset Newline newline
263 flymuffin@cs.wustl.edu
266 \begin_layout Abstract
267 This paper is a demonstration of the Lyx template for the ACM alternate
269 It works quite well and makes writing an ACM paper so much easier.
272 \begin_layout Standard
276 \begin_layout Plain Layout
280 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
283 \begin_layout Plain Layout
287 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
296 \begin_layout Standard
297 \begin_inset Note Note
300 \begin_layout Plain Layout
307 has 3 mandatory + 1 optional arguments
316 Algorithms, Performance, Design
319 \begin_layout Keywords
320 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
321 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
324 \begin_layout Section
328 \begin_layout Standard
329 Bla bla, as listed in
330 \begin_inset CommandInset citation
332 key "article-minimal,phdthesis-minimal"
339 \begin_layout Subsection
343 \begin_layout Enumerate
347 \begin_layout Enumerate
351 \begin_layout Subsubsection
355 \begin_layout Standard
359 \begin_layout Acknowledgments
360 Acknowledgments, if needed.
363 \begin_layout Section
368 \begin_layout Standard
369 Appendix, only when needed, can also be started behind the bibliography.
372 \begin_layout Section*
376 \begin_layout Standard
377 You can use either BibTeX:
378 \begin_inset Note Note
381 \begin_layout Plain Layout
382 The following bibliography styles are allowed:
390 (use then the document class option
402 \begin_layout Standard
403 \begin_inset CommandInset bibtex
406 options "bibtotoc,plainnat"
413 \begin_layout Section*
414 ---------------------
417 \begin_layout Standard
419 Or plain bibliography:
422 \begin_layout Bibliography
423 \begin_inset CommandInset bibitem
439 Appel, and Roberto Virga.
443 \begin_layout Plain Layout
452 A stratified semantics of general references embeddable in higher-order
457 \begin_layout Plain Layout
468 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
472 \begin_inset Note Note
475 \begin_layout Plain Layout
476 Reference parts have to be separated by
490 \begin_layout Bibliography
491 \begin_inset CommandInset bibitem
506 \begin_layout Plain Layout
515 Foundational proof-carrying code.
519 \begin_layout Plain Layout
530 Symposium on Logic in Computer Science (LICS ’01)