1 #LyX 2.2 created this file. For more info see http://www.lyx.org/
5 \origin /systemlyxdir/templates/
8 \use_default_options false
9 \maintain_unincluded_children false
11 \language_package default
14 \font_roman "default" "default"
15 \font_sans "default" "default"
16 \font_typewriter "default" "default"
17 \font_math "auto" "auto"
18 \font_default_family default
19 \use_non_tex_fonts false
22 \font_sf_scale 100 100
23 \font_tt_scale 100 100
25 \default_output_format default
27 \bibtex_command bibtex
28 \index_command default
30 \paperfontsize default
35 \use_package amsmath 1
36 \use_package amssymb 1
39 \use_package mathdots 1
40 \use_package mathtools 0
42 \use_package stackrel 0
43 \use_package stmaryrd 0
44 \use_package undertilde 0
46 \cite_engine_type default
50 \paperorientation portrait
60 \paragraph_separation indent
61 \paragraph_indentation default
62 \quotes_language english
65 \paperpagestyle default
66 \tracking_changes false
75 \begin_layout Standard
76 \begin_inset Note Note
79 \begin_layout Plain Layout
80 This is a template \SpecialChar LyX
81 file for articles to be submitted to the Special Interest
82 Group on Programming Languages (SIGPLAN).
83 How to install the SIGPLAN \SpecialChar LaTeX
84 class to your \SpecialChar LaTeX
85 system is explained in
89 \begin_layout Plain Layout
91 http://wiki.lyx.org/Examples/AcmSigplan
104 \begin_layout Conference
105 \begin_inset Argument 1
108 \begin_layout Plain Layout
114 June 12–15, 2005, Chicago, Illinois, USA.
117 \begin_layout CopyrightYear
121 \begin_layout Copyrightdata
122 1-59593-057-4/05/0004
125 \begin_layout TitleBanner
126 Banner above paper title
127 \begin_inset Note Note
130 \begin_layout Plain Layout
131 is ignored unless document class option 'preprint' is used
139 \begin_layout PreprintFooter
140 Short description of paper
141 \begin_inset Note Note
144 \begin_layout Plain Layout
145 is ignored unless document class option 'preprint' is used
154 10.1145/143365.143376
155 \begin_inset Note Note
158 \begin_layout Plain Layout
159 the digital identifier assigned at doi.acm.org
172 \begin_layout Plain Layout
173 This work was supported by ...
181 \begin_layout Subtitle
183 \begin_inset Note Note
186 \begin_layout Plain Layout
196 \begin_inset Argument 1
199 \begin_layout Plain Layout
204 \begin_layout Plain Layout
220 \begin_inset Argument 2
223 \begin_layout Plain Layout
229 smith@cs.princeton.edu
230 \begin_inset Newline newline
233 anagnostopoulos@cs.princeton.edu
234 \begin_inset Note Note
237 \begin_layout Plain Layout
238 At least one autor is required.
247 \begin_inset Argument 1
250 \begin_layout Plain Layout
257 \begin_inset Argument 2
260 \begin_layout Plain Layout
261 Washington University in St.
263 \begin_inset Newline newline
266 Department of Electrical and Computer Engineering
267 \begin_inset Newline newline
270 3301 S Dearborn Street
271 \begin_inset Newline newline
280 flymuffin@cs.wustl.edu
283 \begin_layout Abstract
284 This paper is a demonstration of the Lyx template for the ACM alternate
286 It works quite well and makes writing an ACM paper so much easier.
289 \begin_layout Standard
293 \begin_layout Plain Layout
297 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
300 \begin_layout Plain Layout
304 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
313 \begin_layout Standard
314 \begin_inset Note Note
317 \begin_layout Plain Layout
324 has 3 mandatory + 1 optional arguments
333 Algorithms, Performance, Design
336 \begin_layout Keywords
337 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
338 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
341 \begin_layout Section
345 \begin_layout Standard
346 Bla bla, as listed in
347 \begin_inset CommandInset citation
349 key "article-minimal,phdthesis-minimal"
356 \begin_layout Subsection
360 \begin_layout Enumerate
364 \begin_layout Enumerate
368 \begin_layout Subsubsection
372 \begin_layout Standard
376 \begin_layout Acknowledgments
377 Acknowledgments, if needed.
380 \begin_layout Section
385 \begin_layout Standard
386 Appendix, only when needed, can also be started behind the bibliography.
389 \begin_layout Section*
393 \begin_layout Standard
394 You can use either Bib\SpecialChar TeX
396 \begin_inset Note Note
399 \begin_layout Plain Layout
400 The following bibliography styles are allowed:
408 (use then the document class option
420 \begin_layout Standard
421 \begin_inset CommandInset bibtex
424 options "bibtotoc,plainnat"
431 \begin_layout Section*
435 \begin_layout Standard
437 Or plain bibliography:
440 \begin_layout Bibliography
441 \begin_inset CommandInset bibitem
457 Appel, and Roberto Virga.
461 \begin_layout Plain Layout
470 A stratified semantics of general references embeddable in higher-order
475 \begin_layout Plain Layout
486 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
490 \begin_inset Note Note
493 \begin_layout Plain Layout
494 Reference parts have to be separated by
508 \begin_layout Bibliography
509 \begin_inset CommandInset bibitem
524 \begin_layout Plain Layout
533 Foundational proof-carrying code.
537 \begin_layout Plain Layout
548 Symposium on Logic in Computer Science (LICS ’01)