• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >The design and implementation of a parser and front-end for the ISO C++ language and validation of the parser.
【24h】

The design and implementation of a parser and front-end for the ISO C++ language and validation of the parser.

机译：ISO C ++语言的解析器和前端的设计与实现以及解析器的验证。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this thesis, we address the problems associated with the early phases of compiler development for object-oriented languages: lexical analysis, parsing and construction of a parser front-end. We first show that many language constructs for object-oriented languages cannot be parsed using only syntactic information. We then describe a technique for parsing ambiguous language constructs that exploits semantic information previously gathered in the parse. To demonstrate the effectiveness of the technique we apply it to a language that is notoriously difficult to parse, the C++ programming language. We show that the technique permits parsing of ambiguous C++ constructs in the grammar provided in the ISO C++ standard without modifying, refactoring or extending the grammar.; We then describe a dynamic, automated technique for validating the parser, including the development of a technique that permits validation of class invariants that are not initially valid. The algorithm for this technique accepts, as input, a formal specification of the invariants for the important classes and class hierarchies in the system. The algorithm produces, as output, a validator that exercises these invariants as part of the testing process.
机译：在本文中，我们解决了与面向对象语言的编译器开发早期阶段相关的问题：词法分析，解析器和解析器前端的构造。我们首先表明，仅使用语法信息就无法解析面向对象语言的许多语言构造。然后，我们描述一种用于解析歧义语言构造的技术，该技术利用先前在解析中收集的语义信息。为了证明该技术的有效性，我们将其应用于众所周知难以解析的C ++编程语言。我们证明了该技术可以在不修改，重构或扩展语法的情况下，按照ISO C ++标准中提供的语法对模棱两可的C ++构造进行解析。然后，我们描述一种用于验证解析器的动态，自动化技术，包括一种允许对最初无效的类不变式进行验证的技术的开发。该技术的算法接受系统中重要类和类层次结构的不变式的形式规范作为输入。该算法产生一个验证器作为输出，作为输出过程的一部分，这些验证器将执行这些不变量。

著录项

  • 作者

    Gibbs, Tanton Holt.;

  • 作者单位

    Clemson University.;

  • 授予单位 Clemson University.;
  • 学科 Computer Science.
  • 学位 Ph.D.
  • 年度 2003
  • 页码 163 p.
  • 总页数 163
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 自动化技术、计算机技术;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号