Browse Prior Art Database

Execution of Functional Programs Disclosure Number: IPCOM000052058D
Original Publication Date: 1981-Apr-01
Included in the Prior Art Database: 2005-Feb-11

Publishing Venue


Related People

Selinger, RD [+details]


The invention relates to a method and means for executing functional programs as defined by Backus [*]. The functional programs are executed on a Von Neuman sequential processor in which data is formatted in tag-type architecture utilizing nested sequence notation. In the Backus functional program, operations consist of either primitive functions or combining forms. The primitive functions are of the binary type and can be directly executed on existing CPU/ALU architectures. Primitive functions and combining forms are capable of being interleaved in the program stream. In this regard, each combining form consists of one or more logical operations.