Titlebook: Reversible Computation; 13th International C Shigeru Yamashita,Tetsuo Yokoyama Conference proceedings 2021 Springer Nature Switzerland AG 2

表被动

Compiling Janus to RSSAcompiler 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.

胰脏

Towards a Truly Concurrent Semantics for Reversible CCSS processes with (reversible versions of) event structures. In this paper we propose a detour: starting from one of the well-known encoding of CCS into Petri nets we apply a recently proposed approach to incorporate causally-consistent reversibility to Petri nets, obtaining as result the (reversible) net counterpart of every RCCS term.

CYN

拍下盗公款

flamboyant

旧石器

Conference proceedings 2021 in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis. 

neolith

Counteract

LARK

tackle