Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Statically analyzing program correctness for a dynamic programming language

Statically analyzing program correctness for a dynamic programming language

US Patent 8918772 · Granted Dec 23, 2014

Estimated economic value: $21,522,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Systems and methods for dynamically delivering access credentials for locking sy2024
Systems and methods for dynamically delivering access credentials for locking sy2022
Methods and systems for electroadhesion-based manipulation and mechanical releas2021
Systems and methods for dynamically delivering access credentials for locking sy2020
Interactive search querying2017
Systems and methods for testing a financial trading system2014
Method and apparatus for authenticating a request between tasks in an operating 2014
Interactive search querying2014
Method and system for managing core configuration information2014
Handling document revision history information in the presence of a multi-user p2013
Handling document revision history information in the presence of a multi-user p2013
Verifying that a method has been implemented for a program written in a dynamic 2013