Invention Grant
- Patent Title: Interprocedural exception method
- Patent Title (中): 过程间异常方法
-
Application No.: US13249298Application Date: 2011-09-30
-
Publication No.: US08719802B2Publication Date: 2014-05-06
- Inventor: Naoto Maeda , Prakash Prabhu , Gogul Balakrishnan , Franjo Ivancic , Aarti Gupta
- Applicant: Naoto Maeda , Prakash Prabhu , Gogul Balakrishnan , Franjo Ivancic , Aarti Gupta
- Applicant Address: US NJ Princeton JP
- Assignee: NEC Laboratories America, Inc.,NEC Corporation
- Current Assignee: NEC Laboratories America, Inc.,NEC Corporation
- Current Assignee Address: US NJ Princeton JP
- Agent Joseph Kolodka
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F9/45
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.
Public/Granted literature
- US20120084761A1 Interprocedural Exception Method Public/Granted day:2012-04-05
Information query
