Issued Patents 2011
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8073879 | Systems and methods that transform constructs from domain to domain | Henricus Johannes Maria Meijer, Oludare Obasanjo | 2011-12-06 |
| 8060859 | Core object-oriented type system for semi-structured data | Erik Meijer, Barend H. Venter, Chia-Hsun Chen, Christopher J. Lovett, Matthew J. Warren | 2011-11-15 |
| 8046746 | Symbolic execution of object oriented programs with axiomatic summaries | Nikolai Tillmann, Wolfgang Grieskamp | 2011-10-25 |
| 7937694 | Fast flattening of nested streams | Henricus Johannes Maria Meijer | 2011-05-03 |
| 7926025 | Symbolic program model compositions | Colin Campbell, Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfgang Grieskamp | 2011-04-12 |
| 7912863 | Compositional lifting of operations over structural types | Henricus Johannes Maria Meijer, Gavin Mark Bierman | 2011-03-22 |
| 7882495 | Bounded program failure analysis and correction | Nikolai Tillmann, Jonathan Paul de Halleux | 2011-02-01 |