Skip to content

Commit f55d644

Browse files
yegor256yegor256
committed
start
0 parents  commit f55d644

File tree

8 files changed

+1208
-0
lines changed

8 files changed

+1208
-0
lines changed

‎.gitignore‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
.DS_Store
2+
_minted-*
3+
*.pdf
4+
*.bbl
5+
*.bcf
6+
*.blg
7+
*.fdb_latexmk
8+
*.fls
9+
*.log
10+
*.run.xml
11+
*.aux
12+
*.pyg
13+
*.out
14+
*.synctex.gz
15+
*.zip
16+
package/

‎.latexmkrc‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
$pdflatex = 'pdflatex %O --shell-escape %S';
2+
$success_cmd = 'texqc && texsc';

‎.texsc‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
--pws=aspell.en.pws
2+
--ignore=nospell
3+
--ignore=equation*
4+
--ignore=ffcode
5+
--ignore=setminted
6+
--ignore=opt,grp,T,V,few,RE
7+
--ignore=newminted:opp
8+
--ignore=newtcbox:pp
9+
--ignore=settopmatter
10+
--ignore=CJK
11+
--ignore=lref:p,lrefs:pp
12+
--ignore=tikzstyle,tikzpicture,usetikzlibrary,ingraph
13+
--ignore=tikz:op
14+
--ignore=textcolor:pp
15+
--ignore=newmdenv:op
16+
--ignore=f,code,nospell,citet,citep

‎Makefile‎

Lines changed: 52 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
# The MIT License (MIT)
2+
#
3+
# Copyright (c) 2020-2022 Yegor Bugayenko
4+
#
5+
# Permission is hereby granted, free of charge, to any person obtaining a copy
6+
# of this software and associated documentation files (the "Software"), to deal
7+
# in the Software without restriction, including without limitation the rights
8+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
# copies of the Software, and to permit persons to whom the Software is
10+
# furnished to do so, subject to the following conditions:
11+
#
12+
# The above copyright notice and this permission notice shall be included
13+
# in all copies or substantial portions of the Software.
14+
#
15+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
18+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
# SOFTWARE.
22+
23+
.SHELLFLAGS = -e -x -c
24+
.ONESHELL:
25+
26+
TLROOT=$$(kpsewhich -var-value TEXMFDIST)
27+
PACKAGES=ffcode to-be-determined href-ul
28+
REPO=yegor256/reducing-programs-to-objects
29+
30+
zip: *.tex
31+
rm -rf package
32+
mkdir package
33+
cd package
34+
cp ../paper.tex .
35+
cp ../main.bib .
36+
for p in $(PACKAGES); do cp $(TLROOT)/tex/latex/$${p}/$${p}.sty .; done
37+
version=$$(curl --silent -H "Accept: application/vnd.github.v3+json" https://api.github.com/repos/$(REPO)/releases/latest | jq -r '.tag_name')
38+
echo "Version is: $${version}"
39+
gsed -i "s|0\.0\.0|$${version}|" paper.tex
40+
gsed -i "s|REPOSITORY|$(REPO)|" paper.tex
41+
pdflatex -shell-escape -halt-on-error paper.tex > /dev/null
42+
bibtex paper
43+
pdflatex -halt-on-error paper.tex > /dev/null
44+
pdflatex -halt-on-error paper.tex > /dev/null
45+
rm -rf *.aux *.bcf *.blg *.fdb_latexmk *.fls *.log *.run.xml *.out *.exc
46+
zip -x paper.pdf -r paper-$${version}.zip *
47+
mv paper-$${version}.zip ..
48+
cd ..
49+
50+
clean:
51+
git clean -dfX
52+

‎README.md‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
<img src="https://rawgithub.com/yegor256/elegantobjects/master/cactus.svg" height="100px"/>
2+
3+
[![make](https://github.com/objectionary/eo/actions/workflows/latexmk.yml/badge.svg)](https://github.com/objectionary/eo/actions/workflows/latexmk.yml)
4+
5+
This is a more or less formal description of EOLANG and 𝜑-calculus.
6+
7+
To build it, just run:
8+
9+
```bash
10+
$ make
11+
```
12+
13+
You need to have
14+
[`aspell`](http://aspell.net/),
15+
LaTeX,
16+
[`biblint`](https://github.com/Kingsford-Group/biblint),
17+
[`texsc`](https://rubygems.org/gems/texsc),
18+
and
19+
[`texqc`](https://rubygems.org/gems/texqc)
20+
installed.
21+
22+
Once compiled and packaged, upload zip archive to [arXiv](https://arxiv.org/abs/2111.13384).

‎aspell.en.pws‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
personal_ws-1.1 en 741 utf-8
2+
Yegor
3+
Bugayenko

‎main.bib‎

Lines changed: 52 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
@misc{bugayenko2021eolang,
2+
title={EOLANG and phi-calculus},
3+
author={Yegor Bugayenko},
4+
year={2021},
5+
eprint={2111.13384},
6+
archivePrefix={arXiv},
7+
primaryClass={cs.PL}
8+
}
9+
10+
@article{williams1985restructuring,
11+
title={Restructuring Pascal Programs Containing Goto Statements},
12+
author={Williams, M. Howard and Chen, G},
13+
journal={The Computer Journal},
14+
volume={28},
15+
number={2},
16+
pages={134--137},
17+
year={1985},
18+
publisher={Oxford University Press}
19+
}
20+
21+
@article{pan1996formal,
22+
title={A Formal Basis for Removing Goto Statements},
23+
author={Pan, Si and Dromey, R. Geoff},
24+
journal={The Computer Journal},
25+
volume={39},
26+
number={3},
27+
pages={203--214},
28+
year={1996},
29+
publisher={Oxford University Press}
30+
}
31+
32+
@inproceedings{erosa1994taming,
33+
title={Taming Control Flow: A structured approach to eliminating goto statements},
34+
author={Erosa, Ana M and Hendren, Laurie J},
35+
booktitle={Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94)},
36+
pages={229--240},
37+
publisher={IEEE},
38+
address={USA},
39+
year={1994},
40+
organization={IEEE}
41+
}
42+
43+
@inproceedings{ceccato2008goto,
44+
title={Goto Elimination Strategies in the Migration of Legacy Code to Java},
45+
author={Ceccato, Mariano and Tonella, Paolo and Matteotti, Cristina},
46+
booktitle={2008 12th European Conference on Software Maintenance and Reengineering},
47+
publisher={IEEE},
48+
address={USA},
49+
pages={53--62},
50+
year={2008},
51+
organization={IEEE}
52+
}

0 commit comments

Comments
 (0)