open-source-silicon.dev

<https://www.sciencedirect.com/science/article/pii/S0304397522001116|From reversible programming languages to reversible metalanguages>
<https://scholar.google.com/citations?user=cGfKulEAAAAJ&amp;hl=en&amp;oi=sra|R Glück>, <https://scholar.google.com/citations?user=1QjGyoMAAAAJ&amp;hl=en&amp;oi=sra|R Kaarsgaard>, <https://scholar.google.com/citations?user=WRh4OGQAAAAJ&amp;hl=en&amp;oi=sra|T Yokoyama> - Theoretical Computer Science, 2022 - Elsevier
During the past decade reversible programming languages have been formalized using
various established semantics frameworks. However, these semantics fail to effectively …