Combination reduction processing method and apparatus
First Claim
Patent Images
1. 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.
1 Assignment
0 Petitions
Accused Products
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.
25 Citations
19 Claims
-
1. 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. - View Dependent Claims (2, 7)
-
-
3. 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.
-
4. 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. - View Dependent Claims (5, 6)
-
-
8. 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. - View Dependent Claims (9, 10, 11, 12, 13, 14, 15, 16)
-
-
17. 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. - View Dependent Claims (18, 19)
Specification