IRP programming : a definition

4 downloads 189897 Views 45KB Size Report
Sep 5, 2015 - how to compute all the arguments (parameters) of all the functions applied in the ... http://osp.chickenkiller.com/mediawiki/index.php?... 1 sur 3.
IRP programming : a definition - wikiosp

http://osp.chickenkiller.com/mediawiki/index.php?...

*

IRP programming : a definition From wikiosp Preliminary Assume that to calculate an entity e we need to apply a function e_build to two arguments x and y to calculate an entity x we need to apply a function x_build to two arguments z and t to calculate an entity y we need to apply a function y_build to two arguments u and v etc... until some constant d1 ... dn are reached (possibly read from the disk). (the choice of two arguments for each function is of course arbitrary, it can be any positive integer. In case of zero argument the entity is by definition a constant). The program will look like : define or read define or read ... define or read ... x := x_build z y := y_build u e := e_build x

d1 d2