Patents by Inventor Mark Thomas Hamlet Taylor

Mark Thomas Hamlet Taylor has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Compile time validation of programming code
    Patent number: 11144287
    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.
    Type: Grant
    Filed: July 22, 2019
    Date of Patent: October 12, 2021
    Assignee: International Business Machines Corporation
    Inventors: Howard Mak, Mark Thomas Hamlet Taylor, Graham Bucknell, Clarissa Wisan
  • COMPILE TIME VALIDATION OF PROGRAMMING CODE
    Publication number: 20210026608
    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.
    Type: Application
    Filed: July 22, 2019
    Publication date: January 28, 2021
    Inventors: Howard Mak, Mark Thomas Hamlet Taylor, Graham Bucknell, Clarissa Wisan