Issued Patents 2002
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6353925 | System and method for lexing and parsing program annotations | Raymond Stata, Cormac Flanagan, K. Rustan M. Leino, Mark David Lillibridge | 2002-03-05 |
| 6343376 | System and method for program verification and optimization | Charles Gregory Nelson, David L. Detlefs | 2002-01-29 |