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 1
45 \use_package stackrel 1
46 \use_package stmaryrd 1
47 \use_package undertilde 1
49 \cite_engine_type default
53 \paperorientation portrait
63 \paragraph_separation indent
64 \paragraph_indentation default
66 \math_numbering_side default
70 \paperpagestyle default
71 \tracking_changes false
81 \begin_layout Standard
82 \begin_inset Note Note
85 \begin_layout Plain Layout
86 This is a template \SpecialChar LyX
87 file for articles to be submitted to the Special Interest
88 Group on Programming Languages (SIGPLAN).
89 How to install the SIGPLAN \SpecialChar LaTeX
90 class to your \SpecialChar LaTeX
91 system is explained in
95 \begin_layout Plain Layout
97 http://wiki.lyx.org/Examples/AcmSigplan
110 \begin_layout Conference
111 \begin_inset Argument 1
114 \begin_layout Plain Layout
120 June 12–15, 2005, Chicago, Illinois, USA.
123 \begin_layout CopyrightYear
127 \begin_layout Copyrightdata
128 1-59593-057-4/05/0004
131 \begin_layout TitleBanner
132 Banner above paper title
133 \begin_inset Note Note
136 \begin_layout Plain Layout
137 is ignored unless document class option 'preprint' is used
145 \begin_layout PreprintFooter
146 Short description of paper
147 \begin_inset Note Note
150 \begin_layout Plain Layout
151 is ignored unless document class option 'preprint' is used
160 10.1145/143365.143376
161 \begin_inset Note Note
164 \begin_layout Plain Layout
165 the digital identifier assigned at doi.acm.org
178 \begin_layout Plain Layout
179 This work was supported by ...
187 \begin_layout Subtitle
189 \begin_inset Note Note
192 \begin_layout Plain Layout
202 \begin_inset Argument 1
205 \begin_layout Plain Layout
210 \begin_layout Plain Layout
226 \begin_inset Argument 2
229 \begin_layout Plain Layout
235 smith@cs.princeton.edu
236 \begin_inset Newline newline
239 anagnostopoulos@cs.princeton.edu
240 \begin_inset Note Note
243 \begin_layout Plain Layout
244 At least one autor is required.
253 \begin_inset Argument 1
256 \begin_layout Plain Layout
263 \begin_inset Argument 2
266 \begin_layout Plain Layout
267 Washington University in St.
269 \begin_inset Newline newline
272 Department of Electrical and Computer Engineering
273 \begin_inset Newline newline
276 3301 S Dearborn Street
277 \begin_inset Newline newline
286 flymuffin@cs.wustl.edu
289 \begin_layout Abstract
290 This paper is a demonstration of the Lyx template for the ACM alternate
292 It works quite well and makes writing an ACM paper so much easier.
295 \begin_layout Standard
299 \begin_layout Plain Layout
303 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
306 \begin_layout Plain Layout
310 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
319 \begin_layout Standard
320 \begin_inset Note Note
323 \begin_layout Plain Layout
330 has 3 mandatory + 1 optional arguments
339 Algorithms, Performance, Design
342 \begin_layout Keywords
343 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
344 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
347 \begin_layout Section
351 \begin_layout Standard
352 Bla bla, as listed in
353 \begin_inset CommandInset citation
355 key "article-minimal,phdthesis-minimal"
363 \begin_layout Subsection
367 \begin_layout Enumerate
371 \begin_layout Enumerate
375 \begin_layout Subsubsection
379 \begin_layout Standard
383 \begin_layout Acknowledgments
384 Acknowledgments, if needed.
387 \begin_layout Section
392 \begin_layout Standard
393 Appendix, only when needed, can also be started behind the bibliography.
396 \begin_layout Section*
400 \begin_layout Standard
401 You can use either Bib\SpecialChar TeX
403 \begin_inset Note Note
406 \begin_layout Plain Layout
407 The following bibliography styles are allowed:
415 (use then the document class option
427 \begin_layout Standard
428 \begin_inset CommandInset bibtex
431 options "bibtotoc,plainnat"
438 \begin_layout Section*
442 \begin_layout Standard
444 Or plain bibliography:
447 \begin_layout Bibliography
448 \begin_inset CommandInset bibitem
465 Appel, and Roberto Virga.
469 \begin_layout Plain Layout
478 A stratified semantics of general references embeddable in higher-order
483 \begin_layout Plain Layout
494 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
498 \begin_inset Note Note
501 \begin_layout Plain Layout
502 Reference parts have to be separated by
516 \begin_layout Bibliography
517 \begin_inset CommandInset bibitem
533 \begin_layout Plain Layout
542 Foundational proof-carrying code.
546 \begin_layout Plain Layout
557 Symposium on Logic in Computer Science (LICS ’01)