泰瑟·图利;叶欣 自我修改代码的可达性分析。 （英语） Zbl 07729637号 发现的国际期刊。计算。科学。 34，编号507-536（2023）.MSC公司：68季度xx 68年XX月 68新元 PDF格式BibTeX公司 XML格式引用 \textit{T.Touili}和\textit{X.Ye}，国际期刊发现。计算。科学。34，编号5，507--536（2023；Zbl 07729637） 全文： 内政部 arXiv公司
格雷戈里·莫尔斯;米迪亚·阿尔卡拉达吉;塔马斯·科兹克 使用不可简化的循环和自修改代码控制流混淆。 （英语） Zbl 1524.68099号 出版物。数学。碎片。 100，补遗，617-637（2022）.MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Morse}等人，出版。数学。碎片。100617--637（2022年；Zbl 1524.68099） 全文： 内政部
格雷戈里·莫尔斯 自幽灵、写执行和隐藏状态。 （英语） 兹比尔1519.62001 塔特拉山数学。出版物。 73, 131-144 (2019).MSC公司：62-04 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{G.Morse}，塔特拉山数学。出版物。73131-144（2019年；兹bl 1519.62001） 全文： 内政部
苏珊·斯蒂芬尼 物理和计算的局部和全局模型。 （英语） 兹比尔1357.81068 国际通用系统杂志。 43，编号7-8，673-681（2014）.MSC公司：81页68 2005年第68季度 2010年第68季度 70-08 PDF格式BibTeX公司 XML格式引用 \textit{S.Stepney}，《国际遗传学》。43，编号7--8，673--681（2014；Zbl 1357.81068） 全文： 内政部 链接
中基尔胡尔;德雷克·德雷尔 ML和汇编之间的Kripke逻辑关系。 （英语） Zbl 1284.68148号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。133-146 (2011).MSC公司：68N20型 03B70号 68号30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-K.Hur}和\textit{D.Dreyer}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。133-146（2011年；Zbl 1284.68148） 全文： 内政部
玛格努斯·奥·米林。 已验证x86上的实时编译器。 （英语） Zbl 1312.68046号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。107-118 (2010).MSC公司：68N20型 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛M.O.Myreen｝，载：第37届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。107-118（2010；Zbl 1312.68046） 全文： 内政部