梅里斯特，梅里克;Jaan Penjam 面向基于知识的语言规范。 （英语） Zbl 1412.68029号 巴兹迪ṇJánis（编辑）等人，波罗的海计算机科学。精选论文。柏林等：Springer-Verlag。莱克特。注释计算。科学。502, 65-76 (1991). 摘要：本文研究了在基于知识的系统中嵌入语言设计和实现工具的问题。一方面，这是一个使用面向对象范式来规范被视为概念类集合的语言的问题。另一方面，这是在基于知识的系统中使用语法定向方法进行软件构建的问题。关于整个系列，请参见[Zbl 0875.00059]. MSC公司： 68甲15 编程语言理论 2012年第68季度 语法和重写系统 60年第68季度 规范和验证（程序逻辑、模型检查等） 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 软件：螺母;PRIZ公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Meriste}和\textit{J.Penjam}，莱克特。注释计算。科学。50265--76（1991年；Zbl 1412.68029） 全文： DOI程序 参考文献： [1] Deransart P.、Jourdan M.、Lorho B.属性语法。LNCS，1988，323，-232页·Zbl 0647.68073号 [2] Ganziger H.等人，《真正的生成语义导向编译生成器》。SIGPLAN通告，1982年，第17、6页，第172-184页·doi:10.1145/800230.806993 [3] Koskimies K.、Elomaa T.、Lehtonen T.、Paakki J.：工具/HLP84报告和用户手册。报告A-1988-2，赫尔辛基大学计算机科学系，1988年。 [4] Koskimies K.使用属性语法实现语言的经验。报告A-1982-2，赫尔辛基大学计算机科学系，1982年。 [5] Tyugu E.基于知识的编程。图灵研究所出版社，卫斯理出版社。Co.，格拉斯哥，1987，243 p·Zbl 0596.68032号 [6] Tyugu E.、Matskin M.、Penjam J.、Eomois P.NUT——一种面向对象的语言。计算机与人工智能，C，61986，第521-542页。 [7] Gray J.N.，Harrison M.A.关于上下文无关语法的覆盖和约简问题。《美国医学会期刊》，1972年，第19、4页，第675-698页·Zbl 0259.68035号 ·数字对象标识代码：10.1145/321724.321732 [8] Mints G.，Tyugu E.程序结构合成的合理性。科学。计算。程序。，1982年2月，第215-240页·Zbl 0514.68019号 ·doi:10.1016/0167-6423（83）90016-3 [9] Mints G.，Tyugu E.编程系统PRIZ，J.符号计算。，1988年5月，第359-375页·Zbl 0647.68098号 [10] Penjam J.形式语言的计算和属性模型。理论。计算。科学。，1990年，71页，第241页+264页·Zbl 0698.68067号 [11] Engelfriet J.，FilèG.简单多视属性语法。J.计算。系统。科学。，1982,24，第283-314页·Zbl 0524.68048号 ·doi:10.1016/0022-0000（82）90030-7 [12] 属性语法的解释和约简。《信息学报》，1983年，第19期，第115-150页·Zbl 0501.68040号 ·doi:10.1007/BF00264472 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。