1 #LyX 2.2 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 \default_output_format default
28 \bibtex_command bibtex
29 \index_command default
31 \paperfontsize default
36 \use_package amsmath 1
37 \use_package amssymb 1
40 \use_package mathdots 1
41 \use_package mathtools 0
43 \use_package stackrel 0
44 \use_package stmaryrd 0
45 \use_package undertilde 0
47 \cite_engine_type default
51 \paperorientation portrait
61 \paragraph_separation indent
62 \paragraph_indentation default
63 \quotes_language english
66 \paperpagestyle default
67 \tracking_changes false
76 \begin_layout Standard
77 \begin_inset Note Note
80 \begin_layout Plain Layout
81 This is a template \SpecialChar LyX
82 file for articles to be submitted to the Special Interest
83 Group on Programming Languages (SIGPLAN).
84 How to install the SIGPLAN \SpecialChar LaTeX
85 class to your \SpecialChar LaTeX
86 system is explained in
90 \begin_layout Plain Layout
92 http://wiki.lyx.org/Examples/AcmSigplan
105 \begin_layout Conference
106 \begin_inset Argument 1
109 \begin_layout Plain Layout
115 June 12–15, 2005, Chicago, Illinois, USA.
118 \begin_layout CopyrightYear
122 \begin_layout Copyrightdata
123 1-59593-057-4/05/0004
126 \begin_layout TitleBanner
127 Banner above paper title
128 \begin_inset Note Note
131 \begin_layout Plain Layout
132 is ignored unless document class option 'preprint' is used
140 \begin_layout PreprintFooter
141 Short description of paper
142 \begin_inset Note Note
145 \begin_layout Plain Layout
146 is ignored unless document class option 'preprint' is used
155 10.1145/143365.143376
156 \begin_inset Note Note
159 \begin_layout Plain Layout
160 the digital identifier assigned at doi.acm.org
173 \begin_layout Plain Layout
174 This work was supported by ...
182 \begin_layout Subtitle
184 \begin_inset Note Note
187 \begin_layout Plain Layout
197 \begin_inset Argument 1
200 \begin_layout Plain Layout
205 \begin_layout Plain Layout
221 \begin_inset Argument 2
224 \begin_layout Plain Layout
230 smith@cs.princeton.edu
231 \begin_inset Newline newline
234 anagnostopoulos@cs.princeton.edu
235 \begin_inset Note Note
238 \begin_layout Plain Layout
239 At least one autor is required.
248 \begin_inset Argument 1
251 \begin_layout Plain Layout
258 \begin_inset Argument 2
261 \begin_layout Plain Layout
262 Washington University in St.
264 \begin_inset Newline newline
267 Department of Electrical and Computer Engineering
268 \begin_inset Newline newline
271 3301 S Dearborn Street
272 \begin_inset Newline newline
281 flymuffin@cs.wustl.edu
284 \begin_layout Abstract
285 This paper is a demonstration of the Lyx template for the ACM alternate
287 It works quite well and makes writing an ACM paper so much easier.
290 \begin_layout Standard
294 \begin_layout Plain Layout
298 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
301 \begin_layout Plain Layout
305 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
314 \begin_layout Standard
315 \begin_inset Note Note
318 \begin_layout Plain Layout
325 has 3 mandatory + 1 optional arguments
334 Algorithms, Performance, Design
337 \begin_layout Keywords
338 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
339 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
342 \begin_layout Section
346 \begin_layout Standard
347 Bla bla, as listed in
348 \begin_inset CommandInset citation
350 key "article-minimal,phdthesis-minimal"
357 \begin_layout Subsection
361 \begin_layout Enumerate
365 \begin_layout Enumerate
369 \begin_layout Subsubsection
373 \begin_layout Standard
377 \begin_layout Acknowledgments
378 Acknowledgments, if needed.
381 \begin_layout Section
386 \begin_layout Standard
387 Appendix, only when needed, can also be started behind the bibliography.
390 \begin_layout Section*
394 \begin_layout Standard
395 You can use either Bib\SpecialChar TeX
397 \begin_inset Note Note
400 \begin_layout Plain Layout
401 The following bibliography styles are allowed:
409 (use then the document class option
421 \begin_layout Standard
422 \begin_inset CommandInset bibtex
425 options "bibtotoc,plainnat"
432 \begin_layout Section*
436 \begin_layout Standard
438 Or plain bibliography:
441 \begin_layout Bibliography
442 \begin_inset CommandInset bibitem
458 Appel, and Roberto Virga.
462 \begin_layout Plain Layout
471 A stratified semantics of general references embeddable in higher-order
476 \begin_layout Plain Layout
487 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
491 \begin_inset Note Note
494 \begin_layout Plain Layout
495 Reference parts have to be separated by
509 \begin_layout Bibliography
510 \begin_inset CommandInset bibitem
525 \begin_layout Plain Layout
534 Foundational proof-carrying code.
538 \begin_layout Plain Layout
549 Symposium on Logic in Computer Science (LICS ’01)