start

.gitignore

@@ -0,0 +1,16 @@
+.DS_Store
+_minted-*
+*.pdf
+*.bbl
+*.bcf
+*.blg
+*.fdb_latexmk
+*.fls
+*.log
+*.run.xml
+*.aux
+*.pyg
+*.out
+*.synctex.gz
+*.zip
+package/

.latexmkrc

@@ -0,0 +1,2 @@
+$pdflatex = 'pdflatex %O --shell-escape %S';
+$success_cmd = 'texqc && texsc';

.texsc

@@ -0,0 +1,16 @@
+--pws=aspell.en.pws
+--ignore=nospell
+--ignore=equation*
+--ignore=ffcode
+--ignore=setminted
+--ignore=opt,grp,T,V,few,RE
+--ignore=newminted:opp
+--ignore=newtcbox:pp
+--ignore=settopmatter
+--ignore=CJK
+--ignore=lref:p,lrefs:pp
+--ignore=tikzstyle,tikzpicture,usetikzlibrary,ingraph
+--ignore=tikz:op
+--ignore=textcolor:pp
+--ignore=newmdenv:op
+--ignore=f,code,nospell,citet,citep

Makefile

@@ -0,0 +1,52 @@
+# The MIT License (MIT)
+#
+# Copyright (c) 2020-2022 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the "Software"), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included
+# in all copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+.SHELLFLAGS = -e -x -c
+.ONESHELL:
+
+TLROOT=$$(kpsewhich -var-value TEXMFDIST)
+PACKAGES=ffcode to-be-determined href-ul
+REPO=yegor256/reducing-programs-to-objects
+
+zip: *.tex
+	rm -rf package
+	mkdir package
+	cd package
+	cp ../paper.tex .
+	cp ../main.bib .
+	for p in $(PACKAGES); do cp $(TLROOT)/tex/latex/$${p}/$${p}.sty .; done
+	version=$$(curl --silent -H "Accept: application/vnd.github.v3+json" https://api.github.com/repos/$(REPO)/releases/latest | jq -r '.tag_name')
+	echo "Version is: $${version}"
+	gsed -i "s|0\.0\.0|$${version}|" paper.tex
+	gsed -i "s|REPOSITORY|$(REPO)|" paper.tex
+	pdflatex -shell-escape -halt-on-error paper.tex > /dev/null
+	bibtex paper
+	pdflatex -halt-on-error paper.tex > /dev/null
+	pdflatex -halt-on-error paper.tex > /dev/null
+	rm -rf *.aux *.bcf *.blg *.fdb_latexmk *.fls *.log *.run.xml *.out *.exc
+	zip -x paper.pdf -r paper-$${version}.zip *
+	mv paper-$${version}.zip ..
+	cd ..
+
+clean:
+	git clean -dfX
+

README.md

@@ -0,0 +1,22 @@
+<img src="https://rawgithub.com/yegor256/elegantobjects/master/cactus.svg" height="100px"/>
+
+[![make](https://github.com/objectionary/eo/actions/workflows/latexmk.yml/badge.svg)](https://github.com/objectionary/eo/actions/workflows/latexmk.yml)
+
+This is a more or less formal description of EOLANG and 𝜑-calculus.
+
+To build it, just run:
+
+```bash
+$ make
+```
+
+You need to have
+[`aspell`](http://aspell.net/),
+LaTeX,
+[`biblint`](https://github.com/Kingsford-Group/biblint),
+[`texsc`](https://rubygems.org/gems/texsc),
+and
+[`texqc`](https://rubygems.org/gems/texqc)
+installed.
+
+Once compiled and packaged, upload zip archive to [arXiv](https://arxiv.org/abs/2111.13384).

aspell.en.pws

@@ -0,0 +1,3 @@
+personal_ws-1.1 en 741 utf-8
+Yegor
+Bugayenko

main.bib

@@ -0,0 +1,52 @@
+@misc{bugayenko2021eolang,
+  title={EOLANG and phi-calculus}, 
+  author={Yegor Bugayenko},
+  year={2021},
+  eprint={2111.13384},
+  archivePrefix={arXiv},
+  primaryClass={cs.PL}
+}
+
+@article{williams1985restructuring,
+  title={Restructuring Pascal Programs Containing Goto Statements},
+  author={Williams, M. Howard and Chen, G},
+  journal={The Computer Journal},
+  volume={28},
+  number={2},
+  pages={134--137},
+  year={1985},
+  publisher={Oxford University Press}
+}
+
+@article{pan1996formal,
+  title={A Formal Basis for Removing Goto Statements},
+  author={Pan, Si and Dromey, R. Geoff},
+  journal={The Computer Journal},
+  volume={39},
+  number={3},
+  pages={203--214},
+  year={1996},
+  publisher={Oxford University Press}
+}
+
+@inproceedings{erosa1994taming,
+  title={Taming Control Flow: A structured approach to eliminating goto statements},
+  author={Erosa, Ana M and Hendren, Laurie J},
+  booktitle={Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94)},
+  pages={229--240},
+  publisher={IEEE},
+  address={USA},
+  year={1994},
+  organization={IEEE}
+}
+
+@inproceedings{ceccato2008goto,
+  title={Goto Elimination Strategies in the Migration of Legacy Code to Java},
+  author={Ceccato, Mariano and Tonella, Paolo and Matteotti, Cristina},
+  booktitle={2008 12th European Conference on Software Maintenance and Reengineering},
+  publisher={IEEE},
+  address={USA},
+  pages={53--62},
+  year={2008},
+  organization={IEEE}
+}