Patents by Inventor Theodore Merrell Kremenek

Theodore Merrell Kremenek 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).

  • Programming system and language for application development
    Patent number: 9952841
    Abstract: In one embodiment, an improved programming system and language for application development is provided that combines elements of the C and Objective-C languages without the constraints imposed by a requirement to maintain compatibility with the C language. The language provides the functionality of the C language compatibility in certain areas to improve the inherent safety of software written in the language. The new language includes default safety considerations such as bounds and overflow checking.
    Type: Grant
    Filed: April 13, 2016
    Date of Patent: April 24, 2018
    Assignee: Apple Inc.
    Inventors: Christopher A. Lattner, Douglas Paul Gregor, Theodore Merrell Kremenek, Robert John McCall, Joe Groff
  • PROGRAMMING SYSTEM AND LANGUAGE FOR APPLICATION DEVELOPMENT
    Publication number: 20160299747
    Abstract: In one embodiment, an improved programming system and language for application development is provided that combines elements of the C and Objective-C languages without the constraints imposed by a requirement to maintain compatibility with the C language. The language provides the functionality of the C language compatibility in certain areas to improve the inherent safety of software written in the language. The new language includes default safety considerations such as bounds and overflow checking.
    Type: Application
    Filed: April 13, 2016
    Publication date: October 13, 2016
    Inventors: Christopher A. Lattner, Douglas Paul Gregor, Theodore Merrell Kremenek, Robert John McCall, Joe Groff