《Jeopardy中的分支执行对称性:通过可用的隐式参数分析》

摘要:不逆算法和Jeopardy编程语言的可逆性检测

作者:Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

论文ID:2212.03161

分类:Programming Languages

分类简称:cs.PL

提交时间:2022-12-07

PDF 下载: 英文版 中文版pdf翻译中