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.