Issued Patents 2011
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8078555 | Decoupling static program data and execution data | Kenneth D. Wolf, Robert B. Schmidt | 2011-12-13 |
| 8074117 | Inference of contract using declarative program definition | Kenneth D. Wolf, Nicholas Alexander Allen, Kirill Gavrylyuk, Tao Xie, Asad Jawahar | 2011-12-06 |