-#LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
-\lyxformat 341
+#LyX 2.1 created this file. For more info see http://www.lyx.org/
+\lyxformat 459
\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_math auto
\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 bibtex
+\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_package amsmath 1
+\use_package amssymb 1
+\use_package esint 0
+\use_package mathdots 1
+\use_package mathtools 0
+\use_package mhchem 1
+\use_package stackrel 0
+\use_package stmaryrd 0
+\use_package undertilde 0
\cite_engine basic
+\cite_engine_type numerical
+\biblio_style plain
\use_bibtopic false
+\use_indices false
\paperorientation portrait
+\suppress_date false
+\justification true
+\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 Conference
-PLDI ’05
-\begin_inset ERT
-status collapsed
+\begin_layout Standard
+\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
-June 12--15, 2005, Chicago, Illinois, USA.
-\begin_inset Note Note
-status open
+.
+\end_layout
-\begin_layout Plain Layout
-The Conference expects 2 infos that are separated by
-\begin_inset Quotes eld
\end_inset
-\series bold
-}{
-\series default
+\end_layout
-\begin_inset Quotes erd
-\end_inset
+\begin_layout Conference
+\begin_inset Argument 1
+status open
- in TeX-code as in this example.
+\begin_layout Plain Layout
+PLDI ’05
\end_layout
\end_inset
-
+June 12--15, 2005, Chicago, Illinois, USA.
\end_layout
\begin_layout CopyrightYear
1-59593-057-4/05/0004
\end_layout
-\begin_layout Title
-Example ACM Paper
-\begin_inset ERT
+\begin_layout TitleBanner
+Banner above paper title
+\begin_inset Note Note
status collapsed
\begin_layout Plain Layout
-
-
-\backslash
-thanks{
+is ignored unless document class option 'preprint' is used
\end_layout
\end_inset
-This work was supported by ...
-\begin_inset ERT
+
+\end_layout
+
+\begin_layout PreprintFooter
+Short description of paper
+\begin_inset Note Note
status collapsed
\begin_layout Plain Layout
+is ignored unless document class option 'preprint' is used
+\end_layout
+
+\end_inset
+
-}
+\end_layout
+
+\begin_layout Title
+Example ACM Paper
+\begin_inset Foot
+status open
+
+\begin_layout Plain Layout
+This work was supported by ...
\end_layout
\end_inset
\begin_layout Subtitle
Subtitle
+\begin_inset Note Note
+status open
+
+\begin_layout Plain Layout
+optional
+\end_layout
+
+\end_inset
+
+
\end_layout
\begin_layout Author
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
Suzi Smith
\begin_inset ERT
status collapsed
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
+\begin_inset Argument 2
+status open
-}{
+\begin_layout Plain Layout
+Princeton University
\end_layout
\end_inset
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
+\end_layout
-\begin_inset Quotes erd
-\end_inset
+\begin_layout Author
+\begin_inset Argument 1
+status open
- in TeX-code as in these examples.
+\begin_layout Plain Layout
+Fred Flymuffin
\end_layout
\end_inset
-\end_layout
-
-\begin_layout Author
-Fred Flymuffin
-\begin_inset ERT
+\begin_inset Argument 2
status collapsed
\begin_layout Plain Layout
-
-}{
-\end_layout
-
-\end_inset
-
Washington University in St.
Louis
\begin_inset Newline newline
St.
Louis, XX 60616, USA
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}{
\end_layout
\end_inset
\end_inset
+\end_layout
+
+\begin_layout Standard
+\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
-We would like to thank ...
+Acknowledgments, if needed.
\end_layout
\begin_layout Section
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 CommandInset bibitem
LatexCommand bibitem
(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