GLÜCK and YOKOYAMA : A MINIMALIST ’ S REVERSIBLE WHILE LANGUAGE 1027

@inproceedings{Glck2017GLCKAY,
  title={GL{\"U}CK and YOKOYAMA : A MINIMALIST ’ S REVERSIBLE WHILE LANGUAGE 1027},
  author={Robert Gl{\"u}ck and Tetsuo Yokoyama},
  year={2017}
}
The paper presents a small reversible language R-CORE, a structured imperative programming language with symbolic tree-structured data (S-expressions). The language is reduced to the core of a reversible language, with a single command for reversibly updating the store, a single reversible control-flow operator, a limited number of variables, and data with a single atom and a single constructor. Despite its extreme simplicity, the language is reversibly universal, which means that it is as… CONTINUE READING