Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Symbolic execution of object oriented programs with axiomatic summaries

Symbolic execution of object oriented programs with axiomatic summaries

US Patent 8046746 · Granted Oct 25, 2011

Estimated economic value: $24,710,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

On-device machine learning platform2025
On-device machine learning platform2022
On-device machine learning platform2021
Chunk storage deduplication using graph structures2019
Ordered cache tiering for program build files2018
Generating program fragments using keywords and context information2016
Interface development and operation2016
Contextually intelligent code editing2016
Controlling the release of private information using static flow analysis2015
Automatic parallelization in a tracing just-in-time compiler system2015
Automatic parallelization in a tracing just-in-time compiler system2015
Media files including programming code and description2015