Created
May 30, 2019 16:21
-
-
Save csgordon/11ea047e60013b2a8afda50820b5623d to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| TeX log appears below | |
| [verbose]: Creating arXiv submission AutoTeX object | |
| [verbose]: *** Using TeX Live 2016 *** | |
| [verbose]: Calling arXiv submission AutoTeX process | |
| [verbose]: TeX/AutoTeX.pm: admin_timeout = minion | |
| [verbose]: <acmart.cls> is of type 'TeX auxiliary'. | |
| [verbose]: <journalarxiv.bbl> is of type 'TeX auxiliary'. | |
| [verbose]: <journalarxiv.tex> is of type 'LATEX2e'. | |
| [verbose]: ~~~~~~~~~~~ Processing file 'journalarxiv.tex' | |
| [verbose]: arXiv Warning: user included plain hyperref directive. | |
| [verbose]: TEXMFCNF is unset. | |
| [verbose]: ~~~~~~~~~~~ Running hlatex for the first time ~~~~~~~~ | |
| [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2016/bin/arch:/bin; cd /submissions/2711203/ && latex 'journalarxiv.tex' < /dev/null)" 2>&1 | |
| [verbose]: This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=latex) | |
| restricted \write18 enabled. | |
| entering extended mode | |
| (./journalarxiv.tex | |
| LaTeX2e <2016/03/31> patch level 3 | |
| Babel <3.9r> and hyphenation patterns for 83 language(s) loaded. | |
| (./acmart.cls | |
| Document Class: acmart 2017/05/14 v1.39 Typesetting articles for Association of | |
| Computing Machinery | |
| (/texlive/2016/texmf-dist/tex/latex/xkeyval/xkeyval.sty | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/xkeyval.tex | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/xkvutils.tex | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/keyval.tex)))) | |
| (/texlive/2016/texmf-dist/tex/generic/xstring/xstring.sty | |
| (/texlive/2016/texmf-dist/tex/generic/xstring/xstring.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/amscls/amsart.cls | |
| Document Class: amsart 2015/03/04 v2.20.2 | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsmath.sty | |
| For additional information on amsmath, use the `?' option. | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amstext.sty | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsgen.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsbsy.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsopn.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype.sty | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype-pdftex.def) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/totpages/totpages.sty | |
| (/texlive/2016/texmf-dist/tex/latex/ms/everyshi.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/environ/environ.sty | |
| (/texlive/2016/texmf-dist/tex/latex/trimspaces/trimspaces.sty)) | |
| (/texlive/2016/texmf-local/tex/latex/natbib/natbib.sty | |
| This is natbib version 8.31 | |
| ************************************************************* | |
| !!WARNING!! !!WARNING!! !!WARNING!! !!WARNING!! | |
| This version (v8.31) of natbib is stricter in its formatting | |
| requirements for bibitem entries than the previous version | |
| used at arXiv (v7.1). | |
| If your submission encounters a problem see | |
| http://arXiv.org/help/faq/texlive | |
| and the natbib documentation at | |
| http://www.ctan.org/tex-archive/macros/latex/contrib/natbib/ | |
| for explanation and adjust your submission accordingly. | |
| The arXiv team. | |
| ************************************************************* | |
| ) (/texlive/2016/texmf-dist/tex/latex/hyperref/hyperref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) | |
| (/texlive/2016/texmf-dist/tex/generic/ifxetex/ifxetex.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/auxhook.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/kvoptions.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/pd1enc.def) | |
| (/texlive/2016/texmf-config/tex/latex/latexconfig/hyperref.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/puenc.def) | |
| (/texlive/2016/texmf-dist/tex/latex/url/url.sty)) | |
| Package hyperref Message: Driver (default): hdvips. | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/hdvips.def | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/pdfmark.def | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-def/dvips.def))) | |
| (/texlive/2016/texmf-dist/tex/latex/xcolor/xcolor.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-cfg/color.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/geometry/geometry.sty | |
| (/texlive/2016/texmf-config/tex/latex/latexconfig/geometry.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/ncctools/manyfoot.sty | |
| (/texlive/2016/texmf-dist/tex/latex/ncctools/nccfoots.sty)) | |
| (/texlive/2016/texmf-dist/tex/generic/iftex/iftex.sty) | |
| (/texlive/2016/texmf-dist/tex/generic/pdftex/glyphtounicode.tex) | |
| (/texlive/2016/texmf-dist/tex/latex/cmap/cmap.sty | |
| Package cmap Warning: pdftex in DVI mode - exiting. | |
| ) (/texlive/2016/texmf-dist/tex/latex/libertine/libertine.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/textcomp.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/ts1enc.def)) | |
| (/texlive/2016/texmf-dist/tex/latex/mweights/mweights.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/base/fontenc.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/fontaxes/fontaxes.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/LinLibertine_I.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/inconsolata/zi4.sty | |
| `inconsolata-zi4' v1.10, 2016/02/22 Text macros for Inconsolata (msharpe)) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/newtxmath.sty | |
| `newtxmath' v1.514, 2016/11/18 Math macros based on txfonts (msharpe) | |
| (/texlive/2016/texmf-dist/tex/generic/kastrup/binhex.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/base/fontenc.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/t1enc.def)) | |
| (/texlive/2016/texmf-dist/tex/latex/caption/caption.sty | |
| (/texlive/2016/texmf-dist/tex/latex/caption/caption3.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/float/float.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/comment/comment.sty | |
| Excluding comment 'comment') Excluding comment 'CCSXML' | |
| (/texlive/2016/texmf-arxiv/tex/latex/fancyhdr/fancyhdr.sty) | |
| Special comment 'acks' Include comment 'screenonly' | |
| Excluding comment 'printonly' Include comment 'anonsuppress' | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/T1LinuxLibertineT-TLF.fd)) | |
| (/texlive/2016/texmf-dist/tex/latex/etex-pkg/etex.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/amssymb.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/tools/xspace.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/mathpartir/mathpartir.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/jknapltx/mathbbol.sty) | |
| ! LaTeX Error: Option clash for package hyperref. | |
| See the LaTeX manual or LaTeX Companion for explanation. | |
| Type H <return> for immediate help. | |
| ... | |
| l.19 | |
| ? | |
| ! Emergency stop. | |
| ... | |
| l.19 | |
| No pages of output. | |
| Transcript written on journalarxiv.log. | |
| [verbose]: latex 'journalarxiv.tex' failed. | |
| [verbose]: TEXMFCNF is unset. | |
| [verbose]: ~~~~~~~~~~~ Running latex for the first time ~~~~~~~~ | |
| [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2016/bin/arch:/bin; cd /submissions/2711203/ && latex 'journalarxiv.tex' < /dev/null)" 2>&1 | |
| [verbose]: This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=latex) | |
| restricted \write18 enabled. | |
| entering extended mode | |
| (./journalarxiv.tex | |
| LaTeX2e <2016/03/31> patch level 3 | |
| Babel <3.9r> and hyphenation patterns for 83 language(s) loaded. | |
| (./acmart.cls | |
| Document Class: acmart 2017/05/14 v1.39 Typesetting articles for Association of | |
| Computing Machinery | |
| (/texlive/2016/texmf-dist/tex/latex/xkeyval/xkeyval.sty | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/xkeyval.tex | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/xkvutils.tex | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/keyval.tex)))) | |
| (/texlive/2016/texmf-dist/tex/generic/xstring/xstring.sty | |
| (/texlive/2016/texmf-dist/tex/generic/xstring/xstring.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/amscls/amsart.cls | |
| Document Class: amsart 2015/03/04 v2.20.2 | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsmath.sty | |
| For additional information on amsmath, use the `?' option. | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amstext.sty | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsgen.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsbsy.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsopn.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype.sty | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype-pdftex.def) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/totpages/totpages.sty | |
| (/texlive/2016/texmf-dist/tex/latex/ms/everyshi.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/environ/environ.sty | |
| (/texlive/2016/texmf-dist/tex/latex/trimspaces/trimspaces.sty)) | |
| (/texlive/2016/texmf-local/tex/latex/natbib/natbib.sty | |
| This is natbib version 8.31 | |
| ************************************************************* | |
| !!WARNING!! !!WARNING!! !!WARNING!! !!WARNING!! | |
| This version (v8.31) of natbib is stricter in its formatting | |
| requirements for bibitem entries than the previous version | |
| used at arXiv (v7.1). | |
| If your submission encounters a problem see | |
| http://arXiv.org/help/faq/texlive | |
| and the natbib documentation at | |
| http://www.ctan.org/tex-archive/macros/latex/contrib/natbib/ | |
| for explanation and adjust your submission accordingly. | |
| The arXiv team. | |
| ************************************************************* | |
| ) (/texlive/2016/texmf-dist/tex/latex/hyperref/hyperref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) | |
| (/texlive/2016/texmf-dist/tex/generic/ifxetex/ifxetex.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/auxhook.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/kvoptions.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/pd1enc.def) | |
| (/texlive/2016/texmf-config/tex/latex/latexconfig/hyperref.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/puenc.def) | |
| (/texlive/2016/texmf-dist/tex/latex/url/url.sty)) | |
| Package hyperref Message: Driver (default): hdvips. | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/hdvips.def | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/pdfmark.def | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-def/dvips.def))) | |
| (/texlive/2016/texmf-dist/tex/latex/xcolor/xcolor.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-cfg/color.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/geometry/geometry.sty | |
| (/texlive/2016/texmf-config/tex/latex/latexconfig/geometry.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/ncctools/manyfoot.sty | |
| (/texlive/2016/texmf-dist/tex/latex/ncctools/nccfoots.sty)) | |
| (/texlive/2016/texmf-dist/tex/generic/iftex/iftex.sty) | |
| (/texlive/2016/texmf-dist/tex/generic/pdftex/glyphtounicode.tex) | |
| (/texlive/2016/texmf-dist/tex/latex/cmap/cmap.sty | |
| Package cmap Warning: pdftex in DVI mode - exiting. | |
| ) (/texlive/2016/texmf-dist/tex/latex/libertine/libertine.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/textcomp.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/ts1enc.def)) | |
| (/texlive/2016/texmf-dist/tex/latex/mweights/mweights.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/base/fontenc.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/fontaxes/fontaxes.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/LinLibertine_I.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/inconsolata/zi4.sty | |
| `inconsolata-zi4' v1.10, 2016/02/22 Text macros for Inconsolata (msharpe)) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/newtxmath.sty | |
| `newtxmath' v1.514, 2016/11/18 Math macros based on txfonts (msharpe) | |
| (/texlive/2016/texmf-dist/tex/generic/kastrup/binhex.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/base/fontenc.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/t1enc.def)) | |
| (/texlive/2016/texmf-dist/tex/latex/caption/caption.sty | |
| (/texlive/2016/texmf-dist/tex/latex/caption/caption3.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/float/float.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/comment/comment.sty | |
| Excluding comment 'comment') Excluding comment 'CCSXML' | |
| (/texlive/2016/texmf-arxiv/tex/latex/fancyhdr/fancyhdr.sty) | |
| Special comment 'acks' Include comment 'screenonly' | |
| Excluding comment 'printonly' Include comment 'anonsuppress' | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/T1LinuxLibertineT-TLF.fd)) | |
| (/texlive/2016/texmf-dist/tex/latex/etex-pkg/etex.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/amssymb.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/tools/xspace.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/mathpartir/mathpartir.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/jknapltx/mathbbol.sty) | |
| No file journalarxiv.aux. | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/omlnxlmi.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxexa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/base/ts1cmr.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/lmsntxsy.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/lmxntxexx.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/OT1LinuxLibertineT-TLF.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsb.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxmia.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxsym.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxsyc.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) | |
| LaTeX Font Warning: Font shape `U/stmry/m/n' in size <5.5> not available | |
| (Font) size <5> substituted on input line 29. | |
| (/texlive/2016/texmf-dist/tex/latex/bbold/Ubbold.fd) | |
| LaTeX Font Warning: Font shape `U/bbold/m/n' in size <5.5> not available | |
| (Font) size <5> substituted on input line 29. | |
| ABD: EveryShipout initializing macros | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/nameref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) | |
| Package hyperref Warning: Rerun to get /PageLabels entry. | |
| *geometry* detected driver: dvips | |
| (/texlive/2016/texmf-dist/tex/latex/upquote/upquote.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/T1LinuxBiolinumT-TLF.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/TS1LinuxLibertineT-TLF.fd) | |
| Package natbib Warning: Citation `vanDooren2005' on page 1 undefined on input l | |
| ine 62. | |
| Package natbib Warning: Citation `benton2007exceptions' on page 1 undefined on | |
| input line 62. | |
| Package natbib Warning: Citation `gosling2014java' on page 1 undefined on input | |
| line 62. | |
| Package natbib Warning: Citation `safelocking99' on page 1 undefined on input l | |
| ine 63. | |
| Package natbib Warning: Citation `rccjava00' on page 1 undefined on input line | |
| 63. | |
| Package natbib Warning: Citation `objtyrace99' on page 1 undefined on input lin | |
| e 63. | |
| Package natbib Warning: Citation `boyapati01' on page 1 undefined on input line | |
| 63. | |
| Package natbib Warning: Citation `boyapati02' on page 1 undefined on input line | |
| 63. | |
| Package natbib Warning: Citation `flanagan2003atomicity' on page 1 undefined on | |
| input line 63. | |
| Package natbib Warning: Citation `Hunt2007sealing' on page 1 undefined on input | |
| line 64. | |
| Package natbib Warning: Citation `Fahndrich2006language' on page 1 undefined on | |
| input line 64. | |
| Package natbib Warning: Citation `lucassen88' on page 1 undefined on input line | |
| 65. | |
| Package natbib Warning: Citation `talpin1992polymorphic' on page 1 undefined on | |
| input line 65. | |
| Package natbib Warning: Citation `Tofte1994Regions' on page 1 undefined on inpu | |
| t line 65. | |
| (/texlive/2016/texmf-dist/tex/latex/inconsolata/t1zi4.fd) | |
| Package natbib Warning: Citation `tate13' on page 1 undefined on input line 72. | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/mt-msa.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/mt-msb.cfg) | |
| Package natbib Warning: Citation `marino09' on page 1 undefined on input line 7 | |
| 2. | |
| Package natbib Warning: Citation `boyapati02' on page 1 undefined on input line | |
| 74. | |
| Package natbib Warning: Citation `tldi12' on page 1 undefined on input line 74. | |
| Package natbib Warning: Citation `suenaga2008type' on page 1 undefined on input | |
| line 74. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 1 undefined on inpu | |
| t line 75. | |
| Package natbib Warning: Citation `flanagan2003atomicity' on page 1 undefined on | |
| input line 75. | |
| Package natbib Warning: Citation `crary1999typed' on page 1 undefined on input | |
| line 76. | |
| Package natbib Warning: Citation `skalka2008types' on page 1 undefined on input | |
| line 76. | |
| Package natbib Warning: Citation `Skalka2008' on page 1 undefined on input line | |
| 76. | |
| Package natbib Warning: Citation `Koskinen14LTR' on page 1 undefined on input l | |
| ine 76. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [1.1] | |
| Package natbib Warning: Citation `marino09' on page 2 undefined on input line 7 | |
| 9. | |
| Package natbib Warning: Citation `rytz12' on page 2 undefined on input line 79. | |
| Package natbib Warning: Citation `BanadosSchwerter2014gradual' on page 2 undefi | |
| ned on input line 79. | |
| Package natbib Warning: Citation `rytz12' on page 2 undefined on input line 79. | |
| Package natbib Warning: Citation `toro2015customizable' on page 2 undefined on | |
| input line 79. | |
| Package natbib Warning: Citation `tate13' on page 2 undefined on input line 82. | |
| Package natbib Warning: Citation `katsumata14' on page 2 undefined on input lin | |
| e 82. | |
| Package natbib Warning: Citation `mycroft16' on page 2 undefined on input line | |
| 82. | |
| Package natbib Warning: Citation `mycroft16' on page 2 undefined on input line | |
| 82. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 2 undefined on inpu | |
| t line 85. | |
| Package natbib Warning: Citation `skalka2008types' on page 2 undefined on input | |
| line 85. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [2.2] | |
| Package natbib Warning: Citation `ecoop17' on page 3 undefined on input line 10 | |
| 4. | |
| Package natbib Warning: Citation `PGL-031' on page 3 undefined on input line 10 | |
| 8. | |
| Package natbib Warning: Citation `Skalka2008' on page 3 undefined on input line | |
| 108. | |
| Package natbib Warning: Citation `Koskinen14LTR' on page 3 undefined on input l | |
| ine 108. | |
| Underfull \vbox (badness 6110) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [3.3] | |
| Package natbib Warning: Citation `Skalka2008' on page 4 undefined on input line | |
| 113. | |
| Package natbib Warning: Citation `Koskinen14LTR' on page 4 undefined on input l | |
| ine 113. | |
| LaTeX Warning: Reference `sec:quantales' on page 4 undefined on input line 126. | |
| LaTeX Warning: Reference `sec:soundness' on page 4 undefined on input line 126. | |
| Package natbib Warning: Citation `gosling2014java' on page 4 undefined on input | |
| line 139. | |
| Package natbib Warning: Citation `vanDooren2005' on page 4 undefined on input l | |
| ine 139. | |
| Package natbib Warning: Citation `rccjava00' on page 4 undefined on input line | |
| 139. | |
| Package natbib Warning: Citation `Abadi2006' on page 4 undefined on input line | |
| 139. | |
| Package natbib Warning: Citation `Hunt2007sealing' on page 4 undefined on input | |
| line 139. | |
| Package natbib Warning: Citation `Hunt2007singularity' on page 4 undefined on i | |
| nput line 139. | |
| Package natbib Warning: Citation `Fahndrich2006language' on page 4 undefined on | |
| input line 139. | |
| Package natbib Warning: Citation `ecoop13' on page 4 undefined on input line 13 | |
| 9. | |
| Package natbib Warning: Citation `talpin1992polymorphic' on page 4 undefined on | |
| input line 139. | |
| Package natbib Warning: Citation `Tofte1994Regions' on page 4 undefined on inpu | |
| t line 139. | |
| Package natbib Warning: Citation `lucassen88' on page 4 undefined on input line | |
| 139. | |
| Package natbib Warning: Citation `gifford86' on page 4 undefined on input line | |
| 139. | |
| Package natbib Warning: Citation `bocchino09' on page 4 undefined on input line | |
| 139. | |
| Package natbib Warning: Citation `kawaguchi12' on page 4 undefined on input lin | |
| e 139. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [4.4] | |
| Package natbib Warning: Citation `suenaga2008type' on page 5 undefined on input | |
| line 149. | |
| Package natbib Warning: Citation `tldi12' on page 5 undefined on input line 150 | |
| . | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 5 undefined on inpu | |
| t line 151. | |
| LaTeX Warning: Reference `fig:atomicity_lattice' on page 5 undefined on input l | |
| ine 151. | |
| Package natbib Warning: Citation `tldi12' on page 5 undefined on input line 156 | |
| . | |
| Underfull \vbox (badness 4660) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [5.5] | |
| LaTeX Warning: Reference `sec:quantales' on page 6 undefined on input line 191. | |
| LaTeX Warning: Reference `sec:modeling' on page 6 undefined on input line 191. | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/OT1LinuxBiolinumT-TLF.fd) | |
| Package natbib Warning: Citation `mulvey1986' on page 6 undefined on input line | |
| 219. | |
| Package natbib Warning: Citation `mulvey1992quantisation' on page 6 undefined o | |
| n input line 219. | |
| Package natbib Warning: Citation `yetter1990quantales' on page 6 undefined on i | |
| nput line 219. | |
| Package natbib Warning: Citation `abramsky1993quantales' on page 6 undefined on | |
| input line 219. | |
| Package natbib Warning: Citation `abramsky1993quantales' on page 6 undefined on | |
| input line 219. | |
| LaTeX Warning: Reference `sec:modeling' on page 6 undefined on input line 221. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [6.6] | |
| Package natbib Warning: Citation `mulvey1986' on page 7 undefined on input line | |
| 228. | |
| Package natbib Warning: Citation `mulvey1992quantisation' on page 7 undefined o | |
| n input line 228. | |
| Package natbib Warning: Citation `galatos2007residuated' on page 7 undefined on | |
| input line 242. | |
| Package natbib Warning: Citation `oopsla16' on page 7 undefined on input line 2 | |
| 47. | |
| Package natbib Warning: Citation `yetter1990quantales' on page 7 undefined on i | |
| nput line 248. | |
| Package natbib Warning: Citation `abramsky1993quantales' on page 7 undefined on | |
| input line 248. | |
| Package natbib Warning: Citation `galatos2007residuated' on page 7 undefined on | |
| input line 248. | |
| Package natbib Warning: Citation `kozen1997kleene' on page 7 undefined on input | |
| line 248. | |
| Package natbib Warning: Citation `pratt1990action' on page 7 undefined on input | |
| line 248. | |
| Package natbib Warning: Citation `kleene1954upper' on page 7 undefined on input | |
| line 256. | |
| LaTeX Warning: Reference `sec:semantics' on page 7 undefined on input line 263. | |
| Package natbib Warning: Citation `tate13' on page 7 undefined on input line 263 | |
| . | |
| Package natbib Warning: Citation `katsumata14' on page 7 undefined on input lin | |
| e 263. | |
| Package natbib Warning: Citation `mycroft16' on page 7 undefined on input line | |
| 263. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [7.7] | |
| Package natbib Warning: Citation `birkhoff' on page 8 undefined on input line 2 | |
| 67. | |
| Package natbib Warning: Citation `galatos2007residuated' on page 8 undefined on | |
| input line 267. | |
| Package natbib Warning: Citation `blyth2006lattices' on page 8 undefined on inp | |
| ut line 267. | |
| Package natbib Warning: Citation `fuchs2011partially' on page 8 undefined on in | |
| put line 267. | |
| Package natbib Warning: Citation `birkhoff' on page 8 undefined on input line 2 | |
| 69. | |
| LaTeX Warning: Reference `sec:locking' on page 8 undefined on input line 299. | |
| LaTeX Warning: Reference `lem:subsume' on page 8 undefined on input line 302. | |
| LaTeX Warning: Reference `sec:closure_operator' on page 8 undefined on input li | |
| ne 302. | |
| LaTeX Warning: Reference `sec:soundness' on page 8 undefined on input line 302. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [8.8] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [9.9] | |
| LaTeX Warning: Reference `sec:params' on page 10 undefined on input line 355. | |
| LaTeX Warning: Reference `sec:concrete' on page 10 undefined on input line 355. | |
| Package natbib Warning: Citation `flanagan2003atomicity' on page 10 undefined o | |
| n input line 359. | |
| Package natbib Warning: Citation `lipton75' on page 10 undefined on input line | |
| 359. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 10 undefined on inp | |
| ut line 360. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 10 undefined on inp | |
| ut line 395. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 10 undefined on inp | |
| ut line 395. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [10.10] | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 11 undefined on inp | |
| ut line 405. | |
| Package natbib Warning: Citation `flanagan2003atomicity' on page 11 undefined o | |
| n input line 408. | |
| LaTeX Warning: Reference `fig:atomicity_lattice' on page 11 undefined on input | |
| line 408. | |
| LaTeX Warning: Reference `fig:atomicity_lattice' on page 11 undefined on input | |
| line 408. | |
| LaTeX Warning: Reference `fig:atomicity_lattice' on page 11 undefined on input | |
| line 409. | |
| LaTeX Warning: Reference `sec:iteration' on page 11 undefined on input line 416 | |
| . | |
| LaTeX Warning: Reference `sec:modeling2' on page 11 undefined on input line 421 | |
| . | |
| Package natbib Warning: Citation `flanagan2003atomicity' on page 11 undefined o | |
| n input line 422. | |
| Package natbib Warning: Citation `Koskinen14LTR' on page 11 undefined on input | |
| line 452. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [11.11] | |
| Package natbib Warning: Citation `Koskinen14LTR' on page 12 undefined on input | |
| line 470. | |
| Package natbib Warning: Citation `ecoop17' on page 12 undefined on input line 4 | |
| 72. | |
| LaTeX Warning: Reference `sec:iteration' on page 12 undefined on input line 472 | |
| . | |
| LaTeX Warning: Reference `sec:iteration' on page 12 undefined on input line 472 | |
| . | |
| Package natbib Warning: Citation `skalka2008types' on page 12 undefined on inpu | |
| t line 476. | |
| Package natbib Warning: Citation `Skalka2008' on page 12 undefined on input lin | |
| e 476. | |
| Package natbib Warning: Citation `skalka2008types' on page 12 undefined on inpu | |
| t line 481. | |
| LaTeX Warning: Reference `sec:iteration' on page 12 undefined on input line 490 | |
| . | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [12.12] | |
| Package natbib Warning: Citation `Skalka2008' on page 13 undefined on input lin | |
| e 493. | |
| Package natbib Warning: Citation `skalka2008types' on page 13 undefined on inpu | |
| t line 495. | |
| Package natbib Warning: Citation `Skalka2008' on page 13 undefined on input lin | |
| e 495. | |
| LaTeX Warning: Reference `sec:modeling2' on page 13 undefined on input line 495 | |
| . | |
| Package natbib Warning: Citation `Skalka2008' on page 13 undefined on input lin | |
| e 516. | |
| LaTeX Warning: Reference `def:morphism' on page 13 undefined on input line 516. | |
| Package natbib Warning: Citation `nielson1993cml' on page 13 undefined on input | |
| line 520. | |
| Package natbib Warning: Citation `amtoft1999' on page 13 undefined on input lin | |
| e 520. | |
| LaTeX Warning: Reference `sec:joinoids' on page 13 undefined on input line 523. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [13.13] | |
| LaTeX Warning: Reference `sec:quantales' on page 14 undefined on input line 530 | |
| . | |
| LaTeX Warning: Reference `sec:modeling' on page 14 undefined on input line 530. | |
| LaTeX Warning: Reference `sec:locking' on page 14 undefined on input line 534. | |
| Package natbib Warning: Citation `suenaga2008type' on page 14 undefined on inpu | |
| t line 559. | |
| Package natbib Warning: Citation `tate13' on page 14 undefined on input line 55 | |
| 9. | |
| Package natbib Warning: Citation `tate13' on page 14 undefined on input line 56 | |
| 2. | |
| LaTeX Warning: Reference `fig:crit-effects' on page 14 undefined on input line | |
| 567. | |
| LaTeX Warning: Reference `sec:semantics' on page 14 undefined on input line 595 | |
| . | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [14.14] | |
| LaTeX Warning: Reference `def:eq' on page 15 undefined on input line 635. | |
| Overfull \hbox (17.53978pt too wide) in paragraph at lines 640--641 | |
| []\T1/LinuxLibertineT-TLF/m/it/10 Given an ef-fect quan-tale $\LMS/ntxsy/m/n/10 | |
| �\OML/nxlmi/m/it/10 Q; \LMS/ntxsy/m/n/10 t\OML/nxlmi/m/it/10 ; \U/ntxsym/m/n/1 | |
| 0 �\OML/nxlmi/m/it/10 ; \LMS/ntxsy/m/n/10 >\OML/nxlmi/m/it/10 ; I\LMS/ntxsy/m/n | |
| /10 �$\T1/LinuxLibertineT-TLF/m/it/10 , there is a partially-defined ef-fect qu | |
| an-tale $\LMS/ntxsy/m/n/10 �\OML/nxlmi/m/it/10 Q \LMS/ntxsy/m/n/10 n f>g\OML/nx | |
| lmi/m/it/10 ; \LMS/ntxsy/m/n/10 tj[]\OML/nxlmi/m/it/10 ; \U/ntxsym/m/n/10 �\LMS | |
| /ntxsy/m/n/10 j[]�$\T1/LinuxLibertineT-TLF/m/it/10 , | |
| Package natbib Warning: Citation `ecoop17' on page 15 undefined on input line 6 | |
| 46. | |
| LaTeX Warning: Reference `lem:pdeq_equiv' on page 15 undefined on input line 64 | |
| 6. | |
| LaTeX Warning: Reference `def:eq' on page 15 undefined on input line 647. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [15.15] | |
| LaTeX Warning: Reference `sec:quantales' on page 16 undefined on input line 661 | |
| . | |
| LaTeX Warning: Reference `sec:closure_operator' on page 16 undefined on input l | |
| ine 664. | |
| LaTeX Warning: Reference `sec:iter_props' on page 16 undefined on input line 66 | |
| 5. | |
| Package natbib Warning: Citation `ecoop17' on page 16 undefined on input line 6 | |
| 80. | |
| Package natbib Warning: Citation `birkhoff' on page 16 undefined on input line | |
| 688. | |
| Package natbib Warning: Citation `blyth2006lattices' on page 16 undefined on in | |
| put line 688. | |
| Package natbib Warning: Citation `saraswat1991' on page 16 undefined on input l | |
| ine 688. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [16.16] | |
| Package natbib Warning: Citation `birkhoff' on page 17 undefined on input line | |
| 696. | |
| Package natbib Warning: Citation `blyth2006lattices' on page 17 undefined on in | |
| put line 696. | |
| Package natbib Warning: Citation `saraswat1991' on page 17 undefined on input l | |
| ine 696. | |
| Package natbib Warning: Citation `blyth2006lattices' on page 17 undefined on in | |
| put line 701. | |
| Package natbib Warning: Citation `ecoop17' on page 17 undefined on input line 7 | |
| 11. | |
| Package natbib Warning: Citation `birkhoff' on page 17 undefined on input line | |
| 718. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [17.17] | |
| LaTeX Warning: Reference `sec:lax_dist' on page 18 undefined on input line 746. | |
| LaTeX Warning: Reference `prop:nonempty_freely' on page 18 undefined on input l | |
| ine 754. | |
| Package natbib Warning: Citation `blyth2006lattices' on page 18 undefined on in | |
| put line 755. | |
| LaTeX Warning: Reference `prop:closure_iterable' on page 18 undefined on input | |
| line 764. | |
| Package natbib Warning: Citation `blyth2006lattices' on page 18 undefined on in | |
| put line 764. | |
| Package natbib Warning: Citation `blyth2006lattices' on page 18 undefined on in | |
| put line 765. | |
| Package natbib Warning: Citation `birkhoff' on page 18 undefined on input line | |
| 765. | |
| Package natbib Warning: Citation `saraswat1991' on page 18 undefined on input l | |
| ine 765. | |
| LaTeX Warning: Reference `sec:general_lax_iter' on page 18 undefined on input l | |
| ine 772. | |
| LaTeX Warning: Reference `sec:iter_props' on page 18 undefined on input line 77 | |
| 2. | |
| LaTeX Warning: Reference `sec:iter_examples' on page 18 undefined on input line | |
| 777. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [18.18] | |
| LaTeX Warning: Reference `eq:finite_subidem' on page 19 undefined on input line | |
| 798. | |
| LaTeX Warning: Reference `eq:finite_subidem' on page 19 undefined on input line | |
| 800. | |
| LaTeX Warning: Reference `eq:finite_subidem' on page 19 undefined on input line | |
| 800. | |
| LaTeX Warning: Reference `prop:nonempty_freely' on page 19 undefined on input l | |
| ine 846. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [19.19] | |
| LaTeX Warning: Reference `prop:finite_iterable' on page 20 undefined on input l | |
| ine 853. | |
| LaTeX Warning: Reference `prop:finite_iterable' on page 20 undefined on input l | |
| ine 856. | |
| LaTeX Warning: Reference `prop:complete_iterable' on page 20 undefined on input | |
| line 856. | |
| LaTeX Warning: Reference `sec:iter_examples' on page 20 undefined on input line | |
| 857. | |
| LaTeX Warning: Reference `sec:iter_examples' on page 20 undefined on input line | |
| 858. | |
| LaTeX Warning: Reference `prop:complete_iterable' on page 20 undefined on input | |
| line 869. | |
| Package natbib Warning: Citation `ecoop17' on page 20 undefined on input line 8 | |
| 71. | |
| LaTeX Warning: Reference `prop:finite_iterable' on page 20 undefined on input l | |
| ine 883. | |
| LaTeX Warning: Reference `prop:complete_iterable' on page 20 undefined on input | |
| line 883. | |
| LaTeX Warning: Reference `sec:finite_traces' on page 20 undefined on input line | |
| 885. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [20.20] | |
| LaTeX Warning: Reference `prop:free_closure_operator' on page 21 undefined on i | |
| nput line 899. | |
| LaTeX Warning: Reference `prop:free_closure_operator' on page 21 undefined on i | |
| nput line 901. | |
| LaTeX Warning: Reference `prop:nonempty_freely' on page 21 undefined on input l | |
| ine 908. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [21.21] | |
| LaTeX Warning: Reference `sec:atomicity_quantale' on page 22 undefined on input | |
| line 929. | |
| LaTeX Warning: Reference `lem:subsume' on page 22 undefined on input line 941. | |
| LaTeX Warning: Reference `sec:soundness' on page 22 undefined on input line 945 | |
| . | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [22.22] | |
| Package natbib Warning: Citation `tate13' on page 23 undefined on input line 97 | |
| 0. | |
| LaTeX Warning: Reference `def:crit-effects' on page 23 undefined on input line | |
| 970. | |
| LaTeX Warning: Reference `sec:semantics' on page 23 undefined on input line 975 | |
| . | |
| LaTeX Warning: Reference `sec:modeling' on page 23 undefined on input line 981. | |
| LaTeX Warning: Reference `sec:modeling2' on page 23 undefined on input line 981 | |
| . | |
| Package natbib Warning: Citation `Grossman2002Cyclone' on page 23 undefined on | |
| input line 990. | |
| Package natbib Warning: Citation `vanDooren2005' on page 23 undefined on input | |
| line 990. | |
| Package natbib Warning: Citation `rytz12' on page 23 undefined on input line 99 | |
| 0. | |
| Package natbib Warning: Citation `ecoop13' on page 23 undefined on input line 9 | |
| 90. | |
| LaTeX Warning: Reference `sec:modeling2' on page 23 undefined on input line 992 | |
| . | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 23 undefined on inp | |
| ut line 992. | |
| Package natbib Warning: Citation `skalka2008types' on page 23 undefined on inpu | |
| t line 992. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [23.23] | |
| Package natbib Warning: Citation `marino09' on page 24 undefined on input line | |
| 997. | |
| Package natbib Warning: Citation `tate13' on page 24 undefined on input line 99 | |
| 7. | |
| Package natbib Warning: Citation `mycroft16' on page 24 undefined on input line | |
| 997. | |
| LaTeX Warning: Reference `sec:syntactic_safety' on page 24 undefined on input l | |
| ine 999. | |
| Package natbib Warning: Citation `katsumata14' on page 24 undefined on input li | |
| ne 1001. | |
| LaTeX Warning: Reference `sec:interp' on page 24 undefined on input line 1002. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [24.24] | |
| LaTeX Warning: Reference `sec:relwork' on page 25 undefined on input line 1060. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [25.25] | |
| Package natbib Warning: Citation `Delaware2013MLC' on page 26 undefined on inpu | |
| t line 1099. | |
| Package natbib Warning: Citation `birkedal2013intensional' on page 26 undefined | |
| on input line 1099. | |
| Underfull \vbox (badness 1127) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [26.26] | |
| LaTeX Warning: Reference `fig:syntax' on page 27 undefined on input line 1293. | |
| Package natbib Warning: Citation `lucassen88' on page 27 undefined on input lin | |
| e 1293. | |
| LaTeX Warning: Reference `sec:bg' on page 27 undefined on input line 1293. | |
| LaTeX Warning: Reference `fig:syntax' on page 27 undefined on input line 1304. | |
| Package natbib Warning: Citation `lucassen88' on page 27 undefined on input lin | |
| e 1313. | |
| Package natbib Warning: Citation `talpin1992polymorphic' on page 27 undefined o | |
| n input line 1313. | |
| Package natbib Warning: Citation `rytz12' on page 27 undefined on input line 13 | |
| 13. | |
| Package natbib Warning: Citation `ecoop13' on page 27 undefined on input line 1 | |
| 313. | |
| Underfull \vbox (badness 2351) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [27.27] | |
| LaTeX Warning: Text page 28 contains only floats. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [28.28] | |
| LaTeX Warning: Reference `fig:syntax' on page 29 undefined on input line 1346. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [29.29] | |
| LaTeX Warning: Reference `lem:without' on page 30 undefined on input line 1403. | |
| LaTeX Warning: Reference `sec:params' on page 30 undefined on input line 1404. | |
| LaTeX Warning: Reference `lem:without' on page 30 undefined on input line 1427. | |
| LaTeX Warning: Reference `lem:valtyping' on page 30 undefined on input line 144 | |
| 1. | |
| LaTeX Warning: Reference `lem:term_subst' on page 30 undefined on input line 14 | |
| 45. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [30.30] | |
| LaTeX Warning: Reference `lem:without' on page 31 undefined on input line 1449. | |
| LaTeX Warning: Reference `lem:type_subst' on page 31 undefined on input line 14 | |
| 64. | |
| LaTeX Warning: Reference `lem:without' on page 31 undefined on input line 1466. | |
| LaTeX Warning: Reference `lem:without' on page 31 undefined on input line 1473. | |
| LaTeX Warning: Reference `lem:without' on page 31 undefined on input line 1490. | |
| Overfull \hbox (25.20439pt too wide) in paragraph at lines 1501--1504 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 . State re-mains un-changed, | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [31.31] | |
| LaTeX Warning: Reference `lem:onestep_preservation' on page 32 undefined on inp | |
| ut line 1532. | |
| LaTeX Warning: Reference `lem:canonical' on page 32 undefined on input line 154 | |
| 5. | |
| LaTeX Warning: Reference `lem:canonical' on page 32 undefined on input line 155 | |
| 0. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [32.32] | |
| LaTeX Warning: Reference `lem:subsume' on page 33 undefined on input line 1566. | |
| LaTeX Warning: Reference `thm:soundness' on page 33 undefined on input line 156 | |
| 6. | |
| Package natbib Warning: Citation `katsumata14' on page 33 undefined on input li | |
| ne 1570. | |
| LaTeX Warning: Reference `sec:params' on page 33 undefined on input line 1583. | |
| Overfull \hbox (17.5571pt too wide) in paragraph at lines 1582--1585 | |
| \T1/LinuxLibertineT-TLF/m/n/10 fol-lows from the fact that bi-nary re-la-tions | |
| form an ef-fect quan-tale: $\LMS/ntxsy/m/n/10 �[]�[]� ] f[]g\OML/nxlmi/m/it/10 | |
| ; \LMS/ntxsy/m/n/10 [\OML/nxlmi/m/it/10 ; \LMS/ntxsy/m/n/10 ^^N\OML/nxlmi/m/it/ | |
| 10 ; []; \U/ntxmia/m/it/10 =[] | |
| Package natbib Warning: Citation `skalka2008types' on page 33 undefined on inpu | |
| t line 1590. | |
| Package natbib Warning: Citation `Skalka2008' on page 33 undefined on input lin | |
| e 1590. | |
| LaTeX Warning: Reference `ex:history_effect_interp' on page 33 undefined on inp | |
| ut line 1593. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [33.33] | |
| LaTeX Warning: Reference `sec:params' on page 34 undefined on input line 1618. | |
| LaTeX Warning: Reference `lem:onestep_preservation' on page 34 undefined on inp | |
| ut line 1641. | |
| LaTeX Warning: Reference `lem:interp_one_step' on page 34 undefined on input li | |
| ne 1658. | |
| Package natbib Warning: Citation `tate13' on page 34 undefined on input line 16 | |
| 69. | |
| Package natbib Warning: Citation `katsumata14' on page 34 undefined on input li | |
| ne 1669. | |
| Package natbib Warning: Citation `mycroft16' on page 34 undefined on input line | |
| 1670. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [34.34] | |
| LaTeX Warning: Reference `sec:soundness' on page 35 undefined on input line 167 | |
| 5. | |
| Package natbib Warning: Citation `tate13' on page 35 undefined on input line 17 | |
| 05. | |
| Package natbib Warning: Citation `tate13' on page 35 undefined on input line 17 | |
| 05. | |
| Package natbib Warning: Citation `tate13' on page 35 undefined on input line 17 | |
| 07. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [35.35] | |
| LaTeX Warning: Reference `def:crit-effects' on page 36 undefined on input line | |
| 1765. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [36.36] | |
| LaTeX Warning: Reference `lem:eq_from_effectoid' on page 37 undefined on input | |
| line 1771. | |
| LaTeX Warning: Reference `lem:quantale_effectoids' on page 37 undefined on inpu | |
| t line 1771. | |
| Package natbib Warning: Citation `rosenthal1997relational' on page 37 undefined | |
| on input line 1774. | |
| Package natbib Warning: Citation `birkhoff' on page 37 undefined on input line | |
| 1785. | |
| LaTeX Warning: Reference `lem:eq_from_effectoid' on page 37 undefined on input | |
| line 1789. | |
| LaTeX Warning: Reference `lem:eq_effectoids' on page 37 undefined on input line | |
| 1789. | |
| LaTeX Warning: Reference `lem:eq_from_effectoid' on page 37 undefined on input | |
| line 1790. | |
| Package natbib Warning: Citation `katsumata14' on page 37 undefined on input li | |
| ne 1793. | |
| Package natbib Warning: Citation `fujii2016towards' on page 37 undefined on inp | |
| ut line 1793. | |
| Package natbib Warning: Citation `smirnov2008graded' on page 37 undefined on in | |
| put line 1793. | |
| LaTeX Warning: Reference `lem:pdeq_equiv' on page 37 undefined on input line 17 | |
| 96. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [37.37] | |
| LaTeX Warning: Reference `lem:interp_one_step' on page 38 undefined on input li | |
| ne 1801. | |
| LaTeX Warning: Reference `sec:interp' on page 38 undefined on input line 1801. | |
| Package natbib Warning: Citation `mycroft16' on page 38 undefined on input line | |
| 1805. | |
| Package natbib Warning: Citation `nielson1993cml' on page 38 undefined on input | |
| line 1810. | |
| Package natbib Warning: Citation `dodds09' on page 38 undefined on input line 1 | |
| 810. | |
| Underfull \vbox (badness 1688) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [38.38] | |
| LaTeX Warning: Reference `sec:modeling' on page 39 undefined on input line 1816 | |
| . | |
| LaTeX Warning: Reference `sec:modeling2' on page 39 undefined on input line 182 | |
| 6. | |
| Package natbib Warning: Citation `phoa92' on page 39 undefined on input line 18 | |
| 30. | |
| Package natbib Warning: Citation `dybjer1995internal' on page 39 undefined on i | |
| nput line 1830. | |
| Package natbib Warning: Citation `jacobs1999categorical' on page 39 undefined o | |
| n input line 1830. | |
| Package natbib Warning: Citation `birkedal2013intensional' on page 39 undefined | |
| on input line 1830. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [39.39] | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 40 undefined on inp | |
| ut line 1873. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 40 undefined on inp | |
| ut line 1873. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 40 undefined on inp | |
| ut line 1878. | |
| Package natbib Warning: Citation `flanagan2003atomicity' on page 40 undefined o | |
| n input line 1878. | |
| LaTeX Warning: Reference `fig:flanagan' on page 40 undefined on input line 1879 | |
| . | |
| Package natbib Warning: Citation `safelocking99' on page 40 undefined on input | |
| line 1881. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 40 undefined on inp | |
| ut line 1881. | |
| Package natbib Warning: Citation `rccjava00' on page 40 undefined on input line | |
| 1882. | |
| Package natbib Warning: Citation `safelocking99' on page 40 undefined on input | |
| line 1931. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 40 undefined on inp | |
| ut line 1931. | |
| Package natbib Warning: Citation `safelocking99' on page 40 undefined on input | |
| line 1931. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 40 undefined on inp | |
| ut line 1931. | |
| LaTeX Warning: Reference `fig:locking_params' on page 40 undefined on input lin | |
| e 1935. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [40.40] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [41.41] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [42.42] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [43.43] | |
| Package natbib Warning: Citation `skalka2008types' on page 44 undefined on inpu | |
| t line 2024. | |
| Package natbib Warning: Citation `Damas:1982:PTF:582153.582176' on page 44 unde | |
| fined on input line 2025. | |
| LaTeX Warning: Reference `fig:history' on page 44 undefined on input line 2027. | |
| LaTeX Warning: Reference `fig:history' on page 44 undefined on input line 2032. | |
| LaTeX Warning: Reference `fig:history' on page 44 undefined on input line 2035. | |
| Overfull \hbox (16.47374pt too wide) in paragraph at lines 2035--2037 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 Figure [] also gives an in-stan-ti-a-tion of o | |
| ur frame-work and cor-re-spond-ing type-and-effect-preserving | |
| Package natbib Warning: Citation `skalka2008types' on page 44 undefined on inpu | |
| t line 2091. | |
| Package natbib Warning: Citation `skalka2008types' on page 44 undefined on inpu | |
| t line 2091. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [44.44] | |
| Package natbib Warning: Citation `marino09' on page 45 undefined on input line | |
| 2124. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [45.45] | |
| Package natbib Warning: Citation `henglein2005effect' on page 46 undefined on i | |
| nput line 2127. | |
| Package natbib Warning: Citation `talpin1992polymorphic' on page 46 undefined o | |
| n input line 2127. | |
| Package natbib Warning: Citation `rytz12' on page 46 undefined on input line 21 | |
| 31. | |
| Package natbib Warning: Citation `rytz12a' on page 46 undefined on input line 2 | |
| 131. | |
| Package natbib Warning: Citation `vanDooren2005' on page 46 undefined on input | |
| line 2131. | |
| Package natbib Warning: Citation `toro2015customizable' on page 46 undefined on | |
| input line 2131. | |
| Package natbib Warning: Citation `BanadosSchwerter2014gradual' on page 46 undef | |
| ined on input line 2131. | |
| LaTeX Warning: Reference `sec:semantics' on page 46 undefined on input line 213 | |
| 5. | |
| Package natbib Warning: Citation `pratt1990action' on page 46 undefined on inpu | |
| t line 2135. | |
| Package natbib Warning: Citation `kozen1997kleene' on page 46 undefined on inpu | |
| t line 2136. | |
| LaTeX Warning: Reference `sec:trace_sets' on page 46 undefined on input line 21 | |
| 36. | |
| LaTeX Warning: Reference `sec:history_effects' on page 46 undefined on input li | |
| ne 2136. | |
| LaTeX Warning: Reference `sec:finite_traces' on page 46 undefined on input line | |
| 2136. | |
| Package natbib Warning: Citation `safelocking99' on page 46 undefined on input | |
| line 2158. | |
| Package natbib Warning: Citation `rccjava00' on page 46 undefined on input line | |
| 2158. | |
| Package natbib Warning: Citation `flanagan2003tldi' on page 46 undefined on inp | |
| ut line 2158. | |
| Package natbib Warning: Citation `flanagan2003atomicity' on page 46 undefined o | |
| n input line 2158. | |
| Package natbib Warning: Citation `suenaga2008type' on page 46 undefined on inpu | |
| t line 2162. | |
| Underfull \vbox (badness 6110) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [46.46] | |
| LaTeX Warning: Reference `sec:modeling' on page 47 undefined on input line 2169 | |
| . | |
| Package natbib Warning: Citation `rccjava00' on page 47 undefined on input line | |
| 2170. | |
| Package natbib Warning: Citation `safelocking99' on page 47 undefined on input | |
| line 2170. | |
| Package natbib Warning: Citation `Abadi2006' on page 47 undefined on input line | |
| 2170. | |
| Package natbib Warning: Citation `objtyrace99' on page 47 undefined on input li | |
| ne 2170. | |
| Package natbib Warning: Citation `boyapati01' on page 47 undefined on input lin | |
| e 2170. | |
| Package natbib Warning: Citation `boyapati02' on page 47 undefined on input lin | |
| e 2170. | |
| Package natbib Warning: Citation `rccjava00' on page 47 undefined on input line | |
| 2176. | |
| LaTeX Warning: Reference `sec:bg' on page 47 undefined on input line 2180. | |
| Package natbib Warning: Citation `WolffGTA11' on page 47 undefined on input lin | |
| e 2182. | |
| Package natbib Warning: Citation `Garcia2014FTP' on page 47 undefined on input | |
| line 2182. | |
| Package natbib Warning: Citation `Sunshine2011' on page 47 undefined on input l | |
| ine 2183. | |
| Package natbib Warning: Citation `Honda2008' on page 47 undefined on input line | |
| 2183. | |
| Package natbib Warning: Citation `nielson1993cml' on page 47 undefined on input | |
| line 2183. | |
| Package natbib Warning: Citation `lucassen88' on page 47 undefined on input lin | |
| e 2187. | |
| Package natbib Warning: Citation `gifford86' on page 47 undefined on input line | |
| 2187. | |
| Package natbib Warning: Citation `mycroft16' on page 47 undefined on input line | |
| 2189. | |
| Package natbib Warning: Citation `birkedal2013intensional' on page 47 undefined | |
| on input line 2198. | |
| Package natbib Warning: Citation `Delaware2013MLC' on page 47 undefined on inpu | |
| t line 2198. | |
| Package natbib Warning: Citation `Delaware2013MMM' on page 47 undefined on inpu | |
| t line 2198. | |
| Package natbib Warning: Citation `lucassen88' on page 47 undefined on input lin | |
| e 2200. | |
| Package natbib Warning: Citation `talpin1992polymorphic' on page 47 undefined o | |
| n input line 2200. | |
| Package natbib Warning: Citation `Grossman2002Cyclone' on page 47 undefined on | |
| input line 2200. | |
| Package natbib Warning: Citation `rytz12' on page 47 undefined on input line 22 | |
| 00. | |
| Package natbib Warning: Citation `ecoop13' on page 47 undefined on input line 2 | |
| 200. | |
| Package natbib Warning: Citation `Skalka2008' on page 47 undefined on input lin | |
| e 2200. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [47.47] (./journalarxiv.bbl | |
| Underfull \hbox (badness 1072) in paragraph at lines 114--124 | |
| \T1/LinuxLibertineT-TLF/m/it/8 ings of the 19th ACM SIG-PLAN In-ter-na-tional C | |
| on-fer-ence on Func-tional Pro-gram-ming (ICFP '14)\T1/LinuxLibertineT-TLF/m/n/ | |
| 8 . ACM, 283--295. | |
| Underfull \hbox (badness 10000) in paragraph at lines 130--136 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Nick Ben-ton and Pe-ter Buchlovsky. 2007. Se-m | |
| an-tics of an Ef-fect Anal-y-sis for Ex-cep-tions. In \T1/LinuxLibertineT-TLF/m | |
| /it/8 TLDI\T1/LinuxLibertineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 3679) in paragraph at lines 168--175 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Thomas Scott Blyth. 2006. \T1/LinuxLibertineT- | |
| TLF/m/it/8 Lat-tices and or-dered al-ge-braic struc-tures\T1/LinuxLibertineT-TL | |
| F/m/n/8 . Springer Sci-ence & Busi-ness Me-dia. | |
| Underfull \vbox (badness 1275) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [48.48] | |
| Underfull \hbox (badness 2269) in paragraph at lines 256--265 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Luis Damas and Robin Mil-ner. 1982. Prin-ci-pa | |
| l Type-schemes for Func-tional Pro-grams. In \T1/LinuxLibertineT-TLF/m/it/8 Pro | |
| -ceed-ings of the | |
| Underfull \hbox (badness 3323) in paragraph at lines 256--265 | |
| \T1/LinuxLibertineT-TLF/m/it/8 9th ACM SIGPLAN-SIGACT Sym-po-sium on Prin-ci-pl | |
| es of Pro-gram-ming Lan-guages (POPL '82)\T1/LinuxLibertineT-TLF/m/n/8 . ACM, 2 | |
| 07--212. | |
| Underfull \hbox (badness 4492) in paragraph at lines 305--313 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Mike Dodds, Xinyu Feng, Matthew Parkin-son, and | |
| Vik-tor Vafeiadis. 2009. Deny-Guarantee Rea-son-ing. In | |
| Underfull \hbox (badness 3780) in paragraph at lines 305--313 | |
| \T1/LinuxLibertineT-TLF/m/it/8 Pro-ceed-ings of the 18th Eu-ro-pean Sym-po-sium | |
| on Pro-gram-ming (ESOP)\T1/LinuxLibertineT-TLF/m/n/8 . Springer Berlin Hei-del | |
| -berg, 363--377. | |
| Underfull \hbox (badness 1210) in paragraph at lines 333--343 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Manuel F�h-n-drich, Mark Aiken, Chris Haw-blitz | |
| el, Orion Hod-son, Galen Hunt, James R. Larus, and Steven Levi. | |
| Underfull \hbox (badness 1210) in paragraph at lines 333--343 | |
| \T1/LinuxLibertineT-TLF/m/n/8 2006. Lan-guage Sup-port for Fast and Re-li-able | |
| Message-based Com-mu-ni-ca-tion in Sin-gu-lar-ity OS. In \T1/LinuxLibertineT-T | |
| LF/m/it/8 Pro-ceed- | |
| Underfull \hbox (badness 10000) in paragraph at lines 349--355 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Cormac Flana-gan and Mart�n Abadi. 1999a. Ob-j | |
| ect Types against Races. In \T1/LinuxLibertineT-TLF/m/it/8 CON-CUR\T1/LinuxLibe | |
| rtineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 10000) in paragraph at lines 373--379 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Cormac Flana-gan and Stephen N. Fre-und. 2000. | |
| Type-Based Race De-tec-tion for Java. In \T1/LinuxLibertineT-TLF/m/it/8 PLDI\T | |
| 1/LinuxLibertineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 2698) in paragraph at lines 385--394 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Cormac Flana-gan and Shaz Qadeer. 2003a. A Typ | |
| e and Ef-fect Sys-tem for Atom-ic-ity. In \T1/LinuxLibertineT-TLF/m/it/8 Pro-ce | |
| ed-ings of the | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [49.49] | |
| Underfull \hbox (badness 2744) in paragraph at lines 615--626 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Shin-ya Kat-sumata. 2014. Para-met-ric Ef-fect | |
| Mon-ads and Se-man-tics of Ef-fect Sys-tems. In \T1/LinuxLibertineT-TLF/m/it/8 | |
| Pro-ceed-ings of the | |
| Underfull \hbox (badness 2781) in paragraph at lines 615--626 | |
| \T1/LinuxLibertineT-TLF/m/it/8 41st ACM SIGPLAN-SIGACT Sym-po-sium on Prin-ci-p | |
| les of Pro-gram-ming Lan-guages (POPL '14)\T1/LinuxLibertineT-TLF/m/n/8 . ACM, | |
| 633--645. | |
| Underfull \hbox (badness 10000) in paragraph at lines 716--722 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Daniel Marino and Todd Mill-stein. 2009. A Gen | |
| eric Type-and-Effect Sys-tem. In \T1/LinuxLibertineT-TLF/m/it/8 TLDI\T1/LinuxLi | |
| bertineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 10000) in paragraph at lines 890--899 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Kohei Sue-naga. 2008. Type-based deadlock-free | |
| dom ver-i-fi-ca-tion for non-block-structured lock prim-i-tives | |
| Underfull \hbox (badness 5417) in paragraph at lines 890--899 | |
| \T1/LinuxLibertineT-TLF/m/n/8 and mu-ta-ble ref-er-ences. In \T1/LinuxLibertine | |
| T-TLF/m/it/8 Asian Sym-po-sium on Pro-gram-ming Lan-guages and Sys-tems\T1/Linu | |
| xLibertineT-TLF/m/n/8 . Springer, 155--170. | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [50.50] | |
| Underfull \hbox (badness 2837) in paragraph at lines 996--1003 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Roger Wolff, Ronald Gar-cia, �ric Tan-ter, and | |
| Jonathan Aldrich. 2011. Grad-ual Type-s-tate. In \T1/LinuxLibertineT-TLF/m/it/ | |
| 8 ECOOP 2011 - | |
| Underfull \hbox (badness 1424) in paragraph at lines 996--1003 | |
| \T1/LinuxLibertineT-TLF/m/it/8 Object-Oriented Pro-gram-ming - 25th Eu-ro-pean | |
| Con-fer-ence, Lan-caster, UK, July 25-29, 2011 Pro-ceed-ings\T1/LinuxLibertineT | |
| -TLF/m/n/8 . 459--483. | |
| ) | |
| Package natbib Warning: There were undefined citations. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [51.51] (./journalarxiv.aux | |
| Package natbib Warning: Citation(s) may have changed. | |
| (natbib) Rerun to get citations correct. | |
| ) | |
| Package rerunfilecheck Warning: File `journalarxiv.out' has changed. | |
| (rerunfilecheck) Rerun to get outlines right | |
| (rerunfilecheck) or use package `bookmark'. | |
| LaTeX Font Warning: Size substitutions with differences | |
| (Font) up to 1.97499pt have occurred. | |
| LaTeX Warning: There were undefined references. | |
| LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. | |
| ) | |
| (see the transcript file for additional information) | |
| Output written on journalarxiv.dvi (51 pages, 505904 bytes). | |
| Transcript written on journalarxiv.log. | |
| [verbose]: ~~~~~~~~~~~ Running latex for the second time ~~~~~~~~ | |
| [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2016/bin/arch:/bin; cd /submissions/2711203/ && latex 'journalarxiv.tex' < /dev/null)" 2>&1 | |
| [verbose]: This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=latex) | |
| restricted \write18 enabled. | |
| entering extended mode | |
| (./journalarxiv.tex | |
| LaTeX2e <2016/03/31> patch level 3 | |
| Babel <3.9r> and hyphenation patterns for 83 language(s) loaded. | |
| (./acmart.cls | |
| Document Class: acmart 2017/05/14 v1.39 Typesetting articles for Association of | |
| Computing Machinery | |
| (/texlive/2016/texmf-dist/tex/latex/xkeyval/xkeyval.sty | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/xkeyval.tex | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/xkvutils.tex | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/keyval.tex)))) | |
| (/texlive/2016/texmf-dist/tex/generic/xstring/xstring.sty | |
| (/texlive/2016/texmf-dist/tex/generic/xstring/xstring.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/amscls/amsart.cls | |
| Document Class: amsart 2015/03/04 v2.20.2 | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsmath.sty | |
| For additional information on amsmath, use the `?' option. | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amstext.sty | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsgen.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsbsy.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsopn.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype.sty | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype-pdftex.def) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/totpages/totpages.sty | |
| (/texlive/2016/texmf-dist/tex/latex/ms/everyshi.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/environ/environ.sty | |
| (/texlive/2016/texmf-dist/tex/latex/trimspaces/trimspaces.sty)) | |
| (/texlive/2016/texmf-local/tex/latex/natbib/natbib.sty | |
| This is natbib version 8.31 | |
| ************************************************************* | |
| !!WARNING!! !!WARNING!! !!WARNING!! !!WARNING!! | |
| This version (v8.31) of natbib is stricter in its formatting | |
| requirements for bibitem entries than the previous version | |
| used at arXiv (v7.1). | |
| If your submission encounters a problem see | |
| http://arXiv.org/help/faq/texlive | |
| and the natbib documentation at | |
| http://www.ctan.org/tex-archive/macros/latex/contrib/natbib/ | |
| for explanation and adjust your submission accordingly. | |
| The arXiv team. | |
| ************************************************************* | |
| ) (/texlive/2016/texmf-dist/tex/latex/hyperref/hyperref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) | |
| (/texlive/2016/texmf-dist/tex/generic/ifxetex/ifxetex.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/auxhook.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/kvoptions.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/pd1enc.def) | |
| (/texlive/2016/texmf-config/tex/latex/latexconfig/hyperref.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/puenc.def) | |
| (/texlive/2016/texmf-dist/tex/latex/url/url.sty)) | |
| Package hyperref Message: Driver (default): hdvips. | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/hdvips.def | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/pdfmark.def | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-def/dvips.def))) | |
| (/texlive/2016/texmf-dist/tex/latex/xcolor/xcolor.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-cfg/color.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/geometry/geometry.sty | |
| (/texlive/2016/texmf-config/tex/latex/latexconfig/geometry.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/ncctools/manyfoot.sty | |
| (/texlive/2016/texmf-dist/tex/latex/ncctools/nccfoots.sty)) | |
| (/texlive/2016/texmf-dist/tex/generic/iftex/iftex.sty) | |
| (/texlive/2016/texmf-dist/tex/generic/pdftex/glyphtounicode.tex) | |
| (/texlive/2016/texmf-dist/tex/latex/cmap/cmap.sty | |
| Package cmap Warning: pdftex in DVI mode - exiting. | |
| ) (/texlive/2016/texmf-dist/tex/latex/libertine/libertine.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/textcomp.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/ts1enc.def)) | |
| (/texlive/2016/texmf-dist/tex/latex/mweights/mweights.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/base/fontenc.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/fontaxes/fontaxes.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/LinLibertine_I.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/inconsolata/zi4.sty | |
| `inconsolata-zi4' v1.10, 2016/02/22 Text macros for Inconsolata (msharpe)) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/newtxmath.sty | |
| `newtxmath' v1.514, 2016/11/18 Math macros based on txfonts (msharpe) | |
| (/texlive/2016/texmf-dist/tex/generic/kastrup/binhex.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/base/fontenc.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/t1enc.def)) | |
| (/texlive/2016/texmf-dist/tex/latex/caption/caption.sty | |
| (/texlive/2016/texmf-dist/tex/latex/caption/caption3.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/float/float.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/comment/comment.sty | |
| Excluding comment 'comment') Excluding comment 'CCSXML' | |
| (/texlive/2016/texmf-arxiv/tex/latex/fancyhdr/fancyhdr.sty) | |
| Special comment 'acks' Include comment 'screenonly' | |
| Excluding comment 'printonly' Include comment 'anonsuppress' | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/T1LinuxLibertineT-TLF.fd)) | |
| (/texlive/2016/texmf-dist/tex/latex/etex-pkg/etex.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/amssymb.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/tools/xspace.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/mathpartir/mathpartir.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/jknapltx/mathbbol.sty) (./journalarxiv.aux) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/omlnxlmi.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxexa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/base/ts1cmr.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/lmsntxsy.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/lmxntxexx.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/OT1LinuxLibertineT-TLF.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsb.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxmia.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxsym.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxsyc.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) | |
| LaTeX Font Warning: Font shape `U/stmry/m/n' in size <5.5> not available | |
| (Font) size <5> substituted on input line 29. | |
| (/texlive/2016/texmf-dist/tex/latex/bbold/Ubbold.fd) | |
| LaTeX Font Warning: Font shape `U/bbold/m/n' in size <5.5> not available | |
| (Font) size <5> substituted on input line 29. | |
| ABD: EveryShipout initializing macros | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/nameref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) | |
| (./journalarxiv.out) (./journalarxiv.out) | |
| *geometry* detected driver: dvips | |
| (/texlive/2016/texmf-dist/tex/latex/upquote/upquote.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/T1LinuxBiolinumT-TLF.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/TS1LinuxLibertineT-TLF.fd) | |
| Overfull \hbox (59.76984pt too wide) in paragraph at lines 61--68 | |
| \T1/LinuxLibertineT-TLF/m/n/10 use-ful for en-forc-ing er-ror han-dling [[] []; | |
| [] []; [] | |
| Overfull \hbox (53.70154pt too wide) in paragraph at lines 61--68 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 ], en-sur-ing a va-ri-ety of safety prop-er-ti | |
| es for con-cur-rent pro-grams [[] []; [] | |
| Overfull \hbox (35.21068pt too wide) in paragraph at lines 61--68 | |
| \T1/LinuxLibertineT-TLF/m/n/10 rity [[] []; [] []], safe region-based mem-ory m | |
| an-age-ment [[] | |
| (/texlive/2016/texmf-dist/tex/latex/inconsolata/t1zi4.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/mt-msa.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/mt-msb.cfg) | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [1.1] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [2.2] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [3.3] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [4.4] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [5.5] (/texlive/2016/texmf-dist/tex/latex/libertine/OT1LinuxBiolinumT-TLF.fd) | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [6.6] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [7.7] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [8.8] | |
| Underfull \vbox (badness 1527) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [9.9] | |
| Overfull \hbox (9.83669pt too wide) in paragraph at lines 359--361 | |
| \T1/LinuxLibertineT-TLF/m/n/10 to rea-son about atom-ic-ity [[] []], based on L | |
| ip-ton's the-ory of \T1/LinuxLibertineT-TLF/m/it/10 re-duc-tion \T1/LinuxLibert | |
| ineT-TLF/m/n/10 [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [10.10] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [11.11] | |
| Overfull \hbox (17.8096pt too wide) in paragraph at lines 472--473 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 Second, it pro-vides a counter-example to a co | |
| n-jec-ture made in an ear-lier ver-sion of this work [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [12.12] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [13.13] | |
| Overfull \hbox (19.68384pt too wide) in paragraph at lines 519--527 | |
| \T1/LinuxLibertineT-TLF/m/n/10 ef-fect sys-tem for Con-cur-rent ML [[] []] (lat | |
| er elab-o-rated with Amtoft [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [14.14] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [15.15] | |
| Overfull \hbox (17.53978pt too wide) in paragraph at lines 640--641 | |
| []\T1/LinuxLibertineT-TLF/m/it/10 Given an ef-fect quan-tale $\LMS/ntxsy/m/n/10 | |
| �\OML/nxlmi/m/it/10 Q; \LMS/ntxsy/m/n/10 t\OML/nxlmi/m/it/10 ; \U/ntxsym/m/n/1 | |
| 0 �\OML/nxlmi/m/it/10 ; \LMS/ntxsy/m/n/10 >\OML/nxlmi/m/it/10 ; I\LMS/ntxsy/m/n | |
| /10 �$\T1/LinuxLibertineT-TLF/m/it/10 , there is a partially-defined ef-fect qu | |
| an-tale $\LMS/ntxsy/m/n/10 �\OML/nxlmi/m/it/10 Q \LMS/ntxsy/m/n/10 n f>g\OML/nx | |
| lmi/m/it/10 ; \LMS/ntxsy/m/n/10 tj[]\OML/nxlmi/m/it/10 ; \U/ntxsym/m/n/10 �\LMS | |
| /ntxsy/m/n/10 j[]�$\T1/LinuxLibertineT-TLF/m/it/10 , | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [16.16] | |
| Overfull \hbox (23.37373pt too wide) in paragraph at lines 696--697 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 Closure op-er-a-tors have sev-eral par-tic-u-l | |
| arly use-ful prop-er-ties [[] []; [] []; [] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [17.17] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [18.18] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [19.19] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [20.20] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [21.21] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [22.22] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [23.23] | |
| Overfull \hbox (47.67781pt too wide) in paragraph at lines 996--1000 | |
| \T1/LinuxLibertineT-TLF/m/n/10 monly used no-tions of sound-ness for \T1/LinuxL | |
| ibertineT-TLF/m/it/10 ab-stract \T1/LinuxLibertineT-TLF/m/n/10 ef-fect sys-tems | |
| . Most generic ef-fect sys-tems [[] | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [24.24] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [25.25] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [26.26] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [27.27] | |
| LaTeX Warning: Text page 28 contains only floats. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [28.28] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [29.29] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [30.30] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [31.31] | |
| Overfull \hbox (25.20439pt too wide) in paragraph at lines 1501--1504 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 . State re-mains un-changed, | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [32.32] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [33.33] | |
| Overfull \hbox (17.5571pt too wide) in paragraph at lines 1582--1585 | |
| \T1/LinuxLibertineT-TLF/m/n/10 fol-lows from the fact that bi-nary re-la-tions | |
| form an ef-fect quan-tale: $\LMS/ntxsy/m/n/10 �[]�[]� ] f[]g\OML/nxlmi/m/it/10 | |
| ; \LMS/ntxsy/m/n/10 [\OML/nxlmi/m/it/10 ; \LMS/ntxsy/m/n/10 ^^N\OML/nxlmi/m/it/ | |
| 10 ; []; \U/ntxmia/m/it/10 =[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [34.34] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [35.35] | |
| Overfull \hbox (3.82559pt too wide) in paragraph at lines 1705--1707 | |
| \T1/LinuxLibertineT-TLF/m/n/10 mod-u-lar (i.e., ef-fec-tors can special-case ce | |
| r-tain pat-terns in source code for more pre-cise ef-fects) [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [36.36] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [37.37] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [38.38] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [39.39] | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [40.40] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [41.41] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [42.42] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [43.43] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [44.44] | |
| Overfull \hbox (12.52373pt too wide) in paragraph at lines 2035--2037 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 Figure [][][][][][] also gives an in-stan-ti-a | |
| -tion of our frame-work and cor-re-spond-ing type-and-effect-preserving | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [45.45] | |
| Overfull \hbox (21.80785pt too wide) in paragraph at lines 2124--2126 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 Marino and Mill-stein give a generic model of | |
| a static com-mu-ta-tive ef-fect sys-tem [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [46.46] | |
| Overfull \hbox (8.4119pt too wide) in paragraph at lines 2158--2159 | |
| \T1/LinuxLibertineT-TLF/m/it/10 Types for Safe Lock-ing \T1/LinuxLibertineT-TLF | |
| /m/n/10 [[] []] (the pre-cur-sor to \T1/LinuxLibertineT-TLF/m/sc/10 RCC/Java \T | |
| 1/LinuxLibertineT-TLF/m/n/10 [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [47.47] | |
| Overfull \hbox (23.21976pt too wide) in paragraph at lines 2192--2199 | |
| \T1/LinuxLibertineT-TLF/m/n/10 quire more so-phis-ti-cated ma-chin-ery for com- | |
| pos-ing par-tial se-man-tic def-i-ni-tions [[] | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [48.48] (./journalarxiv.bbl | |
| Underfull \hbox (badness 1072) in paragraph at lines 114--124 | |
| \T1/LinuxLibertineT-TLF/m/it/8 ings of the 19th ACM SIG-PLAN In-ter-na-tional C | |
| on-fer-ence on Func-tional Pro-gram-ming (ICFP '14)\T1/LinuxLibertineT-TLF/m/n/ | |
| 8 . ACM, 283--295. | |
| Underfull \hbox (badness 10000) in paragraph at lines 130--136 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Nick Ben-ton and Pe-ter Buchlovsky. 2007. Se-m | |
| an-tics of an Ef-fect Anal-y-sis for Ex-cep-tions. In \T1/LinuxLibertineT-TLF/m | |
| /it/8 TLDI\T1/LinuxLibertineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 3679) in paragraph at lines 168--175 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Thomas Scott Blyth. 2006. \T1/LinuxLibertineT- | |
| TLF/m/it/8 Lat-tices and or-dered al-ge-braic struc-tures\T1/LinuxLibertineT-TL | |
| F/m/n/8 . Springer Sci-ence & Busi-ness Me-dia. | |
| Underfull \vbox (badness 1275) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [49.49] | |
| Underfull \hbox (badness 2269) in paragraph at lines 256--265 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Luis Damas and Robin Mil-ner. 1982. Prin-ci-pa | |
| l Type-schemes for Func-tional Pro-grams. In \T1/LinuxLibertineT-TLF/m/it/8 Pro | |
| -ceed-ings of the | |
| Underfull \hbox (badness 3323) in paragraph at lines 256--265 | |
| \T1/LinuxLibertineT-TLF/m/it/8 9th ACM SIGPLAN-SIGACT Sym-po-sium on Prin-ci-pl | |
| es of Pro-gram-ming Lan-guages (POPL '82)\T1/LinuxLibertineT-TLF/m/n/8 . ACM, 2 | |
| 07--212. | |
| Underfull \hbox (badness 4492) in paragraph at lines 305--313 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Mike Dodds, Xinyu Feng, Matthew Parkin-son, and | |
| Vik-tor Vafeiadis. 2009. Deny-Guarantee Rea-son-ing. In | |
| Underfull \hbox (badness 3780) in paragraph at lines 305--313 | |
| \T1/LinuxLibertineT-TLF/m/it/8 Pro-ceed-ings of the 18th Eu-ro-pean Sym-po-sium | |
| on Pro-gram-ming (ESOP)\T1/LinuxLibertineT-TLF/m/n/8 . Springer Berlin Hei-del | |
| -berg, 363--377. | |
| Underfull \hbox (badness 1210) in paragraph at lines 333--343 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Manuel F�h-n-drich, Mark Aiken, Chris Haw-blitz | |
| el, Orion Hod-son, Galen Hunt, James R. Larus, and Steven Levi. | |
| Underfull \hbox (badness 1210) in paragraph at lines 333--343 | |
| \T1/LinuxLibertineT-TLF/m/n/8 2006. Lan-guage Sup-port for Fast and Re-li-able | |
| Message-based Com-mu-ni-ca-tion in Sin-gu-lar-ity OS. In \T1/LinuxLibertineT-T | |
| LF/m/it/8 Pro-ceed- | |
| Underfull \hbox (badness 10000) in paragraph at lines 349--355 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Cormac Flana-gan and Mart�n Abadi. 1999a. Ob-j | |
| ect Types against Races. In \T1/LinuxLibertineT-TLF/m/it/8 CON-CUR\T1/LinuxLibe | |
| rtineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 10000) in paragraph at lines 373--379 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Cormac Flana-gan and Stephen N. Fre-und. 2000. | |
| Type-Based Race De-tec-tion for Java. In \T1/LinuxLibertineT-TLF/m/it/8 PLDI\T | |
| 1/LinuxLibertineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 2698) in paragraph at lines 385--394 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Cormac Flana-gan and Shaz Qadeer. 2003a. A Typ | |
| e and Ef-fect Sys-tem for Atom-ic-ity. In \T1/LinuxLibertineT-TLF/m/it/8 Pro-ce | |
| ed-ings of the | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [50.50] | |
| Underfull \hbox (badness 2744) in paragraph at lines 615--626 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Shin-ya Kat-sumata. 2014. Para-met-ric Ef-fect | |
| Mon-ads and Se-man-tics of Ef-fect Sys-tems. In \T1/LinuxLibertineT-TLF/m/it/8 | |
| Pro-ceed-ings of the | |
| Underfull \hbox (badness 2781) in paragraph at lines 615--626 | |
| \T1/LinuxLibertineT-TLF/m/it/8 41st ACM SIGPLAN-SIGACT Sym-po-sium on Prin-ci-p | |
| les of Pro-gram-ming Lan-guages (POPL '14)\T1/LinuxLibertineT-TLF/m/n/8 . ACM, | |
| 633--645. | |
| Underfull \hbox (badness 10000) in paragraph at lines 716--722 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Daniel Marino and Todd Mill-stein. 2009. A Gen | |
| eric Type-and-Effect Sys-tem. In \T1/LinuxLibertineT-TLF/m/it/8 TLDI\T1/LinuxLi | |
| bertineT-TLF/m/n/8 . | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [51.51] | |
| Underfull \hbox (badness 10000) in paragraph at lines 890--899 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Kohei Sue-naga. 2008. Type-based deadlock-free | |
| dom ver-i-fi-ca-tion for non-block-structured lock prim-i-tives | |
| Underfull \hbox (badness 5417) in paragraph at lines 890--899 | |
| \T1/LinuxLibertineT-TLF/m/n/8 and mu-ta-ble ref-er-ences. In \T1/LinuxLibertine | |
| T-TLF/m/it/8 Asian Sym-po-sium on Pro-gram-ming Lan-guages and Sys-tems\T1/Linu | |
| xLibertineT-TLF/m/n/8 . Springer, 155--170. | |
| Underfull \hbox (badness 2837) in paragraph at lines 996--1003 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Roger Wolff, Ronald Gar-cia, �ric Tan-ter, and | |
| Jonathan Aldrich. 2011. Grad-ual Type-s-tate. In \T1/LinuxLibertineT-TLF/m/it/ | |
| 8 ECOOP 2011 - | |
| Underfull \hbox (badness 1424) in paragraph at lines 996--1003 | |
| \T1/LinuxLibertineT-TLF/m/it/8 Object-Oriented Pro-gram-ming - 25th Eu-ro-pean | |
| Con-fer-ence, Lan-caster, UK, July 25-29, 2011 Pro-ceed-ings\T1/LinuxLibertineT | |
| -TLF/m/n/8 . 459--483. | |
| ) | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [52.52] (./journalarxiv.aux) | |
| LaTeX Font Warning: Size substitutions with differences | |
| (Font) up to 1.97499pt have occurred. | |
| LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. | |
| ) | |
| (see the transcript file for additional information) | |
| Output written on journalarxiv.dvi (52 pages, 648200 bytes). | |
| Transcript written on journalarxiv.log. | |
| [verbose]: ~~~~~~~~~~~ Running latex for the third time ~~~~~~~~ | |
| [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2016/bin/arch:/bin; cd /submissions/2711203/ && latex 'journalarxiv.tex' < /dev/null)" 2>&1 | |
| [verbose]: This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=latex) | |
| restricted \write18 enabled. | |
| entering extended mode | |
| (./journalarxiv.tex | |
| LaTeX2e <2016/03/31> patch level 3 | |
| Babel <3.9r> and hyphenation patterns for 83 language(s) loaded. | |
| (./acmart.cls | |
| Document Class: acmart 2017/05/14 v1.39 Typesetting articles for Association of | |
| Computing Machinery | |
| (/texlive/2016/texmf-dist/tex/latex/xkeyval/xkeyval.sty | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/xkeyval.tex | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/xkvutils.tex | |
| (/texlive/2016/texmf-dist/tex/generic/xkeyval/keyval.tex)))) | |
| (/texlive/2016/texmf-dist/tex/generic/xstring/xstring.sty | |
| (/texlive/2016/texmf-dist/tex/generic/xstring/xstring.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/amscls/amsart.cls | |
| Document Class: amsart 2015/03/04 v2.20.2 | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsmath.sty | |
| For additional information on amsmath, use the `?' option. | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amstext.sty | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsgen.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsbsy.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/amsmath/amsopn.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype.sty | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype-pdftex.def) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/microtype.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/totpages/totpages.sty | |
| (/texlive/2016/texmf-dist/tex/latex/ms/everyshi.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/environ/environ.sty | |
| (/texlive/2016/texmf-dist/tex/latex/trimspaces/trimspaces.sty)) | |
| (/texlive/2016/texmf-local/tex/latex/natbib/natbib.sty | |
| This is natbib version 8.31 | |
| ************************************************************* | |
| !!WARNING!! !!WARNING!! !!WARNING!! !!WARNING!! | |
| This version (v8.31) of natbib is stricter in its formatting | |
| requirements for bibitem entries than the previous version | |
| used at arXiv (v7.1). | |
| If your submission encounters a problem see | |
| http://arXiv.org/help/faq/texlive | |
| and the natbib documentation at | |
| http://www.ctan.org/tex-archive/macros/latex/contrib/natbib/ | |
| for explanation and adjust your submission accordingly. | |
| The arXiv team. | |
| ************************************************************* | |
| ) (/texlive/2016/texmf-dist/tex/latex/hyperref/hyperref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) | |
| (/texlive/2016/texmf-dist/tex/generic/ifxetex/ifxetex.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/auxhook.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/kvoptions.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/pd1enc.def) | |
| (/texlive/2016/texmf-config/tex/latex/latexconfig/hyperref.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/puenc.def) | |
| (/texlive/2016/texmf-dist/tex/latex/url/url.sty)) | |
| Package hyperref Message: Driver (default): hdvips. | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/hdvips.def | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/pdfmark.def | |
| (/texlive/2016/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-def/dvips.def))) | |
| (/texlive/2016/texmf-dist/tex/latex/xcolor/xcolor.sty | |
| (/texlive/2016/texmf-dist/tex/latex/graphics-cfg/color.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/geometry/geometry.sty | |
| (/texlive/2016/texmf-config/tex/latex/latexconfig/geometry.cfg)) | |
| (/texlive/2016/texmf-dist/tex/latex/ncctools/manyfoot.sty | |
| (/texlive/2016/texmf-dist/tex/latex/ncctools/nccfoots.sty)) | |
| (/texlive/2016/texmf-dist/tex/generic/iftex/iftex.sty) | |
| (/texlive/2016/texmf-dist/tex/generic/pdftex/glyphtounicode.tex) | |
| (/texlive/2016/texmf-dist/tex/latex/cmap/cmap.sty | |
| Package cmap Warning: pdftex in DVI mode - exiting. | |
| ) (/texlive/2016/texmf-dist/tex/latex/libertine/libertine.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/textcomp.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/ts1enc.def)) | |
| (/texlive/2016/texmf-dist/tex/latex/mweights/mweights.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/base/fontenc.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/fontaxes/fontaxes.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/LinLibertine_I.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/inconsolata/zi4.sty | |
| `inconsolata-zi4' v1.10, 2016/02/22 Text macros for Inconsolata (msharpe)) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/newtxmath.sty | |
| `newtxmath' v1.514, 2016/11/18 Math macros based on txfonts (msharpe) | |
| (/texlive/2016/texmf-dist/tex/generic/kastrup/binhex.tex)) | |
| (/texlive/2016/texmf-dist/tex/latex/base/fontenc.sty | |
| (/texlive/2016/texmf-dist/tex/latex/base/t1enc.def)) | |
| (/texlive/2016/texmf-dist/tex/latex/caption/caption.sty | |
| (/texlive/2016/texmf-dist/tex/latex/caption/caption3.sty)) | |
| (/texlive/2016/texmf-dist/tex/latex/float/float.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/comment/comment.sty | |
| Excluding comment 'comment') Excluding comment 'CCSXML' | |
| (/texlive/2016/texmf-arxiv/tex/latex/fancyhdr/fancyhdr.sty) | |
| Special comment 'acks' Include comment 'screenonly' | |
| Excluding comment 'printonly' Include comment 'anonsuppress' | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/T1LinuxLibertineT-TLF.fd)) | |
| (/texlive/2016/texmf-dist/tex/latex/etex-pkg/etex.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/amssymb.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/tools/xspace.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/mathpartir/mathpartir.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/jknapltx/mathbbol.sty) (./journalarxiv.aux) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/omlnxlmi.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxexa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/base/ts1cmr.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/lmsntxsy.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/lmxntxexx.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/OT1LinuxLibertineT-TLF.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsa.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/amsfonts/umsb.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxmia.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxsym.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/newtx/untxsyc.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) | |
| LaTeX Font Warning: Font shape `U/stmry/m/n' in size <5.5> not available | |
| (Font) size <5> substituted on input line 29. | |
| (/texlive/2016/texmf-dist/tex/latex/bbold/Ubbold.fd) | |
| LaTeX Font Warning: Font shape `U/bbold/m/n' in size <5.5> not available | |
| (Font) size <5> substituted on input line 29. | |
| ABD: EveryShipout initializing macros | |
| (/texlive/2016/texmf-dist/tex/latex/hyperref/nameref.sty | |
| (/texlive/2016/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) | |
| (./journalarxiv.out) (./journalarxiv.out) | |
| *geometry* detected driver: dvips | |
| (/texlive/2016/texmf-dist/tex/latex/upquote/upquote.sty) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/T1LinuxBiolinumT-TLF.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/libertine/TS1LinuxLibertineT-TLF.fd) | |
| Overfull \hbox (59.76984pt too wide) in paragraph at lines 61--68 | |
| \T1/LinuxLibertineT-TLF/m/n/10 use-ful for en-forc-ing er-ror han-dling [[] []; | |
| [] []; [] | |
| Overfull \hbox (53.70154pt too wide) in paragraph at lines 61--68 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 ], en-sur-ing a va-ri-ety of safety prop-er-ti | |
| es for con-cur-rent pro-grams [[] []; [] | |
| Overfull \hbox (35.21068pt too wide) in paragraph at lines 61--68 | |
| \T1/LinuxLibertineT-TLF/m/n/10 rity [[] []; [] []], safe region-based mem-ory m | |
| an-age-ment [[] | |
| (/texlive/2016/texmf-dist/tex/latex/inconsolata/t1zi4.fd) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/mt-msa.cfg) | |
| (/texlive/2016/texmf-dist/tex/latex/microtype/mt-msb.cfg) | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [1.1] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [2.2] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [3.3] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [4.4] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [5.5] (/texlive/2016/texmf-dist/tex/latex/libertine/OT1LinuxBiolinumT-TLF.fd) | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [6.6] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [7.7] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [8.8] | |
| Underfull \vbox (badness 1527) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [9.9] | |
| Overfull \hbox (9.83669pt too wide) in paragraph at lines 359--361 | |
| \T1/LinuxLibertineT-TLF/m/n/10 to rea-son about atom-ic-ity [[] []], based on L | |
| ip-ton's the-ory of \T1/LinuxLibertineT-TLF/m/it/10 re-duc-tion \T1/LinuxLibert | |
| ineT-TLF/m/n/10 [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [10.10] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [11.11] | |
| Overfull \hbox (17.8096pt too wide) in paragraph at lines 472--473 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 Second, it pro-vides a counter-example to a co | |
| n-jec-ture made in an ear-lier ver-sion of this work [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [12.12] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [13.13] | |
| Overfull \hbox (19.68384pt too wide) in paragraph at lines 519--527 | |
| \T1/LinuxLibertineT-TLF/m/n/10 ef-fect sys-tem for Con-cur-rent ML [[] []] (lat | |
| er elab-o-rated with Amtoft [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [14.14] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [15.15] | |
| Overfull \hbox (17.53978pt too wide) in paragraph at lines 640--641 | |
| []\T1/LinuxLibertineT-TLF/m/it/10 Given an ef-fect quan-tale $\LMS/ntxsy/m/n/10 | |
| �\OML/nxlmi/m/it/10 Q; \LMS/ntxsy/m/n/10 t\OML/nxlmi/m/it/10 ; \U/ntxsym/m/n/1 | |
| 0 �\OML/nxlmi/m/it/10 ; \LMS/ntxsy/m/n/10 >\OML/nxlmi/m/it/10 ; I\LMS/ntxsy/m/n | |
| /10 �$\T1/LinuxLibertineT-TLF/m/it/10 , there is a partially-defined ef-fect qu | |
| an-tale $\LMS/ntxsy/m/n/10 �\OML/nxlmi/m/it/10 Q \LMS/ntxsy/m/n/10 n f>g\OML/nx | |
| lmi/m/it/10 ; \LMS/ntxsy/m/n/10 tj[]\OML/nxlmi/m/it/10 ; \U/ntxsym/m/n/10 �\LMS | |
| /ntxsy/m/n/10 j[]�$\T1/LinuxLibertineT-TLF/m/it/10 , | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [16.16] | |
| Overfull \hbox (23.37373pt too wide) in paragraph at lines 696--697 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 Closure op-er-a-tors have sev-eral par-tic-u-l | |
| arly use-ful prop-er-ties [[] []; [] []; [] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [17.17] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [18.18] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [19.19] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [20.20] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [21.21] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [22.22] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [23.23] | |
| Overfull \hbox (47.67781pt too wide) in paragraph at lines 996--1000 | |
| \T1/LinuxLibertineT-TLF/m/n/10 monly used no-tions of sound-ness for \T1/LinuxL | |
| ibertineT-TLF/m/it/10 ab-stract \T1/LinuxLibertineT-TLF/m/n/10 ef-fect sys-tems | |
| . Most generic ef-fect sys-tems [[] | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [24.24] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [25.25] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [26.26] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [27.27] | |
| LaTeX Warning: Text page 28 contains only floats. | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [28.28] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [29.29] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [30.30] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [31.31] | |
| Overfull \hbox (25.20439pt too wide) in paragraph at lines 1501--1504 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 . State re-mains un-changed, | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [32.32] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [33.33] | |
| Overfull \hbox (17.5571pt too wide) in paragraph at lines 1582--1585 | |
| \T1/LinuxLibertineT-TLF/m/n/10 fol-lows from the fact that bi-nary re-la-tions | |
| form an ef-fect quan-tale: $\LMS/ntxsy/m/n/10 �[]�[]� ] f[]g\OML/nxlmi/m/it/10 | |
| ; \LMS/ntxsy/m/n/10 [\OML/nxlmi/m/it/10 ; \LMS/ntxsy/m/n/10 ^^N\OML/nxlmi/m/it/ | |
| 10 ; []; \U/ntxmia/m/it/10 =[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [34.34] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [35.35] | |
| Overfull \hbox (3.82559pt too wide) in paragraph at lines 1705--1707 | |
| \T1/LinuxLibertineT-TLF/m/n/10 mod-u-lar (i.e., ef-fec-tors can special-case ce | |
| r-tain pat-terns in source code for more pre-cise ef-fects) [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [36.36] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [37.37] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [38.38] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [39.39] | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [40.40] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [41.41] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [42.42] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [43.43] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [44.44] | |
| Overfull \hbox (12.52373pt too wide) in paragraph at lines 2035--2037 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 Figure [][][][][][] also gives an in-stan-ti-a | |
| -tion of our frame-work and cor-re-spond-ing type-and-effect-preserving | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [45.45] | |
| Overfull \hbox (21.80785pt too wide) in paragraph at lines 2124--2126 | |
| []\T1/LinuxLibertineT-TLF/m/n/10 Marino and Mill-stein give a generic model of | |
| a static com-mu-ta-tive ef-fect sys-tem [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [46.46] | |
| Overfull \hbox (8.4119pt too wide) in paragraph at lines 2158--2159 | |
| \T1/LinuxLibertineT-TLF/m/it/10 Types for Safe Lock-ing \T1/LinuxLibertineT-TLF | |
| /m/n/10 [[] []] (the pre-cur-sor to \T1/LinuxLibertineT-TLF/m/sc/10 RCC/Java \T | |
| 1/LinuxLibertineT-TLF/m/n/10 [[] | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [47.47] | |
| Overfull \hbox (23.21976pt too wide) in paragraph at lines 2192--2199 | |
| \T1/LinuxLibertineT-TLF/m/n/10 quire more so-phis-ti-cated ma-chin-ery for com- | |
| pos-ing par-tial se-man-tic def-i-ni-tions [[] | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [48.48] (./journalarxiv.bbl | |
| Underfull \hbox (badness 1072) in paragraph at lines 114--124 | |
| \T1/LinuxLibertineT-TLF/m/it/8 ings of the 19th ACM SIG-PLAN In-ter-na-tional C | |
| on-fer-ence on Func-tional Pro-gram-ming (ICFP '14)\T1/LinuxLibertineT-TLF/m/n/ | |
| 8 . ACM, 283--295. | |
| Underfull \hbox (badness 10000) in paragraph at lines 130--136 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Nick Ben-ton and Pe-ter Buchlovsky. 2007. Se-m | |
| an-tics of an Ef-fect Anal-y-sis for Ex-cep-tions. In \T1/LinuxLibertineT-TLF/m | |
| /it/8 TLDI\T1/LinuxLibertineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 3679) in paragraph at lines 168--175 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Thomas Scott Blyth. 2006. \T1/LinuxLibertineT- | |
| TLF/m/it/8 Lat-tices and or-dered al-ge-braic struc-tures\T1/LinuxLibertineT-TL | |
| F/m/n/8 . Springer Sci-ence & Busi-ness Me-dia. | |
| Underfull \vbox (badness 1275) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [49.49] | |
| Underfull \hbox (badness 2269) in paragraph at lines 256--265 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Luis Damas and Robin Mil-ner. 1982. Prin-ci-pa | |
| l Type-schemes for Func-tional Pro-grams. In \T1/LinuxLibertineT-TLF/m/it/8 Pro | |
| -ceed-ings of the | |
| Underfull \hbox (badness 3323) in paragraph at lines 256--265 | |
| \T1/LinuxLibertineT-TLF/m/it/8 9th ACM SIGPLAN-SIGACT Sym-po-sium on Prin-ci-pl | |
| es of Pro-gram-ming Lan-guages (POPL '82)\T1/LinuxLibertineT-TLF/m/n/8 . ACM, 2 | |
| 07--212. | |
| Underfull \hbox (badness 4492) in paragraph at lines 305--313 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Mike Dodds, Xinyu Feng, Matthew Parkin-son, and | |
| Vik-tor Vafeiadis. 2009. Deny-Guarantee Rea-son-ing. In | |
| Underfull \hbox (badness 3780) in paragraph at lines 305--313 | |
| \T1/LinuxLibertineT-TLF/m/it/8 Pro-ceed-ings of the 18th Eu-ro-pean Sym-po-sium | |
| on Pro-gram-ming (ESOP)\T1/LinuxLibertineT-TLF/m/n/8 . Springer Berlin Hei-del | |
| -berg, 363--377. | |
| Underfull \hbox (badness 1210) in paragraph at lines 333--343 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Manuel F�h-n-drich, Mark Aiken, Chris Haw-blitz | |
| el, Orion Hod-son, Galen Hunt, James R. Larus, and Steven Levi. | |
| Underfull \hbox (badness 1210) in paragraph at lines 333--343 | |
| \T1/LinuxLibertineT-TLF/m/n/8 2006. Lan-guage Sup-port for Fast and Re-li-able | |
| Message-based Com-mu-ni-ca-tion in Sin-gu-lar-ity OS. In \T1/LinuxLibertineT-T | |
| LF/m/it/8 Pro-ceed- | |
| Underfull \hbox (badness 10000) in paragraph at lines 349--355 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Cormac Flana-gan and Mart�n Abadi. 1999a. Ob-j | |
| ect Types against Races. In \T1/LinuxLibertineT-TLF/m/it/8 CON-CUR\T1/LinuxLibe | |
| rtineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 10000) in paragraph at lines 373--379 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Cormac Flana-gan and Stephen N. Fre-und. 2000. | |
| Type-Based Race De-tec-tion for Java. In \T1/LinuxLibertineT-TLF/m/it/8 PLDI\T | |
| 1/LinuxLibertineT-TLF/m/n/8 . | |
| Underfull \hbox (badness 2698) in paragraph at lines 385--394 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Cormac Flana-gan and Shaz Qadeer. 2003a. A Typ | |
| e and Ef-fect Sys-tem for Atom-ic-ity. In \T1/LinuxLibertineT-TLF/m/it/8 Pro-ce | |
| ed-ings of the | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [50.50] | |
| Underfull \hbox (badness 2744) in paragraph at lines 615--626 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Shin-ya Kat-sumata. 2014. Para-met-ric Ef-fect | |
| Mon-ads and Se-man-tics of Ef-fect Sys-tems. In \T1/LinuxLibertineT-TLF/m/it/8 | |
| Pro-ceed-ings of the | |
| Underfull \hbox (badness 2781) in paragraph at lines 615--626 | |
| \T1/LinuxLibertineT-TLF/m/it/8 41st ACM SIGPLAN-SIGACT Sym-po-sium on Prin-ci-p | |
| les of Pro-gram-ming Lan-guages (POPL '14)\T1/LinuxLibertineT-TLF/m/n/8 . ACM, | |
| 633--645. | |
| Underfull \hbox (badness 10000) in paragraph at lines 716--722 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Daniel Marino and Todd Mill-stein. 2009. A Gen | |
| eric Type-and-Effect Sys-tem. In \T1/LinuxLibertineT-TLF/m/it/8 TLDI\T1/LinuxLi | |
| bertineT-TLF/m/n/8 . | |
| Underfull \vbox (badness 10000) has occurred while \output is active | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [51.51] | |
| Underfull \hbox (badness 10000) in paragraph at lines 890--899 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Kohei Sue-naga. 2008. Type-based deadlock-free | |
| dom ver-i-fi-ca-tion for non-block-structured lock prim-i-tives | |
| Underfull \hbox (badness 5417) in paragraph at lines 890--899 | |
| \T1/LinuxLibertineT-TLF/m/n/8 and mu-ta-ble ref-er-ences. In \T1/LinuxLibertine | |
| T-TLF/m/it/8 Asian Sym-po-sium on Pro-gram-ming Lan-guages and Sys-tems\T1/Linu | |
| xLibertineT-TLF/m/n/8 . Springer, 155--170. | |
| Underfull \hbox (badness 2837) in paragraph at lines 996--1003 | |
| []\T1/LinuxLibertineT-TLF/m/n/8 Roger Wolff, Ronald Gar-cia, �ric Tan-ter, and | |
| Jonathan Aldrich. 2011. Grad-ual Type-s-tate. In \T1/LinuxLibertineT-TLF/m/it/ | |
| 8 ECOOP 2011 - | |
| Underfull \hbox (badness 1424) in paragraph at lines 996--1003 | |
| \T1/LinuxLibertineT-TLF/m/it/8 Object-Oriented Pro-gram-ming - 25th Eu-ro-pean | |
| Con-fer-ence, Lan-caster, UK, July 25-29, 2011 Pro-ceed-ings\T1/LinuxLibertineT | |
| -TLF/m/n/8 . 459--483. | |
| ) | |
| Underfull \hbox (badness 10000) has occurred while \output is active | |
| [52.52] (./journalarxiv.aux) | |
| LaTeX Font Warning: Size substitutions with differences | |
| (Font) up to 1.97499pt have occurred. | |
| ) | |
| (see the transcript file for additional information) | |
| Output written on journalarxiv.dvi (52 pages, 648200 bytes). | |
| Transcript written on journalarxiv.log. | |
| [verbose]: Removing (La)TeX AUX file called 'journalarxiv.out' (1559233224 >= 1559233219) | |
| [verbose]: Removing (La)TeX AUX file called 'journalarxiv.aux' (1559233224 >= 1559233219) | |
| [verbose]: ~~~~~~~~~~~ Processing file 'journalarxiv.dvi' | |
| [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2016/bin/arch:/bin; cd /submissions/2711203/ && dvips -R2 -z 'journalarxiv.dvi' -o )" 2>&1 | |
| [verbose]: dvi(h)ps said ... | |
| This is dvips(k) 5.996 Copyright 2016 Radical Eye Software (www.radicaleye.com) | |
| ' TeX output 2019.05.30:1620' -> journalarxiv.ps | |
| </texlive/2016/texmf-dist/dvips/base/texc.pro> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_76gpa5.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_25tcsq.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_7grukw.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_naooyc.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/inconsolata/i4-t1-4.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/newtx/libertinealt.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/base/8r.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_c7kyj5.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_ncsllp.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_c6xmqr.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_nh77jq.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_xogrpz.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_iqbcqn.enc> | |
| </texlive/2016/texmf-dist/fonts/enc/dvips/libertine/lbtn_omcwp2.enc> | |
| </texlive/2016/texmf-dist/dvips/base/texps.pro> | |
| </texlive/2016/texmf-dist/dvips/base/special.pro> | |
| </texlive/2016/texmf-dist/dvips/base/color.pro> | |
| </texlive/2016/texmf-dist/dvips/base/hps.pro>. | |
| </texlive/2016/texmf-dist/fonts/type1/public/libertine/LinLibertineTI.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/libertine/LinLibertineT.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/libertine/LinBiolinumTI.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/libertine/LinBiolinumT.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/txfonts/txsya.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/stmaryrd/stmary9.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/newtx/txsys.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/txfonts/rtxmi.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/txfonts/rtxr.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/newtx/ntxsyralt.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/txfonts/txsyc.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/newtx/zxlr.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/newtx/zxlri.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/newtx/fxlri-5letters.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/bbold-type1/bbold7.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/stmaryrd/stmary10.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/libertine/LinLibertineTB.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/bbold-type1/bbold10.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/newtx/txexs.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/newtx/fxlri-7letters.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/newtx/rtxmi7.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/inconsolata/Inconsolata-zi4r.pfb> | |
| </texlive/2016/texmf-dist/fonts/type1/public/libertine/LinBiolinumTB.pfb>[1] | |
| [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] | |
| [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] | |
| [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] | |
| [49] [50] [51] [52] <./head.tmp><./body.tmp> | |
| . | |
| [verbose]: Backing up 'journalarxiv.ps'. Going to change %%Title line. | |
| [verbose]: %%Title: line found and changed. | |
| [verbose]: Title change completed. | |
| [verbose]: Backing up 'journalarxiv.ps'. Going to add a name/date stamp to it. | |
| [verbose]: OK, inserting the stamp | |
| [verbose]: Stamping completed. | |
| [verbose]: All done. | |
| [verbose]: AutoTeX process succeeded | |
| [verbose]: Processing DVI | |
| [verbose]: Gzipping and moving journalarxiv.dvi | |
| [verbose]: Gzipping ...2711203/journalarxiv.dvi | |
| [verbose]: Processing postscript | |
| [verbose]: Creating AutoTeX file for acmart.cls | |
| [verbose]: Creating AutoTeX file for journalarxiv.bbl | |
| [verbose]: Creating AutoTeX file for journalarxiv.dvi | |
| [verbose]: Creating AutoTeX file for journalarxiv.dvi.gz | |
| [verbose]: Creating AutoTeX file for journalarxiv.ps | |
| [verbose]: Creating AutoTeX file for journalarxiv.tex | |
| [verbose]: Gzipping ...2711203/journalarxiv.ps | |
| [verbose]: Moving .../2711203/journalarxiv.ps.gz => .../2711203/tex_cache/2711203.ps.gz | |
| [verbose]: Moving .../2711203/journalarxiv.dvi.gz => .../2711203/tex_cache/2711203.dvi.gz | |
| [verbose]: All generated files successfully moved. | |
| [verbose]: ** AutoTeX job completed. ** |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment