Introducing Yet Another REversible Language
classification
💻 cs.PL
keywords
yarellanguagereversibleaccordinganotherclasscomescompiling
pith:7H2PEXAH Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{7H2PEXAH}
Prints a linked pith:7H2PEXAH badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original abstract
Yarel is a core reversible programming language that implements a class of permutations, defined recursively, which are primitive recursive complete. The current release of Yarel syntax and operational semantics, implemented by compiling Yarel to Java, is 0.1.0, according to Semantic Versioning 2.0.0. Yarel comes with Yarel-IDE, developed as an Eclipse plug-in by means of XText.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.