帕特里克·库索特;拉希亚库索 通过抽象解释进行语法分析和解析。 (英语) Zbl 1149.68389号 Reps,Thomas(编辑)等人,《程序分析与编译,理论与实践》。在莱因哈德·威廉60岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-71315-9/pbk)。计算机科学课堂讲稿4444175-200(2007)。 摘要:我们研究了不动点原派生语义的抽象解释,该语义定义了类似于下推自动机的上下文无关语法的过渡语义的最大派生。其结果是一个自下而上或自上而下的语义层次结构,精炼了经典等式和派生语言语义,包括Knuth语法问题、经典语法流分析算法和解析算法。有关整个系列,请参见[Zbl 1116.68008号]. 引用于78文件 MSC公司: 第68季度第42季度 语法和重写系统 65年第68季度 形式语言和自动机 第68季度55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot},Lect。票据计算。科学。4444175-200(2007年;Zbl 1149.68389) 全文: 内政部