Combination reduction processing method and apparatus
AssigneeHitachi, Ltd.
InventorsKoichi Yamano, Akihiko Takano
Life of this patent
Estimating the term…
Abstract
A calculation processing system characterized by decomposing a program into tuples, functions and variables, including abstracting the decomposed program thereby to transform it into a combinator graph, assigning the program in the combinator graph to a plurality of process units, and executing the assigned program through reductions.
Claims19
A data processing method in an information processing system having a processor means comprising the steps of:
- transforming a program into an applicative graph which includes tuples, functions and variables;
- abstracting said applicative graph to transform it into a combinator graph;
- assigning the program in the combinator graph to a plurality of process units;
- and
- executing an assigned program through reductions.
A data processing apparatus comprising means to transform a program into an applicative graph which includes tuples, functions and variables and to transform said applicative graph into a combinator graph, connected to means to assign the program in the combinator graph to a plurality of processors provided beforehand, and means connected to said assign means to execute a program assigned by said assign means through reductions.
A data processing method in an information processing system having a processor means comprising the steps of:
- transforming a program into an applicative graph which includes products, functions, variables, constants and appliers;
- subjecting said applicative graph to abstraction thereby to transform it into a combinator graph having a product structure and containing no variable;
- and
- executing the program in the combinator graph having the product structure, through reductions.
A data processing method in an information processing system having processor means and a memory means and comprising the steps of:
- abstracting by said processor means a program in said memory means to transform it into a combinator graph which has a product structure;
- and
- executing said combinator graph through reductions.
A data processing apparatus comprising:
- transforming means to transform a program by abstracting into a combinator graph which has a product structure, and means to execute said combinator graph through reductions.
Dependencies are inferred from the claim text.