Method for code transformation supporting temporal abstraction of parameters
US8621430B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Mar 3, 2011 |
| Grant date | Dec 31, 2013 |
| Priority date | — |
| Expiry date | Feb 10, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/72
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method of code transformation supporting temporal abstraction of parameters is provided herein. The method includes the following stages: extracting a set of statements from an original code and further creating a residual code being the original code without the statements, wherein two or more of the extracted statements are not on a same loop in the original code; adding conditions from the original code to the extracted set of statements, such that the added conditions are sufficient to render the set of statements executable; adding statements from the original code to the residual code, such that the added statements are sufficient to render the residual code executable; and adding code portions and variables to the set of statements and the residual code, such that a passing of values between the enhanced set of statements and the residual code maintains a respective passing of values in the original code.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.