A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value

Nicolò Pizzo, Claudio Sacerdoti Coen

Landauer's embeddings enable the reversibility of computations for non-reversible programming languages, augmenting each intermediate state with enough data to reconstruct the prev…