Extraction of functional semantics and isolated dataflow from imperative object oriented languages
US9411564B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Sep 6, 2012 |
| Grant date | Aug 9, 2016 |
| Priority date | — |
| Expiry date | Sep 24, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/456
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Extraction of functional semantics and isolated dataflow from imperative object oriented languages, in one aspect, may include identifying one or more methods and/or classes associated with one or more of a plurality of property labels in a computer code written in object oriented language to extract functional and isolation characteristics in the computer code. The plurality of property labels supported by one or more checking rules, are used to verify that the one or more methods and/or classes identified with the plurality of property labels have isolation characteristics. An object oriented language compiler is provided for supplying the plurality of property labels and checking rules. The object oriented language compiler further may include capability to transform methods into compute tasks and connect the compute tasks so as to create a dataflow graph.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.