From reversible programming languages to reversible metalanguages

R Glück, R Kaarsgaard, 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 …
Save Cite Cited by 5 Related articles
[Free GPT-4]
[PDF] functorial.org

[PDF][PDF] From Reversible Programming Languages to Reversible Metalanguages

R Glücka, R Kaarsgaardb, T Yokoyamac - functorial.org
During the past decade reversible programming languages have been formalized using
various established semantics frameworks. However, these semantics fail to effectively …
Cite

From reversible programming languages to reversible metalanguages

R Glück, R Kaarsgaard, T Yokoyama - 2022 - dl.acm.org
During the past decade reversible programming languages have been formalized using
various established semantics frameworks. However, these semantics fail to effectively …
Cite

From reversible programming languages to reversible metalanguages

R Glück, R Kaarsgaard… - Theoretical …, 2022 - portal.findresearcher.sdu.dk
During the past decade reversible programming languages have been formalized using
various established semantics frameworks. However, these semantics fail to effectively …
Cite

[CITATION][C] From reversible programming languages to reversible metalanguages

R Glück, R Kaarsgaard, T Yokoyama - Theoretical Computer Science, 2022 - cir.nii.ac.jp
From reversible programming languages to reversible metalanguages | CiNii Research CiNii
国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データを …
Cite
[Free GPT-4]
[PDF] functorial.org

[PDF][PDF] From Reversible Programming Languages to Reversible Metalanguages

R Glücka, R Kaarsgaardb, T Yokoyamac - functorial.org
During the past decade reversible programming languages have been formalized using
various established semantics frameworks. However, these semantics fail to effectively …
Cite