1 #LyX 2.0 created this file. For more info see http://www.lyx.org/
7 \use_default_options false
8 \maintain_unincluded_children false
10 \language_package default
11 \inputencoding default
15 \font_typewriter default
16 \font_default_family default
17 \use_non_tex_fonts false
24 \default_output_format default
26 \bibtex_command default
27 \index_command default
29 \paperfontsize default
41 \paperorientation portrait
50 \paragraph_separation indent
51 \paragraph_indentation default
52 \quotes_language english
55 \paperpagestyle default
56 \tracking_changes false
66 \begin_inset Note Note
69 \begin_layout Plain Layout
70 This is a template LyX file for articles to be submitted to the Special
71 Interest Group on Programming Languages (SIGPLAN).
72 How to install the SIGPLAN LaTeX class to your LaTeX system is explained
77 \begin_layout Plain Layout
79 http://wiki.lyx.org/Examples/AcmSigplan
92 \begin_layout Conference
97 \begin_layout Plain Layout
104 June 12--15, 2005, Chicago, Illinois, USA.
105 \begin_inset Note Note
108 \begin_layout Plain Layout
109 The Conference expects 2 infos that are separated by
110 \begin_inset Quotes eld
118 \begin_inset Quotes erd
129 \begin_layout CopyrightYear
133 \begin_layout Copyrightdata
134 1-59593-057-4/05/0004
142 \begin_layout Plain Layout
143 This work was supported by ...
151 \begin_layout Subtitle
160 \begin_layout Plain Layout
174 \begin_layout Plain Layout
185 \begin_layout Plain Layout
192 smith@cs.princeton.edu
193 \begin_inset Newline newline
196 anagnostopoulos@cs.princeton.edu
197 \begin_inset Note Note
200 \begin_layout Plain Layout
201 At least one autor is required.
202 The Author field expects 3 infos that are separated by
203 \begin_inset Quotes eld
211 \begin_inset Quotes erd
227 \begin_layout Plain Layout
234 Washington University in St.
236 \begin_inset Newline newline
239 Department of Electrical and Computer Engineering
240 \begin_inset Newline newline
243 3301 S Dearborn Street
244 \begin_inset Newline newline
252 \begin_layout Plain Layout
259 flymuffin@cs.wustl.edu
262 \begin_layout Abstract
263 This paper is a demonstration of the Lyx template for the ACM alternate
265 It works quite well and makes writing an ACM paper so much easier.
268 \begin_layout Standard
272 \begin_layout Plain Layout
276 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
279 \begin_layout Plain Layout
283 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
290 \begin_inset Note Note
293 \begin_layout Plain Layout
300 has 3 mandatory + 1 optional arguments
309 Algorithms, Performance, Design
312 \begin_layout Keywords
313 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
314 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
317 \begin_layout Section
321 \begin_layout Standard
322 Bla bla, as listed in
323 \begin_inset CommandInset citation
325 key "Parkin2005,LComp2004"
332 \begin_layout Subsection
336 \begin_layout Enumerate
340 \begin_layout Enumerate
344 \begin_layout Subsubsection
348 \begin_layout Standard
352 \begin_layout Acknowledgments
353 We would like to thank ...
356 \begin_layout Section
361 \begin_layout Standard
362 Appendix, only when needed, can also be started behind the bibliography.
365 \begin_layout Section*
369 \begin_layout Standard
370 You can use either BibTeX:
371 \begin_inset Note Note
374 \begin_layout Plain Layout
375 The following bibliography styles are allowed:
383 (use then the document class option
395 \begin_layout Standard
396 \begin_inset CommandInset bibtex
398 bibfiles "../examples/biblioExample"
399 options "bibtotoc,plainnat"
406 \begin_layout Section*
407 ---------------------
410 \begin_layout Standard
412 Or plain bibliography:
415 \begin_layout Bibliography
416 \labelwidthstring References
417 \begin_inset CommandInset bibitem
433 Appel, and Roberto Virga.
437 \begin_layout Plain Layout
446 A stratified semantics of general references embeddable in higher-order
451 \begin_layout Plain Layout
462 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
466 \begin_inset Note Note
469 \begin_layout Plain Layout
470 Reference parts have to be separated by
484 \begin_layout Bibliography
485 \labelwidthstring References
486 \begin_inset CommandInset bibitem
501 \begin_layout Plain Layout
510 Foundational proof-carrying code.
514 \begin_layout Plain Layout
525 Symposium on Logic in Computer Science (LICS ’01)