-#LyX 2.0 created this file. For more info see http://www.lyx.org/
-\lyxformat 413
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 508
\begin_document
\begin_header
+\save_transient_properties true
+\origin /systemlyxdir/templates/
\textclass sigplanconf
\options natbib
\use_default_options false
\maintain_unincluded_children false
\language english
\language_package default
-\inputencoding default
+\inputencoding auto
\fontencoding global
-\font_roman default
-\font_sans default
-\font_typewriter default
+\font_roman "default" "default"
+\font_sans "default" "default"
+\font_typewriter "default" "default"
+\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
-
+\font_sf_scale 100 100
+\font_tt_scale 100 100
\graphics default
\default_output_format default
\output_sync 0
-\bibtex_command default
+\bibtex_command bibtex
\index_command default
\float_placement tbh
\paperfontsize default
\use_hyperref false
\papersize default
\use_geometry false
-\use_amsmath 1
-\use_esint 0
-\use_mhchem 1
-\use_mathdots 1
+\use_package amsmath 1
+\use_package amssymb 1
+\use_package cancel 0
+\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 default
+\biblio_style plain
\use_bibtopic false
\use_indices false
\paperorientation portrait
\suppress_date false
+\justification true
\use_refstyle 0
\index Index
\shortcut idx
\begin_body
-\begin_layout Title
+\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
+This is a template \SpecialChar LyX
+ file for articles to be submitted to the Special Interest
+ Group on Programming Languages (SIGPLAN).
+ How to install the SIGPLAN \SpecialChar LaTeX
+ class to your \SpecialChar LaTeX
+ system is explained in
\begin_inset Flex URL
status open
\end_layout
\begin_layout Conference
-PLDI ’05
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 1
+status open
\begin_layout Plain Layout
-
-}{
+PLDI ’05
\end_layout
\end_inset
-June 12--15, 2005, Chicago, Illinois, USA.
+June 12–15, 2005, Chicago, Illinois, USA.
+\end_layout
+
+\begin_layout CopyrightYear
+2005
+\end_layout
+
+\begin_layout Copyrightdata
+1-59593-057-4/05/0004
+\end_layout
+
+\begin_layout TitleBanner
+Banner above paper title
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
-The Conference expects 2 infos that are separated by
-\begin_inset Quotes eld
+is ignored unless document class option 'preprint' is used
+\end_layout
+
\end_inset
-\series bold
-}{
-\series default
+\end_layout
-\begin_inset Quotes erd
-\end_inset
+\begin_layout PreprintFooter
+Short description of paper
+\begin_inset Note Note
+status collapsed
- in TeX code.
+\begin_layout Plain Layout
+is ignored unless document class option 'preprint' is used
\end_layout
\end_inset
\end_layout
-\begin_layout CopyrightYear
-2005
+\begin_layout DOI
+10.1145/143365.143376
+\begin_inset Note Note
+status collapsed
+
+\begin_layout Plain Layout
+the digital identifier assigned at doi.acm.org
\end_layout
-\begin_layout Copyrightdata
-1-59593-057-4/05/0004
+\end_inset
+
+
\end_layout
\begin_layout Title
\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
\begin_layout Plain Layout
At least one autor is required.
- 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.
\end_layout
\end_inset
\end_layout
\begin_layout Author
-Fred Flymuffin
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 1
+status open
\begin_layout Plain Layout
-
-}{
+Fred Flymuffin
\end_layout
\end_inset
+
+\begin_inset Argument 2
+status collapsed
+
+\begin_layout Plain Layout
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
Bla bla, as listed in
\begin_inset CommandInset citation
LatexCommand cite
-key "Parkin2005,LComp2004"
+key "article-minimal,phdthesis-minimal"
\end_inset
\end_layout
\begin_layout Acknowledgments
-We would like to thank ...
+Acknowledgments, if needed.
\end_layout
\begin_layout Section
\end_layout
\begin_layout Section*
------------------
+—————–
\end_layout
\begin_layout Standard
-You can use either BibTeX:
+You can use either Bib\SpecialChar TeX
+:
\begin_inset Note Note
status open
\begin_layout Standard
\begin_inset CommandInset bibtex
LatexCommand bibtex
-bibfiles "../examples/biblioExample"
+bibfiles "xampl"
options "bibtotoc,plainnat"
\end_inset
\end_layout
\begin_layout Section*
----------------------
+———————
\end_layout
\begin_layout Standard
\end_layout
\begin_layout Bibliography
-\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "ahmed02"
\end_layout
\begin_layout Bibliography
-\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "appel01:fpcc"
\emph on
Symposium on Logic in Computer Science (LICS ’01)
\emph default
-, pages 247--258.
+, pages 247–258.
IEEE, 2001.
\end_layout