检索结果-维普期刊中文期刊服务平台

LALR(1)语法分析器的自动生成被引量：2: 1; 作者肖俊超张家晨《计算机应用》 CSCD 北大核心 2003年第4期65-68,共4页; 文章简单介绍了语法分析器自动生成的原理和技术 ,根据语法分析器的生成过程 ,介绍了实用的语法分析器的自动生成器各个部件及其实现的详细过程。; 关键词 lalr(1)语法分析器自动生成 LR方法 lalr(1)方法 Shift表 Reduce表 C语言程序设计语法分析程序文件输入方法; 在线阅读下载PDF 职称材料

VPGE:一个LALR(1)分析器的可视化生成和断点调试系统被引量：3: 2; 作者李虎金茂忠许福《计算机研究与发展》 EI CSCD 北大核心 2007年第5期823-828,共6页; LALR(1)分析程序生成系统在编译器构造领域以外被许多普通软件开发者学习和使用.为帮助用户理解LALR(1)分析器方法,编写出正确、完整、无语法分析冲突的文法规范,严格定义了使用LALR(1)分析器生成器时用户可能遇到的几类文法问题,描述... 展开更多; 关键词 lalr(1) 分析器生成 YACC BISON 文法调试软件可视化断点; 在线阅读下载PDF 职称材料

SLR(1)词/语法分析的自动构造被引量：4: 3; 作者温敬和温敬平《计算机工程》 CAS CSCD 北大核心 2002年第3期276-278,共3页; 主要讨论了(SLR1)词语法分析器的自动构造,自动生成的()语法分析器可从自动生成的()词法分析器中获得测试SLR1/SLR1SLR1数据进行语法分析,论文相关的软件除可用于编译原理课程教学演示外,还可用于实际编译程序的()词语分析器的自动构造... 展开更多; 关键词编译程序翻译程序词法分析语法分析自动构造 SLR(1)词/语法分析器; 在线阅读下载PDF 职称材料

在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程被引量：2: 4; 作者李凌李璜华王生原《计算机科学》 CSCD 北大核心 2020年第6期8-15,共8页; Jourdan等在其2012年发表的论文“Validating LR(1)Parsers”中提出了一种形式化验证语法分析器的方法,并将其成功地应用于CompCert编译器(2.3以上版本)的语法分析器验证中。借助这种方法,文中完成了L2C项目中的Lustre*语言语法分析器... 展开更多; 关键词语法分析 LR(1)分析器形式化验证 Lustre*语言 CompCert COQ; 在线阅读下载PDF 职称材料

用于消除语法分析冲突的YACC文法变换模式: 5; 作者李虎金茂忠 +1 位作者刘超许福《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期504-508,共5页; 分析了使用LALR(1)分析程序生成系统YACC时经常遇到的语法分析冲突问题及消除语法分析冲突的策略,总结了一组文法变换模式,利用这些模式可以有效地解决语法分析冲突问题.; 关键词 lalr(1) YACC 语法分析冲突文法变换模式; 在线阅读下载PDF 职称材料

题名LALR(1)语法分析器的自动生成被引量：2: 1; 作者肖俊超张家晨; 机构吉林大学计算机科学与技术学院; 出处《计算机应用》 CSCD 北大核心 2003年第4期65-68,共4页; 文摘文章简单介绍了语法分析器自动生成的原理和技术 ,根据语法分析器的生成过程 ,介绍了实用的语法分析器的自动生成器各个部件及其实现的详细过程。; 关键词 lalr(1)语法分析器自动生成 LR方法 lalr(1)方法 Shift表 Reduce表 C语言程序设计语法分析程序文件输入方法; Keywords LR method lalr(1) method YACC shift table reduce table; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名VPGE:一个LALR(1)分析器的可视化生成和断点调试系统被引量：3: 2; 作者李虎金茂忠许福; 机构北京航空航天大学计算机学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2007年第5期823-828,共6页; 基金国家自然科学基金项目(60573084)~~; 文摘 LALR(1)分析程序生成系统在编译器构造领域以外被许多普通软件开发者学习和使用.为帮助用户理解LALR(1)分析器方法,编写出正确、完整、无语法分析冲突的文法规范,严格定义了使用LALR(1)分析器生成器时用户可能遇到的几类文法问题,描述一个为帮助用户解决这些问题而开发的LALR(1)分析器可视化和断点调试系统VPGE.VPGE以多种视图显示LALR(1)分析器的数据结构,包括状态栈、符号栈、输入符号串、分析树和底层的自动机,支持LR分析动作的单步执行和断点调试.性能实验结果表明,VPGE比GNU的Bison有更快的分析器生成速度,从而提供了一个LALR(1)文法及分析器的快速交互式调试环境.; 关键词 lalr(1) 分析器生成 YACC BISON 文法调试软件可视化断点; Keywords lalr （1） parser generation YACC Bison grammar debugging software visualization breakpoint; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名SLR(1)词/语法分析的自动构造被引量：4: 3; 作者温敬和温敬平; 机构上海第二工业大学江苏理工大学; 出处《计算机工程》 CAS CSCD 北大核心 2002年第3期276-278,共3页; 文摘主要讨论了(SLR1)词语法分析器的自动构造,自动生成的()语法分析器可从自动生成的()词法分析器中获得测试SLR1/SLR1SLR1数据进行语法分析,论文相关的软件除可用于编译原理课程教学演示外,还可用于实际编译程序的()词语分析器的自动构造。由于SLR1/具有()分析表自动构造功能,因此该软件还可作为软件工具用于程序设计语言本身的设计和构造。; 关键词编译程序翻译程序词法分析语法分析自动构造 SLR(1)词/语法分析器; Keywords Compiler Translator Grammatical analysis Lexical analysis Automatic generation; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程被引量：2: 4; 作者李凌李璜华王生原; 机构清华大学计算机科学与技术系; 出处《计算机科学》 CSCD 北大核心 2020年第6期8-15,共8页; 基金核高基重大专项(2017ZX01030-301-003)。; 文摘 Jourdan等在其2012年发表的论文“Validating LR(1)Parsers”中提出了一种形式化验证语法分析器的方法,并将其成功地应用于CompCert编译器(2.3以上版本)的语法分析器验证中。借助这种方法,文中完成了L2C项目中的Lustre*语言语法分析器的形式化验证,实现了开源L2C编译器前端语法分析器的两个选项之一。首先对这一语法分析器的实现进行了论述,其中包括有参考价值的技术细节;随后分析了该语法分析器的运行性能及正确性;最后对如何将这一方法推广至更一般的应用场景进行了总结。; 关键词语法分析 LR(1)分析器形式化验证 Lustre*语言 CompCert COQ; Keywords Syntax parsing LR(1)parser Formal verification Lustre*language CompCert Coq; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名用于消除语法分析冲突的YACC文法变换模式: 5; 作者李虎金茂忠刘超许福; 机构北京航空航天大学软件工程研究所; 出处《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期504-508,共5页; 基金航空科学基金(04I51062); 文摘分析了使用LALR(1)分析程序生成系统YACC时经常遇到的语法分析冲突问题及消除语法分析冲突的策略,总结了一组文法变换模式,利用这些模式可以有效地解决语法分析冲突问题.; 关键词 lalr(1) YACC 语法分析冲突文法变换模式; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	LALR(1)语法分析器的自动生成	肖俊超张家晨	《计算机应用》 CSCD 北大核心	2003	2	在线阅读下载PDF 职称材料
2	VPGE:一个LALR(1)分析器的可视化生成和断点调试系统	李虎金茂忠许福	《计算机研究与发展》 EI CSCD 北大核心	2007	3	在线阅读下载PDF 职称材料
3	SLR(1)词/语法分析的自动构造	温敬和温敬平	《计算机工程》 CAS CSCD 北大核心	2002	4	在线阅读下载PDF 职称材料
4	在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程	李凌李璜华王生原	《计算机科学》 CSCD 北大核心	2020	2	在线阅读下载PDF 职称材料
5	用于消除语法分析冲突的YACC文法变换模式	李虎金茂忠刘超许福	《南京大学学报（自然科学版）》 CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料