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
153 10.1145/143365.143376
154 \begin_inset Note Note
157 \begin_layout Plain Layout
158 the digital identifier assigned at doi.acm.org
171 \begin_layout Plain Layout
172 This work was supported by ...
180 \begin_layout Subtitle
182 \begin_inset Note Note
185 \begin_layout Plain Layout
195 \begin_inset Argument 1
198 \begin_layout Plain Layout
203 \begin_layout Plain Layout
219 \begin_inset Argument 2
222 \begin_layout Plain Layout
228 smith@cs.princeton.edu
229 \begin_inset Newline newline
232 anagnostopoulos@cs.princeton.edu
233 \begin_inset Note Note
236 \begin_layout Plain Layout
237 At least one autor is required.
246 \begin_inset Argument 1
249 \begin_layout Plain Layout
256 \begin_inset Argument 2
259 \begin_layout Plain Layout
260 Washington University in St.
262 \begin_inset Newline newline
265 Department of Electrical and Computer Engineering
266 \begin_inset Newline newline
269 3301 S Dearborn Street
270 \begin_inset Newline newline
279 flymuffin@cs.wustl.edu
282 \begin_layout Abstract
283 This paper is a demonstration of the Lyx template for the ACM alternate
285 It works quite well and makes writing an ACM paper so much easier.
288 \begin_layout Standard
292 \begin_layout Plain Layout
296 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
299 \begin_layout Plain Layout
303 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
312 \begin_layout Standard
313 \begin_inset Note Note
316 \begin_layout Plain Layout
323 has 3 mandatory + 1 optional arguments
332 Algorithms, Performance, Design
335 \begin_layout Keywords
336 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
337 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
340 \begin_layout Section
344 \begin_layout Standard
345 Bla bla, as listed in
346 \begin_inset CommandInset citation
348 key "article-minimal,phdthesis-minimal"
355 \begin_layout Subsection
359 \begin_layout Enumerate
363 \begin_layout Enumerate
367 \begin_layout Subsubsection
371 \begin_layout Standard
375 \begin_layout Acknowledgments
376 Acknowledgments, if needed.
379 \begin_layout Section
384 \begin_layout Standard
385 Appendix, only when needed, can also be started behind the bibliography.
388 \begin_layout Section*
392 \begin_layout Standard
393 You can use either Bib\SpecialChar TeX
395 \begin_inset Note Note
398 \begin_layout Plain Layout
399 The following bibliography styles are allowed:
407 (use then the document class option
419 \begin_layout Standard
420 \begin_inset CommandInset bibtex
423 options "bibtotoc,plainnat"
430 \begin_layout Section*
434 \begin_layout Standard
436 Or plain bibliography:
439 \begin_layout Bibliography
440 \begin_inset CommandInset bibitem
456 Appel, and Roberto Virga.
460 \begin_layout Plain Layout
469 A stratified semantics of general references embeddable in higher-order
474 \begin_layout Plain Layout
485 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
489 \begin_inset Note Note
492 \begin_layout Plain Layout
493 Reference parts have to be separated by
507 \begin_layout Bibliography
508 \begin_inset CommandInset bibitem
523 \begin_layout Plain Layout
532 Foundational proof-carrying code.
536 \begin_layout Plain Layout
547 Symposium on Logic in Computer Science (LICS ’01)