1 #LyX 2.3 created this file. For more info see http://www.lyx.org/
5 \save_transient_properties true
6 \origin /systemlyxdir/templates/Obsolete/
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 1
45 \use_package stackrel 1
46 \use_package stmaryrd 1
47 \use_package undertilde 1
49 \cite_engine_type default
53 \paperorientation portrait
64 \paragraph_separation indent
65 \paragraph_indentation default
67 \math_numbering_side default
72 \paperpagestyle default
73 \tracking_changes false
82 \begin_layout Standard
83 \begin_inset Note Note
86 \begin_layout Plain Layout
87 This is a template \SpecialChar LyX
88 file for articles to be submitted to the Special Interest
89 Group on Programming Languages (SIGPLAN).
90 How to install the SIGPLAN \SpecialChar LaTeX
91 class to your \SpecialChar LaTeX
92 system is explained in
96 \begin_layout Plain Layout
98 https://wiki.lyx.org/Examples/AcmSigplan
111 \begin_layout Conference
112 \begin_inset Argument 1
115 \begin_layout Plain Layout
121 June 12–15, 2005, Chicago, Illinois, USA.
124 \begin_layout CopyrightYear
128 \begin_layout Copyrightdata
129 1-59593-057-4/05/0004
132 \begin_layout TitleBanner
133 Banner above paper title
134 \begin_inset Note Note
137 \begin_layout Plain Layout
138 is ignored unless document class option 'preprint' is used
146 \begin_layout PreprintFooter
147 Short description of paper
148 \begin_inset Note Note
151 \begin_layout Plain Layout
152 is ignored unless document class option 'preprint' is used
161 10.1145/143365.143376
162 \begin_inset Note Note
165 \begin_layout Plain Layout
166 the digital identifier assigned at doi.acm.org
179 \begin_layout Plain Layout
180 This work was supported by ...
188 \begin_layout Subtitle
190 \begin_inset Note Note
193 \begin_layout Plain Layout
203 \begin_inset Argument 1
206 \begin_layout Plain Layout
211 \begin_layout Plain Layout
227 \begin_inset Argument 2
230 \begin_layout Plain Layout
236 smith@cs.princeton.edu
237 \begin_inset Newline newline
240 anagnostopoulos@cs.princeton.edu
241 \begin_inset Note Note
244 \begin_layout Plain Layout
245 At least one autor is required.
254 \begin_inset Argument 1
257 \begin_layout Plain Layout
264 \begin_inset Argument 2
267 \begin_layout Plain Layout
268 Washington University in St.
270 \begin_inset Newline newline
273 Department of Electrical and Computer Engineering
274 \begin_inset Newline newline
277 3301 S Dearborn Street
278 \begin_inset Newline newline
287 flymuffin@cs.wustl.edu
290 \begin_layout Abstract
291 This paper is a demonstration of the Lyx template for the ACM alternate
293 It works quite well and makes writing an ACM paper so much easier.
296 \begin_layout Standard
300 \begin_layout Plain Layout
304 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
307 \begin_layout Plain Layout
311 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
320 \begin_layout Standard
321 \begin_inset Note Note
324 \begin_layout Plain Layout
331 has 3 mandatory + 1 optional arguments
340 Algorithms, Performance, Design
343 \begin_layout Keywords
344 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
345 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
348 \begin_layout Section
352 \begin_layout Standard
353 Bla bla, as listed in
354 \begin_inset CommandInset citation
356 key "article-minimal,phdthesis-minimal"
364 \begin_layout Subsection
368 \begin_layout Enumerate
372 \begin_layout Enumerate
376 \begin_layout Subsubsection
380 \begin_layout Standard
384 \begin_layout Acknowledgments
385 Acknowledgments, if needed.
388 \begin_layout Section
393 \begin_layout Standard
394 Appendix, only when needed, can also be started behind the bibliography.
397 \begin_layout Section*
401 \begin_layout Standard
402 You can use either Bib\SpecialChar TeX
404 \begin_inset Note Note
407 \begin_layout Plain Layout
408 The following bibliography styles are allowed:
416 (use then the document class option
428 \begin_layout Standard
429 \begin_inset CommandInset bibtex
432 options "bibtotoc,plainnat"
439 \begin_layout Section*
443 \begin_layout Standard
445 Or plain bibliography:
448 \begin_layout Bibliography
449 \begin_inset CommandInset bibitem
466 Appel, and Roberto Virga.
470 \begin_layout Plain Layout
479 A stratified semantics of general references embeddable in higher-order
484 \begin_layout Plain Layout
495 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
499 \begin_inset Note Note
502 \begin_layout Plain Layout
503 Reference parts have to be separated by
517 \begin_layout Bibliography
518 \begin_inset CommandInset bibitem
534 \begin_layout Plain Layout
543 Foundational proof-carrying code.
547 \begin_layout Plain Layout
558 Symposium on Logic in Computer Science (LICS ’01)