2019/02/14 by C. Grandi, Grandi, Claudio, Dariush Moshiri +3
Computer Science · #Computability, Logic, AI Algorithms #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL)
paper · pdf · doi:10.48550/arxiv.1902.05369
openalex publication_date 2019/02/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.