以色列盖特；哈里·萨尔。 无记忆执行：程序员的观点。 （英语） Zbl 0332.68045号 软质。，实际。专家。 6, 463-471 (1976). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4个 +5 显示扫描页面 MSC公司： 65年第68季度 形式语言和自动机 68号01 软件理论的一般主题 PDF格式BibTeX公司 XML格式引用 \textit{I.Gat}和\textit{H.J.Saal}，软件。，实际。专家。6463-471（1976年；Zbl 0332.68045） 全文： 内政部 参考文献： [1] 以及“保护——原则和实践”，Proc。AFIPS 1972 SJCC，40，AFIPS出版社，新泽西州蒙特瓦尔，第417–429页。 [2] 《计算机实用程序中相互可疑子系统的合作》，博士论文，MAC TR-104，麻省理工学院，1972年。 [3] COPS–计算机系统保护机制，华盛顿大学计算机科学教学实验室博士论文，技术报告74-07-121974。 [4] Morris，Comm.ACM 16第15页–（1973） [5] 程序化系统中的保护，卡内基梅隆大学计算机科学系博士论文，1973年。 [6] Lampson，Comm.ACM 16第613页–（1973） [7] 和“可验证安全操作系统软件”，Proc。AFIPS 1974 MCC，43，AFIPS出版社，新泽西州蒙特瓦尔，第145-151页。 [8] 芬顿，计算。J.17第143页–（1974） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。