Introducing Yet Another REversible Language
Programming Languages
2019-02-15 v1
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.
Cite
@article{arxiv.1902.05369,
title = {Introducing Yet Another REversible Language},
author = {Claudio Grandi and Dariush Moshiri and Luca Roversi},
journal= {arXiv preprint arXiv:1902.05369},
year = {2019}
}
Comments
6 pages. On-line at https://yarel-di.github.io/yarel/