Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Extensible type system for representing and checking consistency of program components during the process of compilation

Extensible type system for representing and checking consistency of program components during the process of compilation

US Patent 7086041 · Granted Aug 1, 2006

Estimated economic value: $75,324,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Garbage collection lightweight dynamic tracing and analysis2025
Method and capacitive sensor for counting aerosol nanoparticles2015
Compiler support for optimizing decomposed software transactional memory operati2014
Compiler support for optimizing decomposed software transactional memory operati2014
Coordinating chores in a multiprocessing environment using a compiler generated 2013
Configuration of isolated extensions and device drivers2011
Kernel interface with categorized kernel objects2011
Reducing unnecessary software transactional memory operations on newly-allocated2010
Reducing unnecessary software transactional memory operations on newly-allocated2010
Removal of unnecessary read-to-update upgrades in software transactional memory2010
Removal of unnecessary read-to-update upgrades in software transactional memory2010
Optimizing automated shader program construction2010