| 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 |
