布鲁诺·库塞尔;保罗·弗朗西·扎内塔奇 属性语法和递归程序方案。一、二、。 （英语） Zbl 0481.68068号 西奥。计算。科学。 17, 163-191, 235-257 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4 +5 显示扫描页面 引用于1审查引用于41文件 MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：多子代数;异质代数;属性系统;属性语法规范;语义规则;无上下文文法的派生树;递归定义系统;带参数的本原递归格式;强非圆性;纯综合属性系统的等价问题 引文：兹伯利039.78087 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{P.Franchi-Zannettacci}，Theor。计算。科学。17、163--191、235--257（1982年；Zbl 0481.68068） 全文： 内政部 参考文献： [1] Birkhoff，G。；Lipson，J.，异质代数，J.组合理论，8115-133（1970）·Zbl 0211.02003年 [2] Chirica，L.，《对编译器正确性的贡献》（UCLA-ENG-7697（1976），加利福尼亚大学计算机科学系：加利福尼亚大学洛杉矶分校计算机科学系） [3] Chirica，L。；Martin，D.，克努森语义的阶代数定义，数学。系统理论，13，1-27（1979）·兹伯利039.78087 [4] Courcelle，B.，《Korenjak-Hopcroft算法的公理化方法》（报告AAI-8018（1980），波尔多大学）·Zbl 0462.68008号 [5] 库塞尔，B。；Franchi-Zannettacci，P.，关于属性系统的等价问题，（报告AAI-8026（1980），波尔多大学）·Zbl 0529.68005号 [6] Damm，W.，《作为控制结构的高级类型递归和自应用》，（Neuhold，E.，《编程概念的形式化描述》（1978），北荷兰：北荷兰阿姆斯特丹）·Zbl 0373.68021号 [7] Duske，J.，IO-宏语言和属性翻译，《信息与控制》，35，87-105（1977）·Zbl 0367.68059号 [8] Engelfriet，J.，自下而上和自上而下的树转换——比较，数学。系统理论，9198-231（1975）·Zbl 0335.68061号 [9] Engelfriet，J.，关于树变换器和树语言的一些开放性问题和最新结果，（形式语言理论研讨会论文集，加利福尼亚州圣巴巴拉，1979年12月（1980），学术出版社：纽约学术出版社），241-286 [10] Engelfriet，J。；Filé，G.，《一次访问属性文法的形式力量》（Memo 286（1979），特温特理工学院：荷兰特温特技术学院）·Zbl 0471.68044号 [11] Esik，Z.，《函数树变换器》（计算机科学讲义，计算机科学讲稿，计算理论基础1979（1979），施普林格：施普林格-柏林）·Zbl 0415.68045号 [12] Fang，I.，FOLDS，一个声明式形式语言定义系统（1972），斯坦福大学计算机科学系：斯坦福大学计算机科学系，加利福尼亚州帕洛阿尔托，STAN-CS-329 [13] Goguen，J.，《初始代数语义和连续代数》，J.ACM，24，68-95（1977）·Zbl 0359.68018号 [14] Harrison，M.，《通过转换树实现语法等价》，Theoret。计算。科学。，9, 173-205 (1979) ·Zbl 0409.68041号 [15] Huet，G.，Confluent reductions:抽象属性及其在术语重写系统中的应用，J.ACM，27792-821（1980）·Zbl 0458.68007号 [16] Huet，G。；Levy，J.J.，非模糊线性项重写系统中的按需调用计算，Laboria Report 359（1979） [17] Jazaveri，M.，《属性文法循环问题的本质指数复杂性》，美国通信协会，18697-706（1975）·Zbl 0318.68051号 [18] Jones，N.，属性文法的循环性测试需要指数时间：一个更简单的证明（DAIMI-PB-107报告（1980），奥胡斯大学） [19] Kastens，U.，有序属性语法，Acta Informat。，13, 229-256 (1980) ·兹比尔0404.68078 [20] 肯尼迪，K。；Warren，S.K.，《自动生成属性语法的有效求值器》，佐治亚州亚特兰大。乔治亚州亚特兰大，Proc。第三届ACM编程语言原理会议，32-49（1976） [21] Knuth，D.，无上下文语言的语义，数学。系统理论，2127-145（1968）·Zbl 0169.01401号 [22] Knuth，D.，无语境语言的语义；修正，数学。系统理论，595-96（1971）·Zbl 0219.68035号 [23] Lorho，B.，《编程语言的传统定义：属性方法》（Thése d’Etat（1974），保罗·萨巴蒂尔大学：保罗·沙巴蒂尔·图卢兹大学） [24] Lorho，B。；Pair，C.，《检查属性语法一致性的算法》，（《证明和改进程序》（1975），IRIA-Colloquium，Arc-et-Senans），29-54 [25] Mayoh，B.，《属性文法和数学语义》（报告DAIMI-PB-90（1978），奥胡斯大学）·Zbl 0462.68062号 [26] Engelfriet，J。；Filé，G.，《简单多访问属性文法》（备忘录314（1980），特温特理工学院：荷兰特温特技术学院）·Zbl 0524.68048号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。