1 #LyX 2.4 created this file. For more info see https://www.lyx.org/
5 \save_transient_properties true
6 \origin /systemlyxdir/templates/Obsolete/
9 \use_default_options false
10 \maintain_unincluded_children no
12 \language_package default
13 \inputencoding auto-legacy
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_typewriter_osf false
25 \font_sf_scale 100 100
26 \font_tt_scale 100 100
28 \use_dash_ligatures false
30 \default_output_format default
32 \bibtex_command bibtex
33 \index_command default
35 \paperfontsize default
40 \use_package amsmath 1
41 \use_package amssymb 1
44 \use_package mathdots 1
45 \use_package mathtools 1
47 \use_package stackrel 1
48 \use_package stmaryrd 1
49 \use_package undertilde 1
51 \cite_engine_type default
55 \paperorientation portrait
67 \paragraph_separation indent
68 \paragraph_indentation default
70 \math_numbering_side default
75 \paperpagestyle default
76 \tracking_changes false
77 \postpone_fragile_content false
86 \begin_layout Standard
87 \begin_inset Note Note
90 \begin_layout Plain Layout
91 This is a template \SpecialChar LyX
92 file for articles to be submitted to the Special Interest
93 Group on Programming Languages (SIGPLAN).
94 How to install the SIGPLAN \SpecialChar LaTeX
95 class to your \SpecialChar LaTeX
96 system is explained in
100 \begin_layout Plain Layout
102 https://wiki.lyx.org/Examples/AcmSigplan
115 \begin_layout Conference
116 \begin_inset Argument 1
119 \begin_layout Plain Layout
125 June 12–15, 2005, Chicago, Illinois, USA.
128 \begin_layout CopyrightYear
132 \begin_layout Copyrightdata
133 1-59593-057-4/05/0004
136 \begin_layout TitleBanner
137 Banner above paper title
138 \begin_inset Note Note
141 \begin_layout Plain Layout
142 is ignored unless document class option 'preprint' is used
150 \begin_layout PreprintFooter
151 Short description of paper
152 \begin_inset Note Note
155 \begin_layout Plain Layout
156 is ignored unless document class option 'preprint' is used
165 10.1145/143365.143376
166 \begin_inset Note Note
169 \begin_layout Plain Layout
170 the digital identifier assigned at doi.acm.org
183 \begin_layout Plain Layout
184 This work was supported by ...
192 \begin_layout Subtitle
194 \begin_inset Note Note
197 \begin_layout Plain Layout
207 \begin_inset Argument 1
210 \begin_layout Plain Layout
215 \begin_layout Plain Layout
231 \begin_inset Argument 2
234 \begin_layout Plain Layout
240 smith@cs.princeton.edu
241 \begin_inset Newline newline
244 anagnostopoulos@cs.princeton.edu
245 \begin_inset Note Note
248 \begin_layout Plain Layout
249 At least one autor is required.
258 \begin_inset Argument 1
261 \begin_layout Plain Layout
268 \begin_inset Argument 2
271 \begin_layout Plain Layout
272 Washington University in St.
274 \begin_inset Newline newline
277 Department of Electrical and Computer Engineering
278 \begin_inset Newline newline
281 3301 S Dearborn Street
282 \begin_inset Newline newline
291 flymuffin@cs.wustl.edu
294 \begin_layout Abstract
295 This paper is a demonstration of the Lyx template for the ACM alternate
297 It works quite well and makes writing an ACM paper so much easier.
300 \begin_layout Standard
304 \begin_layout Plain Layout
308 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
311 \begin_layout Plain Layout
315 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
324 \begin_layout Standard
325 \begin_inset Note Note
328 \begin_layout Plain Layout
335 has 3 mandatory + 1 optional arguments
344 Algorithms, Performance, Design
347 \begin_layout Keywords
348 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
349 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
352 \begin_layout Section
356 \begin_layout Standard
357 Bla bla, as listed in
358 \begin_inset CommandInset citation
360 key "article-minimal,phdthesis-minimal"
368 \begin_layout Subsection
372 \begin_layout Enumerate
376 \begin_layout Enumerate
380 \begin_layout Subsubsection
384 \begin_layout Standard
388 \begin_layout Acknowledgments
389 Acknowledgments, if needed.
392 \begin_layout Section
397 \begin_layout Standard
398 Appendix, only when needed, can also be started behind the bibliography.
401 \begin_layout Section*
405 \begin_layout Standard
406 You can use either Bib\SpecialChar TeX
408 \begin_inset Note Note
411 \begin_layout Plain Layout
412 The following bibliography styles are allowed:
420 (use then the document class option
432 \begin_layout Standard
433 \begin_inset CommandInset bibtex
436 options "bibtotoc,plainnat"
443 \begin_layout Section*
447 \begin_layout Standard
449 Or plain bibliography:
452 \begin_layout Bibliography
453 \begin_inset CommandInset bibitem
470 Appel, and Roberto Virga.
474 \begin_layout Plain Layout
483 A stratified semantics of general references embeddable in higher-order
488 \begin_layout Plain Layout
499 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
503 \begin_inset Note Note
506 \begin_layout Plain Layout
507 Reference parts have to be separated by
521 \begin_layout Bibliography
522 \begin_inset CommandInset bibitem
538 \begin_layout Plain Layout
547 Foundational proof-carrying code.
551 \begin_layout Plain Layout
562 Symposium on Logic in Computer Science (LICS ’01)