期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

VPGE:一个LALR(1)分析器的可视化生成和断点调试系统 被引量：3

VPGE:An LALR(1) Parser Visualization and Breakpoint Debugging System
下载PDF
导出
摘要 LALR(1)分析程序生成系统在编译器构造领域以外被许多普通软件开发者学习和使用.为帮助用户理解LALR(1)分析器方法,编写出正确、完整、无语法分析冲突的文法规范,严格定义了使用LALR(1)分析器生成器时用户可能遇到的几类文法问题,描述一个为帮助用户解决这些问题而开发的LALR(1)分析器可视化和断点调试系统VPGE.VPGE以多种视图显示LALR(1)分析器的数据结构,包括状态栈、符号栈、输入符号串、分析树和底层的自动机,支持LR分析动作的单步执行和断点调试.性能实验结果表明,VPGE比GNU的Bison有更快的分析器生成速度,从而提供了一个LALR(1)文法及分析器的快速交互式调试环境. Parser generators such as YACC have been used in a large number of applications by non-specialized developers, not just those that involve compiler construction. A consequence of this is that good support is required for the comprehension of LALR （1） parsing techniques in order to developing correct, complete and conflict-free parsing grammars. Several types of potential problems in a grammar input to LALR（1） parser generators are defined, and an LALR（1） parser visualization and debugging system called VPGE is described. VPGE is an interactive system visualizing operations of the parser, supporting step by step simulation of the generated parser as well as breakpoints attached to grammar productions. Experiment result shows that the speed of parser generation in VPGE is even faster than that in GNU＇s Bison, which makes VPGE a fast LALR（1） grammar debugging environment.
作者 李虎 金茂忠 许福
机构地区 北京航空航天大学计算机学院
出处 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期823-828,共6页 Journal of Computer Research and Development
基金 国家自然科学基金项目(60573084)~~
关键词 LALR(1) 分析器生成 YACC BISON 文法调试 软件可视化 断点 LALR （1） parser generation YACC Bison grammar debugging software visualization breakpoint
分类号 TP314 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献7

  • 1J R Levine, T Mason, D Brown. Lex & Yacc [M]. Third edition. Sebastopol, USA: O'Reilly & Associates Inc, 1995.
  • 2A V Aho, R Sethi, J D Ullman. Compilers: Principles, Techniques, and Tools [M]. Reading MA: Addison-Wesley, 1986.
  • 3R N Horspool. Incremental generation of LR parsers [J]. Computer Languages, 1990, 15(4) ; 205-233.
  • 4李虎,金茂忠,许福,张敏.程序设计语言的GLR优化分析[J].软件学报,2005,16(2):174-183. 被引量：2
  • 5F Deremer, T Pennello. Efficient computation of LALR ( 1 ) look-ahead sets [J]. ACM TOPLAS, 1982, 4(4): 615-649.
  • 6C Donnelly, R Stallmen. The Bison Manual: Using the YACCCompatible Parser Generator for Bison Version 1.875 [M]. Boston, USA: GNU Press, 2004.
  • 7M Astudill. GOLD parsing system [OL]. http://www. devincook com/goldparser/index. htm. 2006.

二级参考文献18

  • 1翁富良,周斌,吴立德.NL句法分析中超语法符合现象的处理[J].中文信息学报,1994,8(3):1-13. 被引量：1
  • 2Tomita M. Efficient Parsing for Natural Language. Boston: Kluwer, 1985.
  • 3Aycock JD. Practical Earley parsing and the SPARK toolkit [Ph.D. Thesis]. Victoria: University of Victoria, 2001.
  • 4McPeak S, Necula G. Elkhound: A GLR parser generator. In: Proc of the 13th Int'l Conf on Compiler Construction. Barcelona:Spring-Verlag, 2004.51-56.
  • 5Johnson SC. YACC-Yet another compiler-compiler. Technical Report, Rep. CSTR 32, Murray Hill: Bell Laboratories, 1974.
  • 6Donnelly C. Bison: The YACC-compatible parser generator. 1992. http://www.cs.utah.edu/dept/old/texinfo/bison/bison_toc.html.
  • 7Rekers JG. Parser generation for interactive environments [Ph.D. Thesis]. Amsterdam: University of Amsterdam, 1992.
  • 8Irwin W, Churcher N. A generated parser of C++. 2001. http://citeseer.nj.nec.com/irwin01generated.html.
  • 9Corp R, Monica S. RACK: A parser generator for AI languages. In: Proc. of the 2nd Int'l IEEE Conf on Tools for Artificial Intelligence. Hemdon: IEEE Publisher, 1990. 430-435.
  • 10Robert NM, Michael AA, Kfoury, AJ. An introduction to formal language theory. New York: Springer-Verlag, 1988.61-75.

共引文献1

同被引文献80

  • 1Bornstein B, Keating S, Jouraku A, et al. LibSBML: an API library for SBML [J]. Bioinformatics, 2008, 24 (6) : 880-881.
  • 2Chen Ming, Freier A, Kohler J, et al. The biology Petri net markup language [G] //LNI: Proc of Promise 2002. Potsdam, Germany: German Informatics Society, 2002:150-161.
  • 3Song Guanglei, Zhang Kang. Visual XML schemas based on reserved graph grammars [C] //Proc of the Int Conf on Information Technology: Coding and Computing. Los Alamitos, CA: IEEE Computer Society, 2004:687-691.
  • 4Strombock L, Lambrix P. Representations of molecular pathways: An evaluation of SBML, PSI MI and BioPAX [J]. Bioinformatics, 2005, 21(24): 4401-4407.
  • 5Herrnjakob H, Palazzi L, Bader G, et al. The HUPO PSI's molecular interaction format a community standard for the representation of protein interaction data[J]. Nature Biotechnology, 2004, 22(2): 177-183.
  • 6Salwinski L, Miller C, Smith A, et al. The database of interacting proteins: 2004 update [J]. Nucleic Acids Research, 2004, 32(Suppl 1): 449-451.
  • 7Bader G, Donaldson I, Wolting C, et al. BIND--The biomolecular interaction network database [J]. Nucleic Acids Research, 2001, 29 (1): 242-245.
  • 8Srivastava R, You L, Summer J, et al. Stochastic vs. deterministic modeling of intracellular viral kinetics [J]. Journal of Theoretical Biology, 2002, 218(3):309-321.
  • 9Kitano H. Systems biology: A brief overview [J]. Science, 2002, 295 (5560): 1662-1664.
  • 10Nagasaki M. CellIllustrator: A platform for biopathway modeling and simulation[EB/OL]. 2002 [ 2008-11- 10]. http ://genomicobject. net/member3/index, html.

引证文献3

二级引证文献3

计算机研究与发展
2007年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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