Invention Grant
- Patent Title: Syntax language generator for compiler validation
- Patent Title (中): 语法语言生成器用于编译器验证
-
Application No.: US13716284Application Date: 2012-12-17
-
Publication No.: US09465591B2Publication Date: 2016-10-11
- Inventor: Andrew Ward Beale , Steven Hurlock , Patricia Nichols
- Applicant: Andrew Ward Beale , Steven Hurlock , Patricia Nichols
- Applicant Address: US PA Blue Bell
- Assignee: Unisys Corporation
- Current Assignee: Unisys Corporation
- Current Assignee Address: US PA Blue Bell
- Agent Robert P. Marley
- Main IPC: G06F9/45
- IPC: G06F9/45 ; G06F9/44 ; G06F11/36

Abstract:
Systems and methods for validating operation of a compiler are disclosed. One method includes receiving a definition of language syntax at an automated source code generator, and generating program code at the automated source code generator, the program code represented in source code including constructed self-validating code and syntactically-correct automatically generated code. The method also includes providing the source code to the compiler to be compiled into object code. Based on execution of the self-validating code as object code in a computing system, a computing system executing the object code outputs an indication of the correctness of compilation of the program code.
Public/Granted literature
- US20140173552A1 SYNTAX LANGUAGE GENERATOR FOR COMPILER VALIDATION Public/Granted day:2014-06-19
Information query