-#LyX 1.5.7svn created this file. For more info see http://www.lyx.org/
-\lyxformat 276
+#LyX 2.0 created this file. For more info see http://www.lyx.org/
+\lyxformat 413
\begin_document
\begin_header
\textclass sigplanconf
+\options natbib
+\use_default_options false
+\maintain_unincluded_children false
\language english
+\language_package default
\inputencoding default
+\fontencoding global
\font_roman default
\font_sans default
\font_typewriter default
\font_default_family default
+\use_non_tex_fonts false
\font_sc false
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
+
\graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
\float_placement tbh
\paperfontsize default
\spacing single
+\use_hyperref false
\papersize default
\use_geometry false
\use_amsmath 1
\use_esint 0
+\use_mhchem 1
+\use_mathdots 1
\cite_engine basic
\use_bibtopic false
+\use_indices false
\paperorientation portrait
+\suppress_date false
+\use_refstyle 0
+\index Index
+\shortcut idx
+\color #008000
+\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
-\defskip medskip
+\paragraph_indentation default
\quotes_language english
\papercolumns 2
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict false
\end_header
\begin_body
+\begin_layout Title
+\begin_inset Note Note
+status open
+
+\begin_layout Plain Layout
+This is a template LyX file for articles to be submitted to the Special
+ Interest Group on Programming Languages (SIGPLAN).
+ How to install the SIGPLAN LaTeX class to your LaTeX system is explained
+ in
+\begin_inset Flex URL
+status open
+
+\begin_layout Plain Layout
+
+http://wiki.lyx.org/Examples/AcmSigplan
+\end_layout
+
+\end_inset
+
+.
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
\begin_layout Conference
PLDI ’05
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
}{
\end_layout
\begin_inset Note Note
status open
-\begin_layout Standard
+\begin_layout Plain Layout
The Conference expects 2 infos that are separated by
\begin_inset Quotes eld
\end_inset
\begin_inset Quotes erd
\end_inset
- in TeX-code as in this example.
+ in TeX code.
\end_layout
\end_inset
\begin_layout Title
Example ACM Paper
-\begin_inset ERT
-status collapsed
-
-\begin_layout Standard
-
-
-\backslash
-thanks{
-\end_layout
-
-\end_inset
+\begin_inset Foot
+status open
+\begin_layout Plain Layout
This work was supported by ...
-\begin_inset ERT
-status collapsed
-
-\begin_layout Standard
-
-}
\end_layout
\end_inset
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
}{
\end_layout
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
}{
\end_layout
\end_inset
smith@cs.princeton.edu
-\newline
+\begin_inset Newline newline
+\end_inset
+
anagnostopoulos@cs.princeton.edu
\begin_inset Note Note
status open
-\begin_layout Standard
+\begin_layout Plain Layout
At least one autor is required.
-\end_layout
-
-\begin_layout Standard
-The Author field expects 3 infos that are separated by
+ The Author field expects 3 infos that are separated by
\begin_inset Quotes eld
\end_inset
\begin_inset Quotes erd
\end_inset
- in TeX-code as in these examples.
+ in TeX code.
\end_layout
\end_inset
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
}{
\end_layout
Washington University in St.
Louis
-\newline
+\begin_inset Newline newline
+\end_inset
+
Department of Electrical and Computer Engineering
-\newline
+\begin_inset Newline newline
+\end_inset
+
3301 S Dearborn Street
-\newline
+\begin_inset Newline newline
+\end_inset
+
St.
Louis, XX 60616, USA
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
}{
\end_layout
\begin_inset ERT
status open
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash
category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
\end_layout
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash
\end_inset
+\begin_inset Note Note
+status open
+
+\begin_layout Plain Layout
+
+\series bold
+
+\backslash
+category
+\series default
+ has 3 mandatory + 1 optional arguments
+\end_layout
+
+\end_inset
+
+
\end_layout
\begin_layout Terms
\end_layout
\begin_layout Standard
-This is the introduction to this paper.
+Bla bla, as listed in
+\begin_inset CommandInset citation
+LatexCommand cite
+key "Parkin2005,LComp2004"
+
+\end_inset
+
+.
+\end_layout
+
+\begin_layout Subsection
+Subsection
+\end_layout
+
+\begin_layout Enumerate
+test
+\end_layout
+
+\begin_layout Enumerate
+test
+\end_layout
+
+\begin_layout Subsubsection
+Subsubsection
+\end_layout
+
+\begin_layout Standard
+Bla, bla
\end_layout
\begin_layout Acknowledgments
Appendix, only when needed, can also be started behind the bibliography.
\end_layout
+\begin_layout Section*
+-----------------
+\end_layout
+
+\begin_layout Standard
+You can use either BibTeX:
+\begin_inset Note Note
+status open
+
+\begin_layout Plain Layout
+The following bibliography styles are allowed:
+\family sans
+none
+\family default
+ or
+\family sans
+plainnat
+\family default
+ (use then the document class option
+\family sans
+natbib
+\family default
+)
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\begin_inset CommandInset bibtex
+LatexCommand bibtex
+bibfiles "../examples/biblioExample"
+options "bibtotoc,plainnat"
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Section*
+---------------------
+\end_layout
+
+\begin_layout Standard
+\noindent
+Or plain bibliography:
+\end_layout
+
\begin_layout Bibliography
-\begin_inset LatexCommand bibitem
+\labelwidthstring References
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
key "ahmed02"
\end_inset
-Amal\InsetSpace ~
+Amal
+\begin_inset space ~
+\end_inset
+
J.
- Ahmed, Andrew\InsetSpace ~
+ Ahmed, Andrew
+\begin_inset space ~
+\end_inset
+
W.
Appel, and Roberto Virga.
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash
(LICS 2002)
\emph default
, July 2002.
+\begin_inset Note Note
+status open
+
+\begin_layout Plain Layout
+Reference parts have to be separated by
+\series bold
+
+\backslash
+newblock
+\series default
+.
+\end_layout
+
+\end_inset
+
+
\end_layout
\begin_layout Bibliography
-\begin_inset LatexCommand bibitem
+\labelwidthstring References
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
key "appel01:fpcc"
\end_inset
-Andrew\InsetSpace ~
+Andrew
+\begin_inset space ~
+\end_inset
+
W.
Appel.
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash