Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Persisted specifications of method pre-and post-conditions for static checking

Persisted specifications of method pre-and post-conditions for static checking

US Patent 7421680 · Granted Sep 2, 2008

Estimated economic value: $32,109,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