期刊文献+

一种通用高效语法分析器的设计与实现 被引量:1

Designing and Implementing of A Common and Highly Efficient Parser
下载PDF
导出
摘要 针对大型应用软件中嵌入脚本语言问题,提出了一种快捷而通用的语法分析器设计与实现方法。建立了脚本语言文法的描述规范;设计并实现了语法分析的算法。实例表明,该算法实现的语法分析器完全可以达到工程要求。 For embedded scripting language problem of large-scale application software, a fast and universal grammar analyzer is designed and implemented. First of all, a scripting language to describe the grammar rules is established; then a parsing algorithms is designed and implemented. Examples show that the algorithm of the grammar analyzer can be achieved engineering requirements.
作者 肖增良 何锫
出处 《电脑知识与技术(过刊)》 2009年第1X期432-433,共2页 Computer Knowledge and Technology
关键词 脚本语言 BNF文法 语法分析器 DELPHI scripting language BNF grammar grammar analyzer delphi
  • 相关文献

参考文献5

  • 1何锫,康立山.程序断言的半自动生成及证明逻辑[J].计算机工程与应用,2008,44(14):18-20. 被引量:3
  • 2李虎,金茂忠,许福,张敏.程序设计语言的GLR优化分析[J].软件学报,2005,16(2):174-183. 被引量:2
  • 3Donnelly C.Bison.The YACC-compatible parser generator. http://www.cs.utah.edu/dept/old/texinfo/bison/bison_toc.html . 1992
  • 4Hepei,Kang Li-shan,Xiao Zeng-liang,et al.A Scheduling Strategy for Parallel Proof Checking and Verification[].Proceedings ofIEEE International Conference on NetworkingSensing and Control.
  • 5Johnson,S.C.YACC-yet another compiler compiler, CSTR32, Bell Laboratories, Murray Hill, N[].J.1974

二级参考文献38

  • 1翁富良,周斌,吴立德.NL句法分析中超语法符合现象的处理[J].中文信息学报,1994,8(3):1-13. 被引量:1
  • 2Hoare T. The verifying compiler: a grand challenge for computing research [ C ]//LNCS 2622,2003:262-272.
  • 3Seacord R C, Plakosh D, Lewis G A. Modernizing legacy system : software technologies, engineering processes, and business practices [ M ]. [ S.l. ] : Pearson Education Limited,2003.
  • 4Ashenhurst R L,Graham S. ACM turing award lectures:the first twenty years ( 1965-1985 ) [ M ]. [ S.l.] :The ACM Press, 1991.
  • 5Juristo N,Moreno A M, Vegas S. Reviewing 25 years of testing technique experiments [ J ]. Empirical Software Engineering,2004,9:1-2.
  • 6Petrenko A K. Yerification, validation, and testing of large software [ J ]. Programming and Computer Software ,2003,29:6.
  • 7Kneuper R. Limits of formal metltods[J]. Formal Aspects of Computing, 1997 (9).
  • 8Piccinini G. Alan tudng and the mathematical objection [ J ]. Minds and Machines, 2003,13:23-48.
  • 9Woods S,Yang Qiang. The program understanding problem: analysis and a heuristic approach[ C ]//IEEE Proceedings of ICSE' 18,1996.
  • 10Hoare C A R. An axiomatic basis for computer programming [ J ].CACM, 1969,12:576-583.

共引文献3

同被引文献3

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部