Issued Patents All Time
Showing 1–20 of 20 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7895156 | Method, system, and computer program product for implementing a model exchange framework generating a synchronization record in response to a model exchange request using fusion technology | Yaron Kashai | 2011-02-22 |
| 7810077 | Reifying generic types while maintaining migration compatibility | — | 2010-10-05 |
| 7735070 | Allowing non-generified methods to override generified methods | Peter von der Ahe | 2010-06-08 |
| 7669184 | Introspection support for local and anonymous classes | Joseph D. Darcy, Peter von der Ahe | 2010-02-23 |
| 7574700 | Supporting dynamically-typed languages in typed assembly languages | — | 2009-08-11 |
| 7458061 | Protecting object identity in a language with built-in synchronization objects | — | 2008-11-25 |
| 7444648 | Fully lazy linking with module-by-module verification | Sheng Liang, Timothy G. Lindholm | 2008-10-28 |
| 7197511 | Methods and apparatus for type safe, lazy, user-defined class loading | Sheng Liang | 2007-03-27 |
| 7051343 | Module-by-module verification | Sheng Liang, Timothy G. Lindholm | 2006-05-23 |
| 6766521 | Dataflow algorithm for symbolic computation of lowest upper bound type | Timothy G. Lindholm, Sheng Liang | 2004-07-20 |
| 6763397 | Fully lazy linking | Sheng Liang, Timothy G. Lindholm | 2004-07-13 |
| 6725280 | Method and apparatus for constructing dispatch tables which enable transitive method override | — | 2004-04-20 |
| 6687760 | Method and apparatus for preforming method lookup in the presence of modularity constructs to support transitive method override | — | 2004-02-03 |
| 6687759 | Method and apparatus for performing method lookup in the presence of modularity constructs to support transitive method override | — | 2004-02-03 |
| 6643711 | Method and apparatus for dispatch table construction | Deepa Viswanathan | 2003-11-04 |
| 6618769 | Module-by-module verification | Sheng Liang, Timothy G. Lindholm | 2003-09-09 |
| 6618855 | Caching untrusted modules for module-by-module verification | Timothy G. Lindholm, Sheng Liang | 2003-09-09 |
| 6601114 | Fully lazy linking with module-by-module verification | Sheng Liang, Timothy G. Lindholm | 2003-07-29 |
| 6430569 | Methods and apparatus for type safe, lazy, user-defined class loading | Sheng Liang | 2002-08-06 |
| 6393491 | Method and apparatus for dispatch table construction | Deepa Viswanathan | 2002-05-21 |