格雷戈·波希曼。 覆盖属性文法的语义等价。 （英语） Zbl 0426.68077号 国际期刊计算。通知。科学。 8, 523-539 (1979). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司： 68问题55 计算理论中的语义学 第68季度第45季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：属性语法;句法对等;语义对等;指定混合类型算术表达式的语法;while循环的转换 软件：阿尔戈68 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Bochmann}，国际计算机杂志。通知。科学。8523-539（1979年；Zbl 0426.68077） 全文： 内政部 参考文献： [1] M.Marcotty、H.F.Ledgard和G.V.Bochmann？形式定义的样本，？ACM计算。Surv公司。8(2):191?276（1976年6月）·Zbl 0352.68095号 ·数字对象标识代码：10.1145/356669.356672 [2] D.E.Knuth？上下文无关语言的语义，？数学。系统。理论2:127？145 (1968);5:95 (1971). ·Zbl 0169.01401号 ·doi:10.1007/BF01692511 [3] C.H.A.Koster？粘贴Grammars，？J.E.L.Peck编辑，Algol 68 Implementation（北荷兰，阿姆斯特丹，1971年），第95页？109 [4] G.V.Bochmann？从左到右的语义评估，？Commun公司。ACM 19（2）：55？62（1976年2月）·Zbl 0317.68020号 ·doi:10.1145/3599997.359999 [5] J.C.Reynolds和R.Haskeil？语法封面，？未发表的手稿，1970年。另见A.V.Aho和J.P.Ullman，《解析、翻译和编译理论》，第一卷，第3.4.5节（普伦蒂斯·霍尔，恩格尔伍德克利夫斯，新泽西州，1972年）。 [6] G.上帝保佑？编辑者标准的定义，？硕士论文，《信息学与研究》，蒙特勒大学（1976年）。 [7] C.Pair、M.Amirchahy和D.Neel，《属性文本处理描述的正确性证明》（IRIA-Laboria，法国，1976年）·Zbl 0416.68075号 [8] P.M.Lewis、D.J.Rosenkrantz和R.E.Stearns？属性翻译，？《ACM计算机理论研讨会论文集》，奥斯汀（1973年5月），第160页？171 [9] G.V.Bochmann？覆盖属性语法的语义等价性，？第218号出版物，第一部分。R.O.，蒙特勒大学（1975年）。 [10] C.L.McGowan？口译员等效性的归纳证明技术，？R.Austin主编，《程序设计语言的形式语义》（普伦蒂斯·霍尔，恩格尔伍德克利夫斯，新泽西州，1972年），第139页？147. ·Zbl 0258.68041号 [11] C.A.R.霍尔？编程语言设计的启示，？在SIGACT/SIGPLAN编程语言原理研讨会上的受邀演讲，波士顿（973年10月）和斯坦福大学CS报告。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。