1 #LyX 2.3 created this file. For more info see http://www.lyx.org/
5 \save_transient_properties true
6 \origin /systemlyxdir/templates/
9 \use_default_options false
10 \maintain_unincluded_children false
12 \language_package default
15 \font_roman "default" "default"
16 \font_sans "default" "default"
17 \font_typewriter "default" "default"
18 \font_math "auto" "auto"
19 \font_default_family default
20 \use_non_tex_fonts false
23 \font_sf_scale 100 100
24 \font_tt_scale 100 100
26 \use_dash_ligatures false
28 \default_output_format default
30 \bibtex_command bibtex
31 \index_command default
33 \paperfontsize default
38 \use_package amsmath 1
39 \use_package amssymb 1
42 \use_package mathdots 1
43 \use_package mathtools 0
45 \use_package stackrel 0
46 \use_package stmaryrd 0
47 \use_package undertilde 0
49 \cite_engine_type default
53 \paperorientation portrait
63 \paragraph_separation indent
64 \paragraph_indentation default
69 \paperpagestyle default
70 \tracking_changes false
79 \begin_layout Standard
80 \begin_inset Note Note
83 \begin_layout Plain Layout
84 This is a template \SpecialChar LyX
85 file for articles to be submitted to the Special Interest
86 Group on Programming Languages (SIGPLAN).
87 How to install the SIGPLAN \SpecialChar LaTeX
88 class to your \SpecialChar LaTeX
89 system is explained in
93 \begin_layout Plain Layout
95 http://wiki.lyx.org/Examples/AcmSigplan
108 \begin_layout Conference
109 \begin_inset Argument 1
112 \begin_layout Plain Layout
118 June 12–15, 2005, Chicago, Illinois, USA.
121 \begin_layout CopyrightYear
125 \begin_layout Copyrightdata
126 1-59593-057-4/05/0004
129 \begin_layout TitleBanner
130 Banner above paper title
131 \begin_inset Note Note
134 \begin_layout Plain Layout
135 is ignored unless document class option 'preprint' is used
143 \begin_layout PreprintFooter
144 Short description of paper
145 \begin_inset Note Note
148 \begin_layout Plain Layout
149 is ignored unless document class option 'preprint' is used
158 10.1145/143365.143376
159 \begin_inset Note Note
162 \begin_layout Plain Layout
163 the digital identifier assigned at doi.acm.org
176 \begin_layout Plain Layout
177 This work was supported by ...
185 \begin_layout Subtitle
187 \begin_inset Note Note
190 \begin_layout Plain Layout
200 \begin_inset Argument 1
203 \begin_layout Plain Layout
208 \begin_layout Plain Layout
224 \begin_inset Argument 2
227 \begin_layout Plain Layout
233 smith@cs.princeton.edu
234 \begin_inset Newline newline
237 anagnostopoulos@cs.princeton.edu
238 \begin_inset Note Note
241 \begin_layout Plain Layout
242 At least one autor is required.
251 \begin_inset Argument 1
254 \begin_layout Plain Layout
261 \begin_inset Argument 2
264 \begin_layout Plain Layout
265 Washington University in St.
267 \begin_inset Newline newline
270 Department of Electrical and Computer Engineering
271 \begin_inset Newline newline
274 3301 S Dearborn Street
275 \begin_inset Newline newline
284 flymuffin@cs.wustl.edu
287 \begin_layout Abstract
288 This paper is a demonstration of the Lyx template for the ACM alternate
290 It works quite well and makes writing an ACM paper so much easier.
293 \begin_layout Standard
297 \begin_layout Plain Layout
301 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
304 \begin_layout Plain Layout
308 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
317 \begin_layout Standard
318 \begin_inset Note Note
321 \begin_layout Plain Layout
328 has 3 mandatory + 1 optional arguments
337 Algorithms, Performance, Design
340 \begin_layout Keywords
341 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
342 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
345 \begin_layout Section
349 \begin_layout Standard
350 Bla bla, as listed in
351 \begin_inset CommandInset citation
353 key "article-minimal,phdthesis-minimal"
361 \begin_layout Subsection
365 \begin_layout Enumerate
369 \begin_layout Enumerate
373 \begin_layout Subsubsection
377 \begin_layout Standard
381 \begin_layout Acknowledgments
382 Acknowledgments, if needed.
385 \begin_layout Section
390 \begin_layout Standard
391 Appendix, only when needed, can also be started behind the bibliography.
394 \begin_layout Section*
398 \begin_layout Standard
399 You can use either Bib\SpecialChar TeX
401 \begin_inset Note Note
404 \begin_layout Plain Layout
405 The following bibliography styles are allowed:
413 (use then the document class option
425 \begin_layout Standard
426 \begin_inset CommandInset bibtex
429 options "bibtotoc,plainnat"
436 \begin_layout Section*
440 \begin_layout Standard
442 Or plain bibliography:
445 \begin_layout Bibliography
446 \begin_inset CommandInset bibitem
463 Appel, and Roberto Virga.
467 \begin_layout Plain Layout
476 A stratified semantics of general references embeddable in higher-order
481 \begin_layout Plain Layout
492 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
496 \begin_inset Note Note
499 \begin_layout Plain Layout
500 Reference parts have to be separated by
514 \begin_layout Bibliography
515 \begin_inset CommandInset bibitem
531 \begin_layout Plain Layout
540 Foundational proof-carrying code.
544 \begin_layout Plain Layout
555 Symposium on Logic in Computer Science (LICS ’01)