Program variables in a call-by-value mode are added to the elementary syntax of program algebra. Only very simple data are considered: finite sequences of bits. The meaning of program variables, data type constants and assignments in a call-by-value regime is given by means of a translation into behaviors or processes. Assignment actions as well as input actions\ud are modeled by means of sequential substitutions for processes from behavior extraction
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.