Statically analyzing program correctness for a dynamic programming language
US8918772B1 · kind B1 · utility
7Cited by
17References
17Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jul 25, 2007 |
| Grant date | Dec 23, 2014 |
| Priority date | — |
| Expiry date | Dec 8, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
One embodiment of the present invention provides a system that uses static analysis to determine program correctness for a program written in a dynamic programming language. During operation, the system receives executable code for a program written in the dynamic programming language. The system identifies a program method called in the executable code, and determines if the program method is implemented for the executable code. If not, the system signals that the program method is not implemented for the executable code.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.