4. The method of claim 1 , wherein the plurality of property labels includes valueness labels for object oriented language classes.
1. A method for extracting functional semantics and isolated dataflow from imperative object oriented languages, comprising: adding, to an object oriented language, property labels to methods and classes supported by a set of checking rules that verify an extraction of functional and isolation characteristics of the methods and classes; identifying, by a processor, one or more coded methods and classes associated with one or more of the plurality of property labels in a computer code written in said object oriented language to extract one or more of the functional and isolation characteristics in the computer code; applying, by a processor, the one or more checking rules to verify that the one or more coded methods identified with one of the plurality of property labels have isolation characteristics in said object oriented language, wherein the object oriented programming language further provides a task operator for transforming a plurality of methods in the computer code into a corresponding plurality of compute tasks, the task operator provided as a compiler keyword of the object oriented programming language, wherein the task operator is followed by a method identifier in the object oriented programming language, wherein the task operator performs construction of an object atomically with a creation of a task and returns a handle that enables a number of task operations without allowing direct object access to the object; and connecting, by applying a connect operator provided in the object oriented language, the compute tasks to convert the plurality of methods into a dataflow graph, the connect operator provided as a keyword in the object oriented language, wherein the dataflow graph represents a structure that can be executed and the compute tasks communicate only with other compute tasks in the graph, and only via explicit channels connecting them, wherein the compute tasks are identified as one or more of functional or isolated.