標題: A lattice framework for analyzing context-free languages with applications in parser simplification and data-flow analysis
作者: Yang, W
資訊工程學系
Department of Computer Science
關鍵字: compiler;context-free grammar;finite-state machine;lattice;Mealy machine;parser;regular expression;scanner
公開日期: 1-三月-1999
摘要: We propose a lattice framework for analyzing context-free grammars and context-free languages. This framework is motivated by a technique for simplifying parsers with information derived from the associated scanners. We define the lattice framework and demonstrate it using additional applications, including data-flow analysis. Soundness and other properties of the lattice framework are also discussed.
URI: http://hdl.handle.net/11536/31507
ISSN: 1016-2364
期刊: JOURNAL OF INFORMATION SCIENCE AND ENGINEERING
Volume: 15
Issue: 2
起始頁: 287
結束頁: 306
顯示於類別:期刊論文


文件中的檔案:

  1. 000079483200006.pdf