#LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
\lyxformat 341
\begin_document
\begin_header
\textclass sigplanconf
\language english
\inputencoding default
\font_roman default
\font_sans default
\font_typewriter default
\font_default_family default
\font_sc false
\font_osf false
\font_sf_scale 100
\font_tt_scale 100

\graphics default
\float_placement tbh
\paperfontsize default
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
\use_amsmath 1
\use_esint 0
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\defskip medskip
\quotes_language english
\papercolumns 2
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
\author "" 
\author "" 
\end_header

\begin_body

\begin_layout Conference
PLDI ’05
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

}{
\end_layout

\end_inset

June 12--15, 2005, Chicago, Illinois, USA.
\begin_inset Note Note
status open

\begin_layout Plain Layout
The Conference expects 2 infos that are separated by 
\begin_inset Quotes eld
\end_inset


\series bold
}{
\series default

\begin_inset Quotes erd
\end_inset

 in TeX-code as in this example.
\end_layout

\end_inset


\end_layout

\begin_layout CopyrightYear
2005
\end_layout

\begin_layout Copyrightdata
1-59593-057-4/05/0004
\end_layout

\begin_layout Title
Example ACM Paper
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
thanks{
\end_layout

\end_inset

This work was supported by ...
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

}
\end_layout

\end_inset


\end_layout

\begin_layout Subtitle
Subtitle
\end_layout

\begin_layout Author
Suzi Smith
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
and
\end_layout

\end_inset

 Paul C.
 Anagnostopoulos
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

}{
\end_layout

\end_inset

Princeton University
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

}{
\end_layout

\end_inset

smith@cs.princeton.edu
\begin_inset Newline newline
\end_inset

anagnostopoulos@cs.princeton.edu
\begin_inset Note Note
status open

\begin_layout Plain Layout
At least one autor is required.
\end_layout

\begin_layout Plain Layout
The Author field expects 3 infos that are separated by 
\begin_inset Quotes eld
\end_inset


\series bold
}{
\series default

\begin_inset Quotes erd
\end_inset

 in TeX-code as in these examples.
\end_layout

\end_inset


\end_layout

\begin_layout Author
Fred Flymuffin
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

}{
\end_layout

\end_inset

Washington University in St.
 Louis
\begin_inset Newline newline
\end_inset

Department of Electrical and Computer Engineering
\begin_inset Newline newline
\end_inset

3301 S Dearborn Street
\begin_inset Newline newline
\end_inset

St.
 Louis, XX 60616, USA
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

}{
\end_layout

\end_inset

flymuffin@cs.wustl.edu
\end_layout

\begin_layout Abstract
This paper is a demonstration of the Lyx template for the ACM alternate
 latex style file.
 It works quite well and makes writing an ACM paper so much easier.
\end_layout

\begin_layout Standard
\begin_inset ERT
status open

\begin_layout Plain Layout


\backslash
category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
\end_layout

\begin_layout Plain Layout


\backslash
category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
ed into hardware]
\end_layout

\end_inset


\end_layout

\begin_layout Terms
Algorithms, Performance, Design
\end_layout

\begin_layout Keywords
Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
\end_layout

\begin_layout Section
Introduction
\end_layout

\begin_layout Standard
This is the introduction to this paper.
\end_layout

\begin_layout Acknowledgments
We would like to thank ...
\end_layout

\begin_layout Section
\start_of_appendix
First appendix
\end_layout

\begin_layout Standard
Appendix, only when needed, can also be started behind the bibliography.
\end_layout

\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "ahmed02"

\end_inset

Amal
\begin_inset space ~
\end_inset

J.
 Ahmed, Andrew
\begin_inset space ~
\end_inset

W.
 Appel, and Roberto Virga.
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
newblock
\end_layout

\end_inset

 A stratified semantics of general references embeddable in higher-order
 logic.
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
newblock
\end_layout

\end_inset

 I
\emph on
n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
 (LICS 2002)
\emph default
, July 2002.
\end_layout

\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "appel01:fpcc"

\end_inset

Andrew
\begin_inset space ~
\end_inset

W.
 Appel.
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
newblock
\end_layout

\end_inset

 Foundational proof-carrying code.
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
newblock
\end_layout

\end_inset

 In 
\emph on
Symposium on Logic in Computer Science (LICS ’01)
\emph default
, pages 247--258.
 IEEE, 2001.
\end_layout

\end_body
\end_document