Issued Patents 2004
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6766521 | Dataflow algorithm for symbolic computation of lowest upper bound type | Gilad Bracha, Sheng Liang | 2004-07-20 |
| 6763397 | Fully lazy linking | Gilad Bracha, Sheng Liang | 2004-07-13 |
| 6742006 | Method and apparatus for selective execution of a computer program | William J. Raduchel, Glenn C. Scott | 2004-05-25 |