Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Plug-in pre- and postconditions for static program analysis

Plug-in pre- and postconditions for static program analysis

US Patent 7526755 · Granted Apr 28, 2009

Estimated economic value: $32,077,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Progressive query computation using streaming architectures2022
Resource allocation for computer processing2020
Progressive query computation using streaming architectures2018
Semantic baselining2018
Information sharing democratization for co-located group meetings2017
Progressive query computation using streaming architectures2017
Wrench2016
Eventually consistent storage and transactions in cloud based environment2016
Controlling the release of private information using static flow analysis2015
Identifying execution paths that satisfy reachability queries2015
Automatic parallelization in a tracing just-in-time compiler system2015
Contract failure behavior with escalation policy2014