Patent · US Active

Compile time validation of programming code

US11144287B2 · kind B2 · utility

0Cited by

6References

20Claims

0Family size

Assignee

International Business Machines Corporation · US

Inventors

Howard Mak · Parramatta, AU
Mark Thomas Hamlet Taylor · Hornsby, AU
Graham R. Bucknell · Sydney, AU
Clarissa Wisan · Sydney, AU

Key dates

Filing date	Jul 22, 2019
Grant date	Oct 12, 2021
Priority date	—
Expiry date	Jul 22, 2039

Classification

Technology area (CPC G)Physics
CPC primaryG06F8/437
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Validating programming code by providing a data schema including registered data types, identifying a data object as defined according to a registered data type of the schema; and checking attempts to access the data object according to the registered data types of the data schema, at compile time.

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