Patent · US Active

Syntax language generator for compiler validation

US9465591B2 · kind B2 · utility

1Cited by

4References

20Claims

0Family size

Assignee

Unisys Corporation · US

Inventors

Andrew Ward Beale · Irvine, US
Steven Hurlock · Lansdowne, US
Patricia Nichols · Irvine, US

Key dates

Filing date	Dec 17, 2012
Grant date	Oct 11, 2016
Priority date	—
Expiry date	Dec 17, 2032

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3604
WIPO fieldComputer technology
WIPO sectorElectrical engineering

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.