Optimized execution of dynamic languages
US10025571B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Jul 17, 2014 |
| Grant date | Jul 17, 2018 |
| Priority date | — |
| Expiry date | Dec 14, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/45516
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
In one aspect, a method includes receiving a code block including one or more variables, performing forward data flow analysis for the code block including generating a control flow graph of the code block and for each operation in the control flow graph determining if the operation provides an update regarding the type of one or more of the operations or variables of the code block, the update being based on one or more rules of type inference, updating a type set of each of the operations or variables where the operation provides an update regarding the type, determining if the operation provides an update regarding the location of the variables, the update being based on one or more rules of location inference and updating a location set of each of the variables where the operation provides an update regarding the location set.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.