25 citations · 637 across the 113 of their papers we have counts for
1 paper · 2 filters
Jan A. Bergstra
A steering fragment of an instruction sequence consists of a sequence of steering instructions. These are decision points involving the check of a propositional statement in sequen…