A method for synthesizing aggregate data types, in accordance with the present invention, includes representing aggregate data types in a control data flow graph, by representing aggregate objects as operand nodes, and operations on the aggregate objects as operation nodes. One-dimensional bit vectors are formed for the operand nodes, by recursively traversing through fields of the aggregate data type associated with the aggregate objects. Read and write operation nodes are formed in the control data flow graph for representing language constructs for accessing the aggregate objects. The control data flow graph is mapped onto hardware.

Een methode om gezamenlijke gegevenstypes, overeenkomstig de onderhavige uitvinding samen te stellen, omvat het vertegenwoordigen van gezamenlijke gegevenstypes in een de stroomgrafiek van controlegegevens, door gezamenlijke voorwerpen als operandknopen, en verrichtingen op de gezamenlijke voorwerpen als verrichtingsknopen te vertegenwoordigen. De ééndimensionale beetjevectoren worden gevormd voor de operandknopen, door recursief door gebieden van het gezamenlijke gegevenstype over te steken verbonden aan de gezamenlijke voorwerpen. Lees en schrijf de verrichtingsknopen in de de stroomgrafiek van controlegegevens voor het vertegenwoordigen van taalconcepten voor de toegang tot van de gezamenlijke voorwerpen worden gevormd. De de stroomgrafiek wordt van controlegegevens in kaart gebracht op hardware.