Patents by Inventor Mark Patrick Mitchell

Mark Patrick Mitchell 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).

  • Patent number: 6149318
    Abstract: A programming language processor performs link-time and run-time error checking of a program written in C, C++, or a combination of both. The link-time error checking diagnoses violations of the C++ One Definition Rule, and its equivalent in C. As the program runs, the run-time error checking examines accesses to computer memory to determine that the addresses accessed contain values of che type expected by the program. To add instrumentation to a C or C++ program, pre-expressions, post-expressions and clone-expressions are used to annotate an abstract syntax tree, the annotated tree is then canonicalized into a more traditional syntax tree before a back-end generates code for the program.
    Type: Grant
    Filed: April 15, 1997
    Date of Patent: November 21, 2000
    Assignee: Samuel C. Kendall
    Inventors: David R. Chase, Samuel C. Kendall, Mark Patrick Mitchell