Compiling Janus to RSSA
Compiling Janus to RSSA
复制标题
将 Janus 编译为 RSSA
DOI：
10.1007/978-3-030-79837-6_4
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Marc Schuster
中科院分区：
文献类型：
--
作者：
Martin Kutrib;U. Meyer;Niklas Deworetzki;Marc Schuster
过去十年来，可逆编程语言一直是研究的焦点，这主要归功于 Glück、Yokoyama、Mogensen 和许多其他人的工作。在本文中，我们报告了我们最近的活动，即将用可逆语言 Janus 编写的代码编译为 RSSA 形式的可逆静态单赋值和三地址代码，这两种代码随后都可以编译为 C。特别是，据我们所知，这是第一个从 Janus 到 RSSA 的编译器。此外，我们还通过反向执行代码生成器本身，实现了可逆编译器的新技术。我们的编译器为可逆程序的优化和进一步分析提供了基础。
Reversible programming languages have been a focus of research for more than the last decade mostly due to the work of Glück, Yokoyama, Mogensen, and many others. In this paper, we report about our recent activities to compile code written in the reversible language Janus to reversible static-single-assignment form RSSA and to three-address-code, both of which can thereafter be compiled to C. In particular, this is – to our knowledge – the first compiler from Janus to RSSA. In addition, we have implemented a novel technique for a reversible compiler by executing the code generator itself in reverse. Our compiler provides the basis for optimizations and further analysis of reversible programs.
影响因子：
1.1
作者：
Yokoyama, Tetsuo;Axelsen, Holger Bock;Gluck, Robert
通讯作者：
Gluck, Robert