https://github.com/andreasabel/foetus-report
Report on the foetus termination checker
https://github.com/andreasabel/foetus-report
Last synced: 5 months ago
JSON representation
Report on the foetus termination checker
- Host: GitHub
- URL: https://github.com/andreasabel/foetus-report
- Owner: andreasabel
- Created: 2024-07-09T13:53:24.000Z (almost 2 years ago)
- Default Branch: master
- Last Pushed: 2024-07-10T15:05:35.000Z (almost 2 years ago)
- Last Synced: 2025-05-05T20:05:12.942Z (about 1 year ago)
- Language: TeX
- Size: 32.2 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# foetus - Termination Checker for Simple Functional Programs
Report on the [foetus](https://github.com/andreasabel/foetus) termination checker;
student project carried out in 1997/98 under the supervision of Thorsten Altenkirch.
[Rendered.](https://andreasabel.github.io/foetus-report/)
arXiv: http://arxiv.org/abs/2407.06924
LaTeX sources:
- [Main](foetus.tex)
- [Syntax](syntax.tex) of the foetus language
- [Typing rules](language.tex)
- [Examples](examples.tex)
- [Informal description](analyse.tex) of the termination checker
- [Formal description](formal.tex) of call graphs and matrices