mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-14 01:22:33 +00:00
new layout and template file for ACM SIGPLAN articles
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/branches/BRANCH_1_5_X@26714 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
parent
6f09912f9d
commit
08342483ed
@ -1489,10 +1489,9 @@ lib_kbd_files = Split('''
|
|||||||
|
|
||||||
|
|
||||||
lib_templates_files = Split('''
|
lib_templates_files = Split('''
|
||||||
IEEEtran.lyx
|
|
||||||
README.new_templates
|
|
||||||
aa.lyx
|
aa.lyx
|
||||||
aastex.lyx
|
aastex.lyx
|
||||||
|
ACM-sigplan.lyx
|
||||||
agu_article.lyx
|
agu_article.lyx
|
||||||
apa.lyx
|
apa.lyx
|
||||||
beamer-conference-ornate-20min.lyx
|
beamer-conference-ornate-20min.lyx
|
||||||
@ -1505,6 +1504,7 @@ lib_templates_files = Split('''
|
|||||||
g-brief-en.lyx
|
g-brief-en.lyx
|
||||||
g-brief2.lyx
|
g-brief2.lyx
|
||||||
hollywood.lyx
|
hollywood.lyx
|
||||||
|
IEEEtran.lyx
|
||||||
ijmpc.lyx
|
ijmpc.lyx
|
||||||
ijmpd.lyx
|
ijmpd.lyx
|
||||||
iop-article.lyx
|
iop-article.lyx
|
||||||
@ -1513,6 +1513,7 @@ lib_templates_files = Split('''
|
|||||||
koma-letter2.lyx
|
koma-letter2.lyx
|
||||||
latex8.lyx
|
latex8.lyx
|
||||||
letter.lyx
|
letter.lyx
|
||||||
|
README.new_templates
|
||||||
revtex.lyx
|
revtex.lyx
|
||||||
revtex4.lyx
|
revtex4.lyx
|
||||||
slides.lyx
|
slides.lyx
|
||||||
@ -2706,7 +2707,6 @@ lib_lyx2lyx_extra_files = Split('''
|
|||||||
|
|
||||||
|
|
||||||
lib_layouts_files = Split('''
|
lib_layouts_files = Split('''
|
||||||
IEEEtran.layout
|
|
||||||
aa.layout
|
aa.layout
|
||||||
aapaper.layout
|
aapaper.layout
|
||||||
aastex.layout
|
aastex.layout
|
||||||
@ -2747,6 +2747,7 @@ lib_layouts_files = Split('''
|
|||||||
heb-article.layout
|
heb-article.layout
|
||||||
heb-letter.layout
|
heb-letter.layout
|
||||||
hollywood.layout
|
hollywood.layout
|
||||||
|
IEEEtran.layout
|
||||||
ijmpc.layout
|
ijmpc.layout
|
||||||
ijmpd.layout
|
ijmpd.layout
|
||||||
iopart.layout
|
iopart.layout
|
||||||
@ -2780,6 +2781,7 @@ lib_layouts_files = Split('''
|
|||||||
scrreprt.layout
|
scrreprt.layout
|
||||||
seminar.layout
|
seminar.layout
|
||||||
siamltex.layout
|
siamltex.layout
|
||||||
|
sigplanconf.layout
|
||||||
simplecv.layout
|
simplecv.layout
|
||||||
singlecol.layout
|
singlecol.layout
|
||||||
slides.layout
|
slides.layout
|
||||||
|
@ -903,7 +903,6 @@ dist_kbd_DATA = \
|
|||||||
|
|
||||||
layoutsdir = $(pkgdatadir)/layouts
|
layoutsdir = $(pkgdatadir)/layouts
|
||||||
dist_layouts_DATA =\
|
dist_layouts_DATA =\
|
||||||
layouts/IEEEtran.layout \
|
|
||||||
layouts/aa.layout \
|
layouts/aa.layout \
|
||||||
layouts/aapaper.inc \
|
layouts/aapaper.inc \
|
||||||
layouts/aapaper.layout \
|
layouts/aapaper.layout \
|
||||||
@ -965,6 +964,7 @@ dist_layouts_DATA =\
|
|||||||
layouts/heb-article.layout \
|
layouts/heb-article.layout \
|
||||||
layouts/heb-letter.layout \
|
layouts/heb-letter.layout \
|
||||||
layouts/hollywood.layout \
|
layouts/hollywood.layout \
|
||||||
|
layouts/IEEEtran.layout \
|
||||||
layouts/ijmpc.layout \
|
layouts/ijmpc.layout \
|
||||||
layouts/ijmpd.layout \
|
layouts/ijmpd.layout \
|
||||||
layouts/iopart.layout \
|
layouts/iopart.layout \
|
||||||
@ -1004,6 +1004,7 @@ dist_layouts_DATA =\
|
|||||||
layouts/scrreprt.layout \
|
layouts/scrreprt.layout \
|
||||||
layouts/seminar.layout \
|
layouts/seminar.layout \
|
||||||
layouts/siamltex.layout \
|
layouts/siamltex.layout \
|
||||||
|
layouts/sigplanconf.layout \
|
||||||
layouts/simplecv.layout \
|
layouts/simplecv.layout \
|
||||||
layouts/singlecol.layout \
|
layouts/singlecol.layout \
|
||||||
layouts/slides.layout \
|
layouts/slides.layout \
|
||||||
@ -1046,10 +1047,9 @@ dist_scripts_PYTHON = \
|
|||||||
|
|
||||||
templatesdir = $(pkgdatadir)/templates
|
templatesdir = $(pkgdatadir)/templates
|
||||||
dist_templates_DATA = \
|
dist_templates_DATA = \
|
||||||
templates/IEEEtran.lyx \
|
|
||||||
templates/README.new_templates \
|
|
||||||
templates/aa.lyx \
|
templates/aa.lyx \
|
||||||
templates/aastex.lyx \
|
templates/aastex.lyx \
|
||||||
|
templates/ACM-sigplan.lyx \
|
||||||
templates/agu_article.lyx \
|
templates/agu_article.lyx \
|
||||||
templates/apa.lyx \
|
templates/apa.lyx \
|
||||||
templates/beamer-conference-ornate-20min.lyx \
|
templates/beamer-conference-ornate-20min.lyx \
|
||||||
@ -1062,6 +1062,7 @@ dist_templates_DATA = \
|
|||||||
templates/g-brief-de.lyx \
|
templates/g-brief-de.lyx \
|
||||||
templates/g-brief-en.lyx \
|
templates/g-brief-en.lyx \
|
||||||
templates/hollywood.lyx \
|
templates/hollywood.lyx \
|
||||||
|
templates/IEEEtran.lyx \
|
||||||
templates/ijmpc.lyx \
|
templates/ijmpc.lyx \
|
||||||
templates/ijmpd.lyx \
|
templates/ijmpd.lyx \
|
||||||
templates/iop-article.lyx \
|
templates/iop-article.lyx \
|
||||||
@ -1070,6 +1071,7 @@ dist_templates_DATA = \
|
|||||||
templates/koma-letter2.lyx \
|
templates/koma-letter2.lyx \
|
||||||
templates/latex8.lyx \
|
templates/latex8.lyx \
|
||||||
templates/letter.lyx \
|
templates/letter.lyx \
|
||||||
|
templates/README.new_templates \
|
||||||
templates/revtex.lyx \
|
templates/revtex.lyx \
|
||||||
templates/revtex4.lyx \
|
templates/revtex4.lyx \
|
||||||
templates/slides.lyx
|
templates/slides.lyx
|
||||||
|
188
lib/layouts/sigplanconf.layout
Normal file
188
lib/layouts/sigplanconf.layout
Normal file
@ -0,0 +1,188 @@
|
|||||||
|
#% Do not delete he line below; configure depends on this
|
||||||
|
# \DeclareLaTeXClass[sigplanconf]{article (ACM SIGPLAN)}
|
||||||
|
# ACM SIGPLAN sigplanconf textclass definition file.
|
||||||
|
# Author : Uwe Stöhr
|
||||||
|
#
|
||||||
|
# We use sigplanconf.cls, the Sigplan class file that can be
|
||||||
|
# downloaded from
|
||||||
|
# http://www.sigplan.org/authorInformation.htm
|
||||||
|
#
|
||||||
|
# This layout is according to
|
||||||
|
# http://www.sigplan.org/sigplanconf-guide.pdf
|
||||||
|
#
|
||||||
|
# ACM style files can be obtained at
|
||||||
|
# http://www.acm.org/sigs/pubs/proceed/template.html
|
||||||
|
|
||||||
|
Format 4
|
||||||
|
|
||||||
|
Columns 1
|
||||||
|
Sides 1
|
||||||
|
SecNumDepth 3
|
||||||
|
TocDepth 3
|
||||||
|
DefaultStyle Standard
|
||||||
|
|
||||||
|
ClassOptions
|
||||||
|
FontSize 9|10|11
|
||||||
|
End
|
||||||
|
|
||||||
|
DefaultFont
|
||||||
|
Family Roman
|
||||||
|
Series Medium
|
||||||
|
Shape Up
|
||||||
|
Size Normal
|
||||||
|
Color None
|
||||||
|
EndFont
|
||||||
|
|
||||||
|
|
||||||
|
Style Standard
|
||||||
|
Margin Static
|
||||||
|
LatexType Paragraph
|
||||||
|
LatexName dummy
|
||||||
|
ParIndent MM
|
||||||
|
ParSkip 0.4
|
||||||
|
Align Block
|
||||||
|
AlignPossible Block, Left, Right, Center
|
||||||
|
LabelType No_Label
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Input stdlists.inc
|
||||||
|
Input stdsections.inc
|
||||||
|
Input stdstarsections.inc
|
||||||
|
|
||||||
|
# don't use the following styles
|
||||||
|
NoStyle Part
|
||||||
|
NoStyle Part*
|
||||||
|
NoStyle Chapter
|
||||||
|
NoStyle Chapter*
|
||||||
|
NoStyle Subparagraph
|
||||||
|
NoStyle Subparagraph*
|
||||||
|
|
||||||
|
|
||||||
|
Style Conference
|
||||||
|
Margin Dynamic
|
||||||
|
LatexType Command
|
||||||
|
LatexName conferenceinfo
|
||||||
|
InTitle 1
|
||||||
|
ParSkip 0.4
|
||||||
|
BottomSep 0.5
|
||||||
|
Align Left
|
||||||
|
LabelSep xx
|
||||||
|
LabelType Static
|
||||||
|
LabelString "Conference:"
|
||||||
|
LabelFont
|
||||||
|
Color Green
|
||||||
|
Series Bold
|
||||||
|
EndFont
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Style CopyrightYear
|
||||||
|
CopyStyle Conference
|
||||||
|
LatexName CopyrightYear
|
||||||
|
LabelString "Copyright year:"
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Style Copyrightdata
|
||||||
|
CopyStyle Conference
|
||||||
|
LatexName copyrightdata
|
||||||
|
LabelString "Copyright data:"
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Input stdtitle.inc
|
||||||
|
Input stdstruct.inc
|
||||||
|
|
||||||
|
|
||||||
|
Style Title
|
||||||
|
CopyStyle Title
|
||||||
|
AlignPossible None
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Style Subtitle
|
||||||
|
CopyStyle Title
|
||||||
|
LatexName subtitle
|
||||||
|
Font
|
||||||
|
Size Larger
|
||||||
|
EndFont
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
# overwrite the Author definition from stdtitle.inc
|
||||||
|
Style Author
|
||||||
|
Margin Static
|
||||||
|
LatexType Command
|
||||||
|
InTitle 1
|
||||||
|
LatexName authorinfo
|
||||||
|
LabelSep xxx
|
||||||
|
ParSkip 0.4
|
||||||
|
TopSep 1.3
|
||||||
|
BottomSep 0.7
|
||||||
|
ParSep 0.7
|
||||||
|
Align Center
|
||||||
|
AlignPossible None
|
||||||
|
LabelType No_Label
|
||||||
|
Font
|
||||||
|
Size Large
|
||||||
|
EndFont
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Style Terms
|
||||||
|
CopyStyle Conference
|
||||||
|
LatexName terms
|
||||||
|
LabelString "Terms:"
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Style Keywords
|
||||||
|
CopyStyle Conference
|
||||||
|
LatexName terms
|
||||||
|
LabelString "Keywords:"
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Style Abstract
|
||||||
|
Margin Static
|
||||||
|
LatexType Environment
|
||||||
|
LatexName abstract
|
||||||
|
NextNoIndent 1
|
||||||
|
LeftMargin MMM
|
||||||
|
RightMargin MMM
|
||||||
|
ParIndent MM
|
||||||
|
ItemSep 0
|
||||||
|
TopSep 0.7
|
||||||
|
BottomSep 0.7
|
||||||
|
ParSep 0
|
||||||
|
Align Block
|
||||||
|
AlignPossible Block
|
||||||
|
LabelType Centered_Top_Environment
|
||||||
|
LabelString "Abstract"
|
||||||
|
LabelBottomSep 0.5
|
||||||
|
Font
|
||||||
|
Size Small
|
||||||
|
EndFont
|
||||||
|
LabelFont
|
||||||
|
Series Bold
|
||||||
|
Size Large
|
||||||
|
EndFont
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Style Acknowledgments
|
||||||
|
CopyStyle Abstract
|
||||||
|
LatexName acks
|
||||||
|
InTitle 0
|
||||||
|
LabelBottomsep 0
|
||||||
|
LabelType Top_Environment
|
||||||
|
LabelString "Acknowledgments"
|
||||||
|
End
|
||||||
|
|
||||||
|
|
||||||
|
Input stdlayouts.inc
|
||||||
|
Input stdfloats.inc
|
||||||
|
Input stdcounters.inc
|
||||||
|
Input amsmaths.inc
|
||||||
|
|
370
lib/templates/ACM-sigplan.lyx
Normal file
370
lib/templates/ACM-sigplan.lyx
Normal file
@ -0,0 +1,370 @@
|
|||||||
|
#LyX 1.5.7svn created this file. For more info see http://www.lyx.org/
|
||||||
|
\lyxformat 276
|
||||||
|
\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
|
||||||
|
\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 Standard
|
||||||
|
|
||||||
|
}{
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
June 12--15, 2005, Chicago, Illinois, USA.
|
||||||
|
\begin_inset Note Note
|
||||||
|
status open
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
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 Standard
|
||||||
|
|
||||||
|
|
||||||
|
\backslash
|
||||||
|
thanks{
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
This work was supported by ...
|
||||||
|
\begin_inset ERT
|
||||||
|
status collapsed
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
}
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\begin_layout Subtitle
|
||||||
|
Subtitle
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\begin_layout Author
|
||||||
|
Suzi Smith
|
||||||
|
\begin_inset ERT
|
||||||
|
status collapsed
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
|
||||||
|
\backslash
|
||||||
|
and
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
Paul C.
|
||||||
|
Anagnostopoulos
|
||||||
|
\begin_inset ERT
|
||||||
|
status collapsed
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
}{
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
Princeton University
|
||||||
|
\begin_inset ERT
|
||||||
|
status collapsed
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
}{
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
smith@cs.princeton.edu
|
||||||
|
\newline
|
||||||
|
anagnostopoulos@cs.princeton.edu
|
||||||
|
\begin_inset Note Note
|
||||||
|
status open
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
At least one autor is required.
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
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 Standard
|
||||||
|
|
||||||
|
}{
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
Washington University in St.
|
||||||
|
Louis
|
||||||
|
\newline
|
||||||
|
Department of Electrical and Computer Engineering
|
||||||
|
\newline
|
||||||
|
3301 S Dearborn Street
|
||||||
|
\newline
|
||||||
|
St.
|
||||||
|
Louis, XX 60616, USA
|
||||||
|
\begin_inset ERT
|
||||||
|
status collapsed
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
}{
|
||||||
|
\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 Standard
|
||||||
|
|
||||||
|
|
||||||
|
\backslash
|
||||||
|
category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
|
||||||
|
\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 LatexCommand bibitem
|
||||||
|
key "ahmed02"
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
Amal\InsetSpace ~
|
||||||
|
J.
|
||||||
|
Ahmed, Andrew\InsetSpace ~
|
||||||
|
W.
|
||||||
|
Appel, and Roberto Virga.
|
||||||
|
\begin_inset ERT
|
||||||
|
status collapsed
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
|
||||||
|
\backslash
|
||||||
|
newblock
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
A stratified semantics of general references embeddable in higher-order
|
||||||
|
logic.
|
||||||
|
\begin_inset ERT
|
||||||
|
status collapsed
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
|
||||||
|
\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 LatexCommand bibitem
|
||||||
|
key "appel01:fpcc"
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
Andrew\InsetSpace ~
|
||||||
|
W.
|
||||||
|
Appel.
|
||||||
|
\begin_inset ERT
|
||||||
|
status collapsed
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
|
||||||
|
\backslash
|
||||||
|
newblock
|
||||||
|
\end_layout
|
||||||
|
|
||||||
|
\end_inset
|
||||||
|
|
||||||
|
Foundational proof-carrying code.
|
||||||
|
\begin_inset ERT
|
||||||
|
status collapsed
|
||||||
|
|
||||||
|
\begin_layout Standard
|
||||||
|
|
||||||
|
|
||||||
|
\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
|
@ -38,6 +38,8 @@ What's new
|
|||||||
|
|
||||||
* DOCUMENT INPUT/OUTPUT
|
* DOCUMENT INPUT/OUTPUT
|
||||||
|
|
||||||
|
- New layout file for ACM SIGPLAN conference papers.
|
||||||
|
|
||||||
- New layout file for journal articles of the Inderscience publishing group.
|
- New layout file for journal articles of the Inderscience publishing group.
|
||||||
|
|
||||||
- New layout file for the svjour3 class (journal articles of the Springer
|
- New layout file for the svjour3 class (journal articles of the Springer
|
||||||
|
Loading…
Reference in New Issue
Block a user