diff options
| -rw-r--r-- | main.tex | 42 |
1 files changed, 2 insertions, 40 deletions
@@ -1,53 +1,15 @@ -\documentclass[acmsmall,screen]{acmart} - -\settopmatter{} -%\documentclass[pagebackref=true,acmsmall,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} -%% For double-blind review submission, w/ CCS and ACM Reference -%\documentclass[acmsmall,review,anonymous]{acmart}\settopmatter{printfolios=true} -%% For single-blind review submission, w/o CCS and ACM Reference (max submission space) -%\documentclass[acmsmall,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} -%% For single-blind review submission, w/ CCS and ACM Reference -%\documentclass[acmsmall,review]{acmart}\settopmatter{printfolios=true} -%% For final camera-ready submission, w/ required CCS and ACM Reference -%\documentclass[acmsmall]{acmart}\settopmatter{} - -%% Journal information -%% Supplied to authors by publisher for camera-ready submission; -%% use defaults for review submission. -%%\acmJournal{PACMPL} -%%\acmVolume{1} -%%\acmNumber{CONF} % CONF = POPL or ICFP or OOPSLA -%%\acmArticle{1} -%%\acmYear{2018} -%%\acmMonth{1}\acmDOI{} -%%\startPage{1} - -%% Copyright information -%% Supplied to authors (based on authors' rights management selection; -%% see authors.acm.org) by publisher for camera-ready submission; -%% use 'none' for review submission. -%\setcopyright{acmcopyright} -%\setcopyright{acmlicensed} -%\setcopyright{rightsretained} -%\copyrightyear{2018} +\documentclass[acmsmall,screen]{acmart}\settopmatter{} %% Bibliography style \bibliographystyle{ACM-Reference-Format} %% Citation style \citestyle{acmauthoryear} - -%%% If you see 'ACMUNKNOWN' in the 'setcopyright' statement below, -%%% please first submit your publishing-rights agreement with ACM (follow link on submission page). -%%% Then please update our instructions page and copy-and-paste the NEW commands into your article. -%%% Please contact us in case of questions; allow up to 10 min for the system to propagate the information. -%%% %%% The following is specific to OOPSLA '21 and the paper %%% 'Formal Verification of High-Level Synthesis' %%% by Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. %%% - -\setcopyright{acmlicensed} +\setcopyright{rightsretained} \acmPrice{} \acmDOI{10.1145/3485494} \acmYear{2021} |