Interprocedural exception method
US8719802B2 · kind B2 · utility
3Cited by
3References
22Claims
0Family size
Assignees
Inventors
Key dates
| Filing date | Sep 30, 2011 |
| Grant date | May 6, 2014 |
| Priority date | — |
| Expiry date | Jun 13, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/433
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An interprocedural exception analysis and transformation framework for computer programming languages such as C++ that (1) captures the control-flow induced by exceptions precisely, and (2) transforms the given computer program into an exception-free program that is amenable for precise static analysis, verification, and optimizations.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.