2 records found
1
The meaning and implication of the forall statement in V-nus
V-cal: a Calculus for the Compilation of Data Parallel Languages