劳埃德·艾利森 短语结构、非决定论和回溯。 （英语） Zbl 0379.68017号 信息处理。莱特。 7199-144（1978年）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 MSC公司： 68号01 软件理论的一般主题 PDF格式BibTeX公司 XML格式引用 \textit{L.Allison}，Inf.过程。莱特。7139——144（1978年；Zbl 0379.68017） 全文： 内政部 参考文献： [1] 亨德利·D·F。；Mohan，B.，BCL手册（1968年），伦敦大学计算机科学研究所 [2] R.B.E.Napper，编译器简介，曼彻斯特大学计算机科学系。；R.B.E.Napper，《编译器编译器简介》，曼彻斯特大学计算机科学系·Zbl 0191.46302号 [3] 苏斯曼，G.J。；McDermott，D.V.，Conniver参考手册（AI Memo，259（1972），麻省理工学院） [4] Davies，D.J.M.，POPLER参考手册，（爱丁堡大学TPU报告第1号（1973）） [5] Housden，R.J.W.，《algol中短语结构的实现》，《软件实践与经验》，2231（1972）·Zbl 0236.68002号 [6] Allison，L。；王尔德，D.W.，《pascal中的短语结构》，堪培拉编程系统研讨会（1977年） [7] Self，J.A.，《嵌入非决定论，软件实践和经验》，5，221-227（1975）·Zbl 0302.68021号 [8] Gerhart，S.L。；Yelowitz，L.，回溯的控制结构抽象，编程技术，卷SE-2，4，285（1976），IEEE软件工程汇刊 [9] Francez，N。；Klebansky，B。；Pnueli，A.，递归计算中的回溯，信息学报。，8, 125-144 (1977) ·Zbl 0359.68023号 [10] Knuth，D.E.，自顶向下语法分析，信息学报。，1, 79-110 (1971) ·Zbl 0233.68022号 [11] C.A.R.Hoare，《计算机编程的公理基础》，CACM第12卷，332-329。；C.A.R.Hoare，《计算机编程的公理基础》，CACM第12卷，332-329页·Zbl 0395.68012号 [12] Dijkstra，E.W.，保护命令，程序的不确定性和形式推导，18，84553（1975），CACM八月·Zbl 0308.68017号 [13] Griswold，R.E.，《可编程回溯的语言设施》，Sigplan Notices，12，8（1977） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。