Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Dataflow algorithm for symbolic computation of lowest upper bound type

Dataflow algorithm for symbolic computation of lowest upper bound type

US Patent 6766521 · Granted Jul 20, 2004

Estimated economic value: $10,689,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Analog-to-digital converter, signal conversion device, and signal conversion met2025
Method for downloading multimedia file and electronic device2019
Method, system, and computer program product for implementing a model exchange f2011
Reifying generic types while maintaining migration compatibility2010
Techniques for implementing pluggable virtual machines2010
Techniques for implementing pluggable virtual machines2010
Allowing non-generified methods to override generified methods2010
Introspection support for local and anonymous classes2010
Supporting dynamically-typed languages in typed assembly languages2009
Method for enabling comprehensive profiling of garbage-collected memory systems2009
Protecting object identity in a language with built-in synchronization objects2008
Fully lazy linking with module-by-module verification2008